Package org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer
Interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
- All Known Implementing Classes:
ReachabilityGraphStaticAnalysisDTO
public interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.Set<M>getDeadLockMarkings()org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraphgetFixedReachabilityGraph()java.util.Set<M>getMarkingsWithNoOptionToComplete()org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraphgetReachabilityGraph()org.processmining.plugins.graphviz.dot.DottoGraphViz()
-
-
-
Method Detail
-
getReachabilityGraph
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getReachabilityGraph()
-
getDeadLockMarkings
java.util.Set<M> getDeadLockMarkings()
-
getMarkingsWithNoOptionToComplete
java.util.Set<M> getMarkingsWithNoOptionToComplete()
-
getFixedReachabilityGraph
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getFixedReachabilityGraph()
-
toGraphViz
org.processmining.plugins.graphviz.dot.Dot toGraphViz()
-
-