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

package edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Class	Description
AtomAssert
BuiltInLiteralAssert
ComparisonBuiltInLiteralAssert
DerivationRuleAssert
ImmutableAtomListAssert
ImmutableLiteralsListAssert
ImmutableTermListAssert
LevelAssert
LevelHierarchyAssert
LiteralAssert
LogicConstraintAssert
LogicInstanceOfAssertFactories	A utils class to group all the InstanceOfAssertFactory of the IMP Logics project
LogicSchemaAssert
LogicSchemaAssert.DerivedLiteralStrategy
LogicSchemaAssertions
NormalClauseAssert<T extends edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause>
OrdinaryLiteralAssert
PredicateAssert
QueryAssert
TermAssert