|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Instance | |
---|---|
kodkod.engine | Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. |
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. |
kodkod.instance | Contains classes for creating tuples, sets of tuples, bounds, and instances drawn from a finite universe of uninterpreted atoms. |
Uses of Instance in kodkod.engine |
---|
Methods in kodkod.engine that return Instance | |
---|---|
Instance |
Solution.instance()
Returns a satisfiying instance for this.formula, if the value returned by this.outcome() is either
SATISFIABLE or TRIVIALLY_SATISFIABLE. |
Instance |
Evaluator.instance()
Returns this.instance. |
Constructors in kodkod.engine with parameters of type Instance | |
---|---|
Evaluator(Instance instance)
Constructs a new Evaluator for the given instance, using a default Options object. |
|
Evaluator(Instance instance,
Options options)
Constructs a new Evaluator for the given instance and options |
Uses of Instance in kodkod.engine.fol2sat |
---|
Methods in kodkod.engine.fol2sat that return Instance | |
---|---|
Instance |
Translation.interpret()
If this.solver.solve() is true, returns an interpretation of the cnf solution as a mapping from Relations to sets of Tuples. |
Methods in kodkod.engine.fol2sat with parameters of type Instance | |
---|---|
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. |
Uses of Instance in kodkod.instance |
---|
Methods in kodkod.instance that return Instance | |
---|---|
Instance |
Instance.clone()
Returns a deep copy of this Instance object. |
Instance |
Instance.unmodifiableView()
Returns an unmodifiable view of this instance. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |