|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Class Summary | |
---|---|
AbstractVisitor | This abstract class represents a visitor for the logical expression tree structure. |
AtomImpl | This class is an atom expression with a n-ary domain, where n is the arity of the predicate represented |
AttributeConstraintMoleculeImpl | implements AttributeContraintMolecule |
AttributeInferenceMoleculeImpl | |
AttributeMoleculeImpl | |
AttributeValueMoleculeImpl | |
BinaryImpl | This class reunites all binary logical expressions (e.g LogExpr1 op LogExpr2) |
BuiltInAtomImpl | Created on Sep 7, 2005 Committed by $Author$ $Source$, |
CompoundMoleculeImpl | Represents a Compount Molecule |
ConjunctionImpl | |
ConstantTransformer | This singleton class is used to transform forth and back the built-in predicate names and datatypes from IRI to short notation. |
ConstraintImpl | |
DisjunctionImpl | |
EquationImpl | |
ExistentialQuantificationImpl | |
ImplicationImpl | |
InverseImplicationImpl | |
LogicalExpressionImpl | This class reunites all Logical Expression |
LogicProgrammingRuleImpl | |
MemberShipMoleculeImpl | Represents a membership molecule |
MoleculeImpl | This class reunites all molecular simple logical expressions |
NegationAsFailureImpl | |
NegationImpl | |
QuantifiedImpl | This abstract class reunites all quantified logical expressions (e.g qfier {Term} LogExpr) |
SubConceptMoleculeImpl | Represents a sub concept of molecule |
UnaryImpl | This class reunites all unary logical expressions (e.g op LogExpr) |
UniversalQuantificationImpl |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |