Uses of Class
kodkod.engine.config.Options

Packages that use Options

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.fol2sat

Methods in kodkod.engine.fol2sat with parameters of type Options

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