Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer
Interface ReachabilityGraphStaticAnalyzer<M extends Marking<?>>
-
- All Known Implementing Classes:
ReachabilityGraphStaticAnalyzerImpl
public interface ReachabilityGraphStaticAnalyzer<M extends Marking<?>>
-
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description ReachabilityGraphStaticAnalysis<M>analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)static <M extends Marking<?>>
ReachabilityGraphStaticAnalyzer<M>getInstance(java.lang.Class<M> clazz)
-
-
-
Method Detail
-
getInstance
static <M extends Marking<?>> ReachabilityGraphStaticAnalyzer<M> getInstance(java.lang.Class<M> clazz)
-
analyze
ReachabilityGraphStaticAnalysis<M> analyze(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph)
-
-