|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Interface Summary | |
---|---|
Consumer<I> | Implementors of this interface can process instances of a specific class. |
Class Summary | |
---|---|
CollectingModelConsumer | A model consumer that collects all models it receives through the
CollectingModelConsumer.consume(StableModel) method. |
DlpGrounder | Creates a grounded version of a DynamicLogicProgram . |
DlpGrounder.DlpDetagger | A special parser for parsing the grounded and tagged program. |
DlpGrounder.DlpTagger<W extends Writer> | A special LpStructureUnit printer that:
gets rid of negation in rule heads by prepending a "p_" or "n_"
adds a tagging literal to body of every rule. |
DlpGrounderTest | Contains tests of the DlpGrounder class. |
DlpSolver | A class that computes refined dynamic stable models of a dynamic logic program given its transformational equivalent. |
DlpSolverTest | Contains tests of the DlpSolver class. |
DlpTransformer | Transforms a dynamic logic program into an equivalent normal logic program. |
DlpTransformerTest | Contains tests of the DlpTransformer class. |
EvolpSolver | A class that computes evolution stable models of an evoluving logic program given its transformational equivalent. |
EvolpSolver.Decoder | A filtering reader that decodes logic programming constructs previously
encoded by LpEncoder . |
EvolpTransformer | Transforms an evolving logic program into an equivalent normal logic program. |
EvolpTransformerTest | Contains tests of the EvolpTransformer class. |
EvolpVarTransformer | Transforms an evolving logic program into an equivalent dynamic logic program. |
EvolpVarTransformerTest | Contains tests of the EvolpVarTransformer class. |
Grounder<P> | An abstract class that contains common functionality of classes used to
ground logic programs (LpGrounder and DlpGrounder ). |
IntArrayWrapper | A class used for storing an increasing sequence of nonnegative integers. |
LpGrounder | Creates a grounded version of a normal logic program. |
LpGrounderTest | Contains tests of the LpGrounder class. |
LpSolver | A class that computes stable models of a grounded normal logic program. |
LpSolverTest | Contains tests of the LpSolver class. |
Solver<M> | An abstract class that contains common functionality of classes used to
compute stable models of grounded logic programs (LpSolver ,
DlpSolver and EvolpSolver ). |
Exception Summary | |
---|---|
GrounderMessage | An error or warning message that is issued by lparse. |
Classes that perform transformations of logic programs.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |