|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Bounds | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
kodkod.engine.config | Provides a mechanism for configuring the kodkod engine and for passing messages between the engine and the client. |
kodkod.engine.fol2sat | Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options. |
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
Uses of Bounds in kodkod.engine |
---|
Methods in kodkod.engine with parameters of type Bounds | |
---|---|
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. |
Uses of Bounds in kodkod.engine.config |
---|
Methods in kodkod.engine.config with parameters of type Bounds | |
---|---|
void |
Reporter.translatingToBoolean(Formula formula,
Bounds bounds)
Reports that the analysis of the given (optimized) formula and bounds is in stage 3. |
void |
ConsoleReporter.translatingToBoolean(Formula formula,
Bounds bounds)
|
void |
AbstractReporter.translatingToBoolean(Formula formula,
Bounds bounds)
|
Uses of Bounds in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return Bounds | |
---|---|
Bounds |
TrivialFormulaException.bounds()
Return this.bounds. |
Methods in kodkod.engine.fol2sat with parameters of type Bounds | |
---|---|
static BooleanMatrix |
Translator.approximate(Expression expression,
Bounds bounds,
Options options)
Overapproximates the value of the given expression using the provided bounds and options. |
static Translation |
Translator.translate(Formula formula,
Bounds bounds,
Options options)
Translates the given formula using the specified bounds and options. |
Uses of Bounds in kodkod.instance |
---|
Methods in kodkod.instance that return Bounds | |
---|---|
Bounds |
Bounds.clone()
Returns a deep copy of this Bounds object. |
Bounds |
Bounds.unmodifiableView()
Returns an unmodifiable view of this Bounds object. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |