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

Packages that use LogicConstraintAssert

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

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

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

Modifier and Type	Method	Description
static LogicConstraintAssert	LogicConstraintAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint actual)
static LogicConstraintAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint actual)
LogicConstraintAssert	LogicConstraintAssert.correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec spec)
LogicConstraintAssert	LogicConstraintAssert.correspondsSpecWithId(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec spec)
LogicConstraintAssert	LogicConstraintAssert.hasID(String id)
LogicConstraintAssert	LogicConstraintAssert.isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expected)	Checks whether the actual constraint is the same as the expected logic constraint up-to renaming variables, and derived predicate names.