Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances.

Package Specification

Contains classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. The class Solver provides methods for finding finite models of Kodkod formulas with respect to given {@linkplain kodkod.instance.Bounds Bounds} and {@linkplain kodkod.engine.config.Options Options}. The class Evalutor enables evaluation of formulas, expressions, and integer expressions with respect to a particular {@linkplain kodkod.instance.Instance Instance} and {@linkplain kodkod.engine.config.Options Options}.

Related Documentation

@see kodkod.instance.Bounds @see kodkod.instance.Instance @see kodkod.ast.Expression @see kodkod.ast.IntExpression @see kodkod.ast.Formula @see kodkod.engine.Solver @see kodkod.engine.Evaluator