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

Class ReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>

java.lang.Object

org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer.ReachabilityGraphStaticAnalysisDTO<M>

All Implemented Interfaces:

ReachabilityGraphStaticAnalysis<M>

public class ReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>
extends java.lang.Object
implements ReachabilityGraphStaticAnalysis<M>

Constructor Summary

Constructors

Constructor	Description
ReachabilityGraphStaticAnalysisDTO(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, M initialMarking, java.util.Set<M> deadLockMarkings, java.util.Set<M> markingsWithoutOptionToComplete, java.lang.Class<M> clazz)

Method Summary

Modifier and Type	Method	Description
java.util.Set<M>	getDeadLockMarkings()
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph	getFixedReachabilityGraph()
java.util.Set<M>	getMarkingsWithNoOptionToComplete()
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph	getReachabilityGraph()
org.processmining.plugins.graphviz.dot.Dot	toGraphViz()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ReachabilityGraphStaticAnalysisDTO

public ReachabilityGraphStaticAnalysisDTO(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                          M initialMarking,
                                          java.util.Set<M> deadLockMarkings,
                                          java.util.Set<M> markingsWithoutOptionToComplete,
                                          java.lang.Class<M> clazz)

Method Detail

getReachabilityGraph

public org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getReachabilityGraph()

Specified by:

getReachabilityGraph in interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>

getDeadLockMarkings

public java.util.Set<M> getDeadLockMarkings()

Specified by:

getDeadLockMarkings in interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>

getMarkingsWithNoOptionToComplete

public java.util.Set<M> getMarkingsWithNoOptionToComplete()

Specified by:

getMarkingsWithNoOptionToComplete in interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>

getFixedReachabilityGraph

public org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getFixedReachabilityGraph()

Specified by:

getFixedReachabilityGraph in interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>

toGraphViz

public org.processmining.plugins.graphviz.dot.Dot toGraphViz()

Specified by:

toGraphViz in interface ReachabilityGraphStaticAnalysis<M extends Marking<?>>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object