Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer

Interface Summary

Interface	Description
ReachabilityGraphStaticAnalysis<M extends Marking<?>>
ReachabilityGraphStaticAnalyzer<M extends Marking<?>>

Class Summary

Class	Description
ReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>
ReachabilityGraphStaticAnalyzerImpl<M extends Marking<?>>