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

## 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.

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