Package lp.ui

This package contains a set of developer-friendly classes that can be used to parse and ground logic programs, dynamic logic programs and evolving logic programs and also compute their stable models.

See:
          Description

Class Summary
AbstractProcessor An abstract class with a set of methods common for DlpProcessor, EvolpProcessor and EvolpVarProcessor.
ConfigManager Manages configuration options.
DlpProcessor A developer-friendly aggregation of DlpParser, DlpGrounder, DlpTransformer and DlpSolver.
DlpWebappHelper A helper class for the web application that computes refined dynamic stable models.
EvolpProcessor A developer-friendly aggregation of EvolpParser, EvolpTransformer and EvolpSolver.
EvolpVarProcessor A developer-friendly aggregation of EvolpParser, EvolpVarTransformer, DlpTransformer and EvolpSolver.
EvolpVarWebappHelper A helper class for the web application that computes evolution stable models of evolving logic programs with variables (an alpha version...)
EvolpWebappHelper A helper class for the web application that computes evolution stable models of propositional evolving logic programs
JspPrinter A helper class for printing logic programs and messages in HTML to a JspWriter.
 

Package lp.ui Description

This package contains a set of developer-friendly classes that can be used to parse and ground logic programs, dynamic logic programs and evolving logic programs and also compute their stable models.