Uses of Class
kodkod.engine.fol2sat.TranslationLog.Record

Packages that use TranslationLog.Record
kodkod.engine Provides classes for analyzing and evaluating Kodkod ASTs with respect to finite bounds or instances. 
kodkod.engine.fol2sat   
 

Uses of TranslationLog.Record in kodkod.engine
 

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

Uses of TranslationLog.Record in kodkod.engine.fol2sat
 

Methods in kodkod.engine.fol2sat that return types with arguments of type TranslationLog.Record
 java.util.Iterator<TranslationLog.Record> TranslationLog.replay()
          Returns an iterator over all translation records in this log.
abstract  java.util.Iterator<TranslationLog.Record> TranslationLog.replay(IntSet literals)
          Returns an iterator over the translation records in this log that contain the given literals.