org.processmining.plugins.flex.replayer.data
Classes 
FlexExtendedEncodedState
FlexNodeEncodedPredSuc