Uses of Interface
org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer.ReachabilityGraphStaticAnalysis

Packages that use ReachabilityGraphStaticAnalysis

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

Uses of ReachabilityGraphStaticAnalysis in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer

Classes in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer that implement ReachabilityGraphStaticAnalysis

Modifier and Type	Class	Description
class	ReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>

Methods in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer that return ReachabilityGraphStaticAnalysis

Modifier and Type	Method	Description
ReachabilityGraphStaticAnalysis<M>	ReachabilityGraphStaticAnalyzer.analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
ReachabilityGraphStaticAnalysis<M>	ReachabilityGraphStaticAnalyzerImpl.analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)