lp.ui
Class DlpProcessor
java.lang.Object
lp.ui.AbstractProcessor
lp.ui.DlpProcessor
- Direct Known Subclasses:
- DlpWebappHelper
public abstract class DlpProcessor
- extends AbstractProcessor
A developer-friendly aggregation of DlpParser
, DlpGrounder
,
DlpTransformer
and DlpSolver
.
- Version:
- 0.9.0
- Author:
- Martin Slota
- See Also:
DlpParser
,
DlpGrounder
,
DlpTransformer
,
DlpSolver
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
parser
private final DlpParser parser
grounder
private final DlpGrounder grounder
transformer
private final DlpTransformer transformer
solver
private final DlpSolver solver
input
private Reader input
dlp
private DynamicLogicProgram dlp
groundedDlp
private DynamicLogicProgram groundedDlp
transformedDlp
private TransformedDlp transformedDlp
DlpProcessor
public DlpProcessor(ConfigManager config)
setInput
public void setInput(Reader input)
getDlp
public DynamicLogicProgram getDlp()
- Throws:
IllegalArgumentException
IOException
LpParserException
getGroundedDlp
public DynamicLogicProgram getGroundedDlp()
getGrounderWarnings
public List<GrounderMessage> getGrounderWarnings()
getTransformedDlp
public TransformedDlp getTransformedDlp()
computeModels
public void computeModels(Consumer<StableModel> processor)