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

Packages that use NormalClauseAssert

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

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

Subclasses of NormalClauseAssert in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Modifier and Type	Class	Description
class	DerivationRuleAssert
class	LogicConstraintAssert

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

Modifier and Type	Method	Description
NormalClauseAssert<T>	NormalClauseAssert.containsBooleanBuiltInLiteral(boolean booleanValue)
NormalClauseAssert<T>	NormalClauseAssert.containsComparisonBuiltInLiteral(String comparisonOperator, String leftVariable, String rightVariable)
NormalClauseAssert<T>	NormalClauseAssert.containsCustomBuiltInLiteral(String operationName)
NormalClauseAssert<T>	NormalClauseAssert.containsOrdinaryLiteral(String predicateName, int arity)
NormalClauseAssert<T>	NormalClauseAssert.containsOrdinaryLiteral(String predicateName, int arity, boolean positive)
NormalClauseAssert<T>	NormalClauseAssert.containsOrdinaryLiteral(String predicateName, String... variableNames)
NormalClauseAssert<T>	NormalClauseAssert.hasBodySize(int size)