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