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

Packages that use LiteralAssert

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

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

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

Modifier and Type	Method	Description
static LiteralAssert	LiteralAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)
static LiteralAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)
LiteralAssert	LiteralAssert.containsConstants(String... constantNames)
LiteralAssert	LiteralAssert.containsVariables(String... variableNames)
LiteralAssert	LiteralAssert.correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec spec)
LiteralAssert	LiteralAssert.correspondsTo(String expectedLiteralString)
LiteralAssert	LiteralAssert.hasConstant(int index, String constantName)
LiteralAssert	LiteralAssert.hasPredicate(String predicateName, int arity)
LiteralAssert	LiteralAssert.hasVariable(int index, String variableName)
LiteralAssert	LiteralAssert.isBuiltInLiteral()
LiteralAssert	LiteralAssert.isComparisonBuiltInLiteral()
LiteralAssert	LiteralAssert.isGround()
LiteralAssert	LiteralAssert.isOrdinaryLiteral()
protected LiteralAssert	ImmutableLiteralsListAssert.toAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal value, String description)