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.