Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to a given Bounds (or Instance) and Options.

Package Specification

Provides a facade for translating, evaluating, and approximating Kodkod formulas, expressions, and int expressions with respect to given Bounds (or Instance) and Options. The {@linkplain kodkod.engine.fol2sat.Translator} class contains methods for translating a Kodkod formula to CNF, evaluating a Node with respect to an instance, and over-approximating the value of an expression based on the upper bounds in a given Bounds object.

Related Documentation

@see kodkod.engine.fol2sat.Translator @see kodkod.engine.fol2sat.Translation @see kodkod.engine.fol2sat.TranslationLog @see kodkod.engine.fol2sat.TranslationRecord