Module merge_state

Module merge_state 

Structsยง

LogEventMergeState
Encapsulates the inductive events merging algorithm.