|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use TimeoutException | |
---|---|
kodkod.engine | |
kodkod.engine.satlab |
Uses of TimeoutException in kodkod.engine |
---|
Methods in kodkod.engine that throw TimeoutException | |
---|---|
Solution |
Solver.solve(Formula formula,
Bounds bounds)
Attempts to satisfy the given formula with respect to the specified bounds or prove the formula's unsatisfiability. |
Solution |
Solver.solve(Formula formula,
Bounds bounds,
Cost cost)
Attempts to satisfy the given formula with respect to the specified bounds, while minimizing the specified cost function. |
Uses of TimeoutException in kodkod.engine.satlab |
---|
Methods in kodkod.engine.satlab that throw TimeoutException | |
---|---|
boolean |
SATSolver.solve()
Returns true if there is a satisfying assignment for this.clauses. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |