Rename isAcceptingStateReachable -> isAlive
Rename isFinite -> isFiniteStateSpace
Rename BaseMonitor{State} -> AbstractMonitor{State}
Add comment
Extract interface MonitorState
Rename getInitialMonitor -> getMonitorPrototype
Remove obsolete MonitorSetIterator
Rename processEvent -> processUpdate in MonitorSet
Decrease visibility of getParameterValue
Rename parameter
Rename package indexing.logic -> indexing.model