|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.fol2sat.TranslationLog
public abstract class TranslationLog
A log of the translations of the descendants of a given formula that are either formulas or that desugar to formulas.
all r: records | r.node in formula.*children |
formula: Formula |
bounds: Bounds |
records: set TranslationRecord |
Method Summary | |
---|---|
abstract Formula |
formula()
Returns this.formula. |
java.util.Iterator<TranslationRecord> |
replay()
Returns an iterator over all translation records in this log. |
abstract java.util.Iterator<TranslationRecord> |
replay(RecordFilter filter)
Returns an iterator over the translation records in this log that are accepted by the given filter. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public abstract Formula formula()
public abstract java.util.Iterator<TranslationRecord> replay(RecordFilter filter)
Note:The record objects returned by the iterator are not required to be immutable. In particular, the state of a record object returned by next() is guaranteed to remain the same only until the subsequent call to next().
public final java.util.Iterator<TranslationRecord> replay()
Note:The record objects returned by the iterator are not required to be immutable. In particular, the state of a record object returned by next() is guaranteed to remain the same only until the subsequent call to next().
replay(RecordFilter)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |