public class DLV extends SolverBase
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.String |
path2dlv |
ai
Constructor and Description |
---|
DLV(java.lang.String path2dlv) |
Modifier and Type | Method and Description |
---|---|
AnswerSetList |
computeModels(Program p,
int models)
this method computes at most maxModels answer sets for a given program.
|
AnswerSetList |
computeModels(java.lang.String s,
int maxModels)
this method computes at most maxModels answer sets for a given program as a flat string.
|
protected AnswerSetList |
parseAnswerSets(java.lang.String s) |
protected AnswerSetList |
runDLV(Program p,
int nModels,
java.lang.String otherOptions) |
checkErrors, checkSolver, computeModels
public AnswerSetList computeModels(Program p, int models) throws SolverException
Solver
SolverException
protected AnswerSetList runDLV(Program p, int nModels, java.lang.String otherOptions) throws SolverException
SolverException
protected AnswerSetList parseAnswerSets(java.lang.String s)
public AnswerSetList computeModels(java.lang.String s, int maxModels) throws SolverException
Solver
SolverException