|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
Classes that represent logic programs and their models. They aggregate
classes from the lp.struct
package.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |