|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IProblem
Access to the information related to a given problem instance.
Method Summary | |
---|---|
boolean |
isSatisfiable()
Check the satisfiability of the set of constraints contained inside the solver. |
boolean |
isSatisfiable(IVecInt assumps)
Check the satisfiability of the set of constraints contained inside the solver. |
int[] |
model()
Provide a model (if any) for a satisfiable formula. |
int |
nConstraints()
To know the number of constraints currently available in the solver. |
int |
nVars()
To know the number of variables used in the solver. |
Method Detail |
---|
int[] model()
boolean isSatisfiable() throws TimeoutException
TimeoutException
boolean isSatisfiable(IVecInt assumps) throws TimeoutException
assumps
- a set of literals (represented by usual non null integers in
Dimacs format).
TimeoutException
int nConstraints()
int nVars()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |