|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
LpStructureUnit | An interface providing the LpStructureUnit.accept(LpStructureUnitVisitor) method
that make implementing classes visitable by any
LpStructureUnitVisitor . |
LpStructureUnitVisitor | Classes implementing this interface can act as visitors of classes
implementing the LpStructureUnit interface. |
LpTerm | Represents a term in logic programming. |
Class Summary | |
---|---|
LpAbstractStructureUnit | This abstract class offers a default implementation of the
LpAbstractStructureUnit.toString() method for all classes implementing the
LpStructureUnit interface. |
LpAbstractStructureUnitTest | Contains tests of the LpAbstractStructureUnit class. |
LpAtom | This class represents an atom in logic programming. |
LpAtomTest | Contains tests of the LpAtom class. |
LpCompoundTerm | This class represents a compound term in logic programming. |
LpCompoundTermTest | Contains tests of the LpCompoundTerm class. |
LpConstant | Represents a constant in logic programming. |
LpConstantTest | Contains tests of the LpConstant class. |
LpFunction | Represents a function (symbol) in logic programming. |
LpFunctionTest | Contains tests of the LpFunction class. |
LpLiteral | This class represents a literal in logic programming. |
LpLiteralTest | Contains tests of the LpLiteral class. |
LpPredicate | Represents a predicate (symbol) in logic programming. |
LpPredicateTest | Contains tests of the LpPredicate class. |
LpRule | Represents a logic programming rule. |
LpRuleTest | Contains tests of the LpRule class. |
LpStructureUnitTestUtils | Contains utility methods for testing common methods of classes in the package
lp.struct . |
LpVariable | Represents a variable in logic programming. |
LpVariableTest | Contains tests of the LpVariable class. |
This package contains classes that represent structural components of logic programs.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |