A B C D E F G I K L M O P R S T V

E

evaluate(Formula, Instance, Options) - Static method in class kodkod.engine.fol2sat.Translator

Evaluates the given formula to a BooleanConstant using the provided instance and options.

evaluate(Expression, Instance, Options) - Static method in class kodkod.engine.fol2sat.Translator

Evaluates the given expression to a BooleanMatrix using the provided instance and options.

evaluate(IntExpression, Instance, Options) - Static method in class kodkod.engine.fol2sat.Translator

Evalutes the given intexpression to an Int using the provided instance and options.