Uses of Package
kodkod.engine.fol2sat

Packages that use kodkod.engine.fol2sat
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
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. 
kodkod.engine.ucore Contains strategies for minimizing unsatisfiable cores generated by SAT provers. 
 

Classes in kodkod.engine.fol2sat used by kodkod.engine
HigherOrderDeclException
          Thrown when a node contains a higher order declaration that cannot be skolemized, or it can be skolemized but skolemization is disabled.
TranslationLog
          A log of the translations of the descendants of a given formula that are either formulas or that desugar to formulas.
TranslationRecord
          Record of a translation event.
UnboundLeafException
          Thrown when a node contains an undeclared variable or a relation with no bounds.
 

Classes in kodkod.engine.fol2sat used by kodkod.engine.fol2sat
RecordFilter
          A filter for TranslationRecords, based on the value of a record's node and literal fields.
Translation
          Stores the translation of a kodkod formula to CNF.
TranslationLog
          A log of the translations of the descendants of a given formula that are either formulas or that desugar to formulas.
TranslationRecord
          Record of a translation event.
TrivialFormulaException
          Thrown when a reduction is found to be trivially (un)satisfiable with respect to given Bounds.
 

Classes in kodkod.engine.fol2sat used by kodkod.engine.ucore
TranslationLog
          A log of the translations of the descendants of a given formula that are either formulas or that desugar to formulas.