Uses of Interface
kodkod.engine.fol2sat.RecordFilter

Packages that use RecordFilter
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 RecordFilter in kodkod.engine.fol2sat
 

Fields in kodkod.engine.fol2sat declared as RecordFilter
static RecordFilter RecordFilter.ALL
          A record filter that accepts all records.
 

Methods in kodkod.engine.fol2sat with parameters of type RecordFilter
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.