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
All Methods Instance Methods Concrete 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.stochasticbpmn.models.stochastic.ProbabilitygetProbabilityToComplete()org.processmining.stochasticbpmn.models.stochastic.ProbabilitygetProbabilityToComplete(M marking)org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraphgetReachabilityGraph()org.processmining.plugins.graphviz.dot.DottoGraphViz()java.lang.StringtoString()
-
-
-
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:
getReachabilityGraphin interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
getDeadLockMarkings
public java.util.Set<M> getDeadLockMarkings()
- Specified by:
getDeadLockMarkingsin interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
getMarkingsWithNoOptionToComplete
public java.util.Set<M> getMarkingsWithNoOptionToComplete()
- Specified by:
getMarkingsWithNoOptionToCompletein interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
getProbabilityToComplete
public org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete()
- Specified by:
getProbabilityToCompletein interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
getProbabilityToComplete
public org.processmining.stochasticbpmn.models.stochastic.Probability getProbabilityToComplete(M marking)
- Specified by:
getProbabilityToCompletein interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
getFixedReachabilityGraph
public org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph getFixedReachabilityGraph()
- Specified by:
getFixedReachabilityGraphin interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
toGraphViz
public org.processmining.plugins.graphviz.dot.Dot toGraphViz()
- Specified by:
toGraphVizin interfaceStochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-