public interface Solver
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 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.
|
AnswerSetList computeModels(Program p, int maxModels) throws SolverException
p
- maxModels
- SolverException
AnswerSetList computeModels(java.lang.String s, int maxModels) throws SolverException
s
- maxModels
- SolverException
AnswerSetList computeModels(java.util.List<java.lang.String> files, int maxModels) throws SolverException
files
- maxModels
- SolverException