public class Clingo extends SolverBase
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
path2clingo |
ai
Constructor and Description |
---|
Clingo(java.lang.String path2clingo) |
Modifier and Type | Method and Description |
---|---|
protected AnswerSetList |
buildASL(java.util.List<java.lang.String> output)
Processes clingo output and returns a list of answer sets.
|
protected void |
checkErrors()
Default implementation of error checking (should work for DLV package)
|
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 maxModels)
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.
|
private AnswerSetList |
parseAnswerSets(java.lang.String s)
Uses ASPParser to parse answer sets from string.
|
checkSolver
private AnswerSetList parseAnswerSets(java.lang.String s)
String
- containing answer setpublic AnswerSetList computeModels(Program p, int maxModels) throws SolverException
Solver
SolverException
public 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
protected void checkErrors() throws SolverException
SolverBase
checkErrors
in class SolverBase
SolverException
protected AnswerSetList buildASL(java.util.List<java.lang.String> output)
output
- clingo output lines