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

Class StochasticReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>

java.lang.Object

org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer.StochasticReachabilityGraphStaticAnalysisDTO<M>

All Implemented Interfaces:

StochasticReachabilityGraphStaticAnalysis<M>

public class StochasticReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>
extends java.lang.Object
implements StochasticReachabilityGraphStaticAnalysis<M>

Constructor Summary

Constructors

Constructor	Description
StochasticReachabilityGraphStaticAnalysisDTO(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, M initialMarking, java.util.Set<M> deadLockMarkings, java.util.Set<M> markingsWithoutOptionToComplete, java.util.Map<M,org.processmining.stochasticbpmn.models.stochastic.Probability> markingProbabilityMapping, 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.stochasticbpmn.models.stochastic.Probability	getProbabilityToComplete()
org.processmining.stochasticbpmn.models.stochastic.Probability	getProbabilityToComplete(M marking)
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

StochasticReachabilityGraphStaticAnalysisDTO

public StochasticReachabilityGraphStaticAnalysisDTO(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                    M initialMarking,
                                                    java.util.Set<M> deadLockMarkings,
                                                    java.util.Set<M> markingsWithoutOptionToComplete,
                                                    java.util.Map<M,org.processmining.stochasticbpmn.models.stochastic.Probability> markingProbabilityMapping,
                                                    java.lang.Class<M> clazz)

Method Detail

getReachabilityGraph

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

Specified by:

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

getDeadLockMarkings

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

Specified by:

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

getMarkingsWithNoOptionToComplete

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

Specified by:

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

getProbabilityToComplete

public org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete()

Specified by:

getProbabilityToComplete in interface StochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>

getProbabilityToComplete

public org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete(M marking)

Specified by:

getProbabilityToComplete in interface StochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>

getFixedReachabilityGraph

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

Specified by:

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

toGraphViz

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

Specified by:

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object