|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |