Uses of Class
kodkod.instance.Instance

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.