diff options
Diffstat (limited to 'KnownState.h')
| -rw-r--r-- | KnownState.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/KnownState.h b/KnownState.h index 6dff74a5..c1c602dc 100644 --- a/KnownState.h +++ b/KnownState.h @@ -100,13 +100,12 @@ public: void reset() { resetStorage(); resetMemory(); resetStack(); } unsigned sequenceNumber() const { return m_sequenceNumber; } - /// Manually increments the storage and memory sequence number. - void incrementSequenceNumber() { m_sequenceNumber += 2; } /// Replaces the state by the intersection with _other, i.e. only equal knowledge is retained. /// If the stack heighht is different, the smaller one is used and the stack is compared /// relatively. - void reduceToCommonKnowledge(KnownState const& _other); + /// @param _combineSequenceNumbers if true, sets the sequence number to the maximum of both + void reduceToCommonKnowledge(KnownState const& _other, bool _combineSequenceNumbers); /// @returns a shared pointer to a copy of this state. std::shared_ptr<KnownState> copy() const { return std::make_shared<KnownState>(*this); } |