Module merge_state

Module merge_state 

Source

Structsยง

LogEventMergeState
Encapsulates the inductive events merging algorithm.