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

Packages that use LogicSchemaAssert

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

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

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

Modifier and Type	Method	Description
LogicSchemaAssert	LogicSchemaAssert.assertAllLogicConstraintsAreEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema expectedSchema)	Asserts whether the actual logicSchema constraints are equivalent to the expectedSchema constraints.
LogicSchemaAssert	LogicSchemaAssert.assertAllPredicatesAreEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema expectedSchema)	Asserts whether the actual logicSchema predicates (base or derived) are equivalent to the expectedSchema.
static LogicSchemaAssert	LogicSchemaAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema actual)
static LogicSchemaAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema actual)
LogicSchemaAssert	LogicSchemaAssert.containsConstraintID(String constraintID)
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expectedConstraint)	Checks whether the actual schema contains a constraint equivalent to expectedConstraint considering that two derived ordinary literals are equivalent if their derivation rules are equivalent
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentConstraint(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expectedConstraint, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a constraint equivalent to expectedConstraint considering that two derived ordinary literals are equivalent according to the given strategy.
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule)	Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalent
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate)	Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent iff their definition rules are equivalent
LogicSchemaAssert	LogicSchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy)	Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy given
LogicSchemaAssert	LogicSchemaAssert.containsExactlyTheseConstraintIDs(String... constraintIDs)
LogicSchemaAssert	LogicSchemaAssert.containsExactlyThesePredicateNames(String... predicateNames)
LogicSchemaAssert	LogicSchemaAssert.containsPredicate(String predicateName, int arity)
LogicSchemaAssert	LogicSchemaAssert.isEmpty()
LogicSchemaAssert	LogicSchemaAssert.isIsomorphicTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema expected)
LogicSchemaAssert	LogicSchemaAssert.isLogicallyEquivalentTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema expectedSchema)	Asserts whether the actual logicSchema is equivalent to the expectedSchema.
LogicSchemaAssert	LogicSchemaAssert.usingIsomorphismOptions(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.comparator.isomorphism.IsomorphismOptions options)