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

Packages that use AtomAssert

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

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

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

Modifier and Type	Method	Description
static AtomAssert	AtomAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom actual)
static AtomAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom actual)
AtomAssert	AtomAssert.containsConstant(int index, String constantName)
AtomAssert	AtomAssert.hasPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate predicate)	Asserts that the actual atom should have the very same predicate (i.e., same object reference) as the one given by parameter
AtomAssert	AtomAssert.hasPredicate(String predicateName, int arity)
AtomAssert	AtomAssert.hasPredicateName(String predicateName)
AtomAssert	AtomAssert.hasTerms(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList terms)
AtomAssert	AtomAssert.hasVariable(int index, String variableName)
protected AtomAssert	ImmutableAtomListAssert.toAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom value, String description)