lp.ui
Class EvolpVarProcessor
java.lang.Object
lp.ui.AbstractProcessor
lp.ui.EvolpVarProcessor
- Direct Known Subclasses:
- EvolpVarWebappHelper
public abstract class EvolpVarProcessor
- extends AbstractProcessor
A developer-friendly aggregation of EvolpParser
,
EvolpVarTransformer
, DlpTransformer
and EvolpSolver
.
- Version:
- 0.5.0
- Author:
- Martin Slota
- See Also:
EvolpParser
,
EvolpVarTransformer
,
DlpTransformer
,
EvolpSolver
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
parser
private final EvolpParser parser
transformer
private final EvolpVarTransformer transformer
transformer2
private final DlpTransformer transformer2
solver
private final EvolpSolver solver
input
private Reader input
evolp
private EvolpProgram evolp
equivDlp
private DynamicLogicProgram equivDlp
equivLp
private TransformedDlp equivLp
EvolpVarProcessor
public EvolpVarProcessor(ConfigManager config)
setInput
public void setInput(Reader input)
getEvolp
protected EvolpProgram getEvolp()
- Throws:
IllegalArgumentException
IOException
LpParserException
getEquivDlp
protected DynamicLogicProgram getEquivDlp()
getEquivLp
protected TransformedDlp getEquivLp()
computeModels
protected void computeModels(Consumer<EvolutionStableModel> processor)