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(java.util.List<java.lang.String> files,
int maxModels)
This method computes at most maxModels for a given program, a collection of facts,
and an arbitrary number of additional programs as a file resource.
|
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)
Processes a string of answer sets and returns an AnswerSetList.
|
protected AnswerSetList |
runDLV(Program p,
int nModels,
java.lang.String otherOptions) |
checkErrors, checkSolver
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)
s
- DLV outputpublic AnswerSetList computeModels(java.lang.String s, int maxModels) throws SolverException
Solver
SolverException
public AnswerSetList computeModels(java.util.List<java.lang.String> files, int maxModels) throws SolverException
Solver
SolverException