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