Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.PredicateAssert

Packages that use PredicateAssert

Package	Description
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Uses of PredicateAssert in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions that return PredicateAssert

Modifier and Type	Method	Description
static PredicateAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate actual)
static PredicateAssert	PredicateAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate actual)
PredicateAssert	PredicateAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule)	Checks whether the actual predicate contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalent
PredicateAssert	PredicateAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual predicate contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
PredicateAssert	PredicateAssert.hasArity(int arity)
PredicateAssert	PredicateAssert.hasDerivationRules(int expectedDerivationRulesCount)
PredicateAssert	PredicateAssert.hasName(String name)
PredicateAssert	PredicateAssert.isDerived()
PredicateAssert	PredicateAssert.isDerived(boolean expected)
PredicateAssert	PredicateAssert.isLogicallyEquivalentTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate)	Two predicates P and Q are said to be equivalent iff any two atoms P(x) and Q(x), being x any possible list of constants, P(x) and Q(x) evaluates the same on any possible database.