Uses of Class
kodkod.engine.config.Options

Packages that use Options
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
kodkod.engine.bool Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. 
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. 
 

Uses of Options in kodkod.engine
 

Methods in kodkod.engine that return Options
 Options Solver.options()
          Returns the Options object used by this Solver to guide translation of formulas from first-order logic to cnf.
 Options Evaluator.options()
          Returns the Options object used by this evaluator.
 

Constructors in kodkod.engine with parameters of type Options
Evaluator(Instance instance, Options options)
          Constructs a new Evaluator for the given instance and options
Solver(Options options)
          Constructs a new Solver with the given options.
 

Uses of Options in kodkod.engine.bool
 

Methods in kodkod.engine.bool with parameters of type Options
static BooleanFactory BooleanFactory.constantFactory(Options options)
          Returns a BooleanFactory with no variables; the returned factory can manipulate only constants.
static BooleanFactory BooleanFactory.factory(int numVars, Options options)
          Returns a boolean factory, initialized to contain the given number of boolean variables.
 

Uses of Options in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat with parameters of type Options
static BooleanMatrix Translator.approximate(Expression expression, Bounds bounds, Options options)
          Overapproximates the value of the given expression using the provided bounds and options.
static BooleanMatrix Translator.evaluate(Expression expression, Instance instance, Options options)
          Evaluates the given expression to a BooleanMatrix using the provided instance and options.
static BooleanConstant Translator.evaluate(Formula formula, Instance instance, Options options)
          Evaluates the given formula to a BooleanConstant using the provided instance and options.
static Int Translator.evaluate(IntExpression intExpr, Instance instance, Options options)
          Evalutes the given intexpression to an Int using the provided instance and options.
static Translation Translator.translate(Formula formula, Bounds bounds, Options options)
          Translates the given formula using the specified bounds and options.