- <init>
- process
Processes the next input event. If some of the computations reach a final state
then the resulting e
- addComputationState
- advanceTime
Prunes states assuming there will be no events with timestamp lower than the
given one. It cleares t
- calculateIncreasingSelfState
- checkFilterCondition
- computeNextStates
Computes the next computation states based on the given computation state, the
current event, its ti
- createDecisionGraph
- createInitialNFAState
- extractCurrentMatches
Extracts all the sequences of events from the start to the given computation
state. An event sequenc
- findFinalStateAfterProceed
- isEquivalentState