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