Uses of Class
kodkod.engine.TrivialFormulaException

Packages that use TrivialFormulaException
kodkod.engine.fol2sat   
 

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.