Uses of Class
kodkod.engine.Options

Packages that use Options
kodkod.engine   
kodkod.engine.bool   
kodkod.engine.fol2sat   
 

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.factory(int numVars, int compDepth, Options options)
          Returns a boolean factory, initialized to contain the given number of boolean variables.
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.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 Translation Translator.translate(Formula formula, Bounds bounds, Options options)
          Translates the given formula using the specified bounds and options.