|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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 . |
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.
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |