public class DLVComplex extends SolverBase
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.String |
path2dlx |
ai
Constructor and Description |
---|
DLVComplex(java.lang.String path2dlx) |
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 program,
int models)
this method computes at most maxModels answer sets for a given program as a flat string.
|
protected AnswerSet |
parseAnswerSet(java.lang.String s) |
protected AnswerSetList |
processResults(java.util.List<java.lang.String> result) |
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
public AnswerSetList computeModels(java.lang.String program, int models) throws SolverException
Solver
SolverException
protected AnswerSetList processResults(java.util.List<java.lang.String> result) throws SolverException
SolverException
protected AnswerSet parseAnswerSet(java.lang.String s)