public abstract class SolverBase extends java.lang.Object implements Solver
Modifier and Type | Field and Description |
---|---|
protected AspInterface |
ai |
Constructor and Description |
---|
SolverBase() |
Modifier and Type | Method and Description |
---|---|
protected void |
checkErrors()
default implementation of error checking (should work for dlv package)
|
protected void |
checkSolver(java.lang.String path)
proofs if the solver on the given path is an existing file with
execute permission.
|
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.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
computeModels, computeModels
protected AspInterface ai
protected void checkSolver(java.lang.String path) throws SolverException
path
- SolverException
protected void checkErrors() throws SolverException
SolverException
public AnswerSetList computeModels(java.util.List<java.lang.String> files, int maxModels) throws SolverException
Solver
computeModels
in interface Solver
SolverException