Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES

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

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES