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

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

Classes

Class	Description
AtomMother
ConstraintIDMother
DerivationRuleMother
DerivedPredicateMother
ImmutableAtomListMother
ImmutableLiteralsListMother
LevelHierarchyMother
LiteralMother
LogicConstraintMother
LogicSchemaMother
LogicSchemaWithCustomBuiltInMother
OrdinaryLiteralMother
QueryMother
TermMother