Uses of Class
kodkod.engine.fol2sat.TranslationRecord

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

Uses of TranslationRecord in kodkod.engine
 

Methods in kodkod.engine that return types with arguments of type TranslationRecord
abstract  java.util.Iterator<TranslationRecord> Proof.core()
          Returns an iterator over the log records for the nodes that are in the unsatisfiable core of this.formula.
 

Uses of TranslationRecord in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return types with arguments of type TranslationRecord
 java.util.Iterator<TranslationRecord> TranslationLog.replay()
          Returns an iterator over all translation records in this log.
abstract  java.util.Iterator<TranslationRecord> TranslationLog.replay(RecordFilter filter)
          Returns an iterator over the translation records in this log that are accepted by the given filter.