|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Solution | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
Uses of Solution in kodkod.engine |
---|
Methods in kodkod.engine that return Solution | |
---|---|
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. |
Methods in kodkod.engine that return types with arguments of type Solution | |
---|---|
java.util.Iterator<Solution> |
Solver.solveAll(Formula formula,
Bounds bounds)
Attempts to find all solutions to the given formula with respect to the specified bounds or to prove the formula's unsatisfiability. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |