|
|||||||||
| 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 | ||||||||