Uses of Class
kodkod.engine.fol2sat.Translation

Packages that use Translation
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. 
 

Uses of Translation in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return Translation
static Translation Translator.translate(Formula formula, Bounds bounds, Options options)
          Translates the given formula using the specified bounds and options.