Methods in kodkod.engine that throw HigherOrderDeclException |
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. |
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. |