Package 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.

See:
Description

Class Summary

Translator

Translates, evaluates, and approximates nodes with respect to given bounds (or instances) and Options.

Package kodkod.engine.fol2sat Description

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 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 Also:

Translator, Translation, TranslationLog, TranslationRecord