Package org.processmining.plugins.flex.replayer.data

Class Summary
FlexExtendedEncodedState  
FlexNodeEncodedPredSuc