|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectlp.trans.Solver<EvolutionStableModel>
lp.trans.EvolpSolver
public class EvolpSolver
A class that computes evolution stable models of an evoluving logic program given its transformational equivalent.
Nested Class Summary | |
---|---|
private static class |
EvolpSolver.Decoder
A filtering reader that decodes logic programming constructs previously encoded by LpEncoder . |
private class |
EvolpSolver.TransEvolpParser
Special parser that recognizes the indexation of atoms in the normal logic program that was constructed by the transformation from an evolving logic program. |
Field Summary | |
---|---|
private int |
modelLength
Contains the length of the resulting evolution stable model. |
private EvolpSolver.TransEvolpParser |
parser
Parser used to convert the string representation of a model into object representations of the atoms in the model. |
Constructor Summary | |
---|---|
EvolpSolver()
Creates a new instance of EvolpSolver . |
|
EvolpSolver(LparseWrapper lparseWrapper,
SmodelsWrapper smodelsWrapper)
Creates a new instance of EvolpSolver . |
Method Summary | |
---|---|
protected EvolutionStableModel |
parseModel(String modelString)
Parses modelString and returns the model that it represents. |
void |
setModelLength(int modelLength)
Sets the desired length of computed evolution stable models. |
Methods inherited from class lp.trans.Solver |
---|
getModelCount, getNextModelString, setLparsePath, setModelLimit, setSmodelsPath, solve |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private final EvolpSolver.TransEvolpParser parser
private int modelLength
Constructor Detail |
---|
public EvolpSolver()
EvolpSolver
. It will also create new
instances of LparseWrapper
and SmodelsWrapper
. They are
used them to compute the stable models of transformational equivalents of
evolving logic programs passed in through the
Solver.solve(LogicProgram, Consumer)
method.
public EvolpSolver(LparseWrapper lparseWrapper, SmodelsWrapper smodelsWrapper)
EvolpSolver
. It will use the given
instances of LparseWrapper
and SmodelsWrapper
classes and
use them to compute the stable models of transformational equivalents of
evolving logic programs passed in through the
Solver.solve(LogicProgram, Consumer)
method.
lparseWrapper
- the object used to execute lparsesmodelsWrapper
- the object used to execute smodelsMethod Detail |
---|
public void setModelLength(int modelLength)
protected EvolutionStableModel parseModel(String modelString)
modelString
and returns the model that it represents.
parseModel
in class Solver<EvolutionStableModel>
modelString
- a string representation of a model returned by smodels
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |