Uses of Class
kodkod.engine.fol2sat.TranslationLog

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

Uses of TranslationLog in kodkod.engine
 

Methods in kodkod.engine that return TranslationLog
 TranslationLog Proof.log()
          Returns the log of the translation that resulted in this proof.
 

Uses of TranslationLog in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return TranslationLog
 TranslationLog TrivialFormulaException.log()
          Returns this.log.
 TranslationLog Translation.log()
          If this.options.logTranslation was set to true, returns the log of the translation that produced this Translation object.
 

Uses of TranslationLog in kodkod.engine.ucore
 

Methods in kodkod.engine.ucore with parameters of type TranslationLog
static IntSet StrategyUtils.topVars(TranslationLog log)
          Returns the variables that correspond to the top-level subformulas of log.formula
 

Constructors in kodkod.engine.ucore with parameters of type TranslationLog
HybridStrategy(TranslationLog log)
          Constructs a hybrid strategy that will use the given translation log to relate the cnf clauses back to the logic constraints from which they were generated.
MinTopStrategy(TranslationLog log)
          Constructs a min top strategy that will use the given translation log to relate the cnf clauses back to the logic constraints from which they were generated.