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

Packages that use TermAssert

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

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

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

Modifier and Type	Method	Description
static TermAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)
static TermAssert	TermAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)
TermAssert	TermAssert.correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec spec)
TermAssert	TermAssert.isConstant()
TermAssert	TermAssert.isConstant(String constantName)
TermAssert	TermAssert.isNotConstant()
TermAssert	TermAssert.isNotVariable()
TermAssert	TermAssert.isVariable()
TermAssert	TermAssert.isVariable(String variableName)
TermAssert	ComparisonBuiltInLiteralAssert.leftTerm()
TermAssert	ComparisonBuiltInLiteralAssert.rightTerm()
protected TermAssert	ImmutableTermListAssert.toAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term value, String description)