Uses of Class
kodkod.engine.fol2sat.TrivialFormulaException

Packages that use TrivialFormulaException
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 TrivialFormulaException in kodkod.engine.fol2sat
 

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