Package lp.struct

This package contains classes that represent structural components of logic programs.

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.
 

Package lp.struct Description

This package contains classes that represent structural components of logic programs.