Package lp.unit

Classes that represent logic programs and their models.

See:
          Description

Interface Summary
LogicProgram Represents an ordinary logic program, i.e. a set of logic program rules represented by LpRule instances.
 

Class Summary
DynamicLogicProgram Represents a dynamic logic program, i.e. a sequence of logic programs.
EmptyProgram An efficient implementation of an empty logic program that is immutable.
EvolpProgram Represents an evolving logic program (the base program) with a sequence of events (also evolving logic programs).
EvolutionStableModel Represents an evolution stable model, i.e. a sequence of stable models.
GeneralizedLogicProgram A default implementation of the LogicProgram interface.
GeneralizedLogicProgramTest Contains tests of the GeneralizedLogicProgram class.
StableModel Represents a stable model, i.e. a set of atoms.
TransformedDlp Represents the normal logic program that was constructed from a dynamic logic program.
TransformedEvolp Represents the normal logic program that was constructed from an evolving logic program.
 

Enum Summary
TransDlpRuleType Enumeration of types of rules in a normal logic program equivalent to a dynamic logic program.
TransEvolpRuleType Enumeration of types of rules in a normal logic program equivalent to an evolving logic program.
 

Package lp.unit Description

Classes that represent logic programs and their models. They aggregate classes from the lp.struct package.