|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |