All Classes and Interfaces

Class	Description
AtomAssert
AtomMother
AtomTest
BooleanBuiltInLiteralTest
BuiltInLiteralAssert
ComparisonBuiltInLiteralAssert
ConstraintIDMother
CustomBuiltInLiteralTest
DependencyAssert
DependencyMother
DependencySchemaAssert
DependencySchemaAssertions
DependencySchemaMother
DerivationRuleAssert
DerivationRuleMother
DerivedPredicateMother
EGDAnalysisAssert
EGDAssert
EGDFunctionalDependencyAssert
EGDTest
ImmutableAtomListAssert
ImmutableAtomListMother
ImmutableLiteralsListAssert
ImmutableLiteralsListMother
ImmutableTermListAssert
LevelAssert
LevelHierarchyAssert
LevelHierarchyMother
LiteralAssert
LiteralMother
LiteralParser
LogicConstraintAssert
LogicConstraintMother
LogicInstanceOfAssertFactories	A utils class to group all the InstanceOfAssertFactory of the IMP Logics project
LogicSchemaAssert
LogicSchemaAssert.DerivedLiteralStrategy
LogicSchemaAssertions
LogicSchemaMother
LogicSchemaWithCustomBuiltInMother
NormalClauseAssert<T extends edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause>
OrdinaryLiteralAssert
OrdinaryLiteralMother
OrdinaryLiteralTest
PredicateAssert
QueryAssert
QueryMother
QueryTest
SchemaTraceabilityMapAssert
SchemaTraceabilityMapMother
SchemaTransformationAssert
SubstitutionAssert
SubstitutionBuilder
TermAssert
TermMother
TGDAssert
TGDMother