Uses of Class
kodkod.instance.Bounds

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.