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

## Package lp.trans

Classes that perform transformations of logic programs.

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.

## Package lp.trans Description

Classes that perform transformations of logic programs.

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