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.