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.