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

Class ReachabilityGraphUtils

  • public class ReachabilityGraphUtils
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <M extends Marking<?>>
      java.util.Set<M>      		 getAscendants​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.util.Collection<M> startMarkings, java.lang.Class<M> clazz)  
      static <M extends Marking<?>>
      java.util.Set<M>      		 getDeadlockMarkings​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)  
      static <M extends Marking<?>>
      java.util.Set<M>      		 getFinalMarkings​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)  
      static <M extends Marking<?>>
      M      		 getInitialMarking​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, java.lang.Class<M> clazz)  
      static <M extends Marking<?>>
      org.processmining.models.graphbased.directed.transitionsystem.State      		 getInitialState​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, java.lang.Class<M> clazz)  
      static <M extends Marking<?>>
      java.util.Set<M>      		 getMarkingsWithNoOptionToComplete​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)  
      static <E,​M extends Marking<E>>
      java.util.Set<M>      		 getMarkingsWithOptionToComplete​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)  
      static java.lang.String toGraphVizString​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)  

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • ReachabilityGraphUtils

        public ReachabilityGraphUtils()

    • Method Detail

      • getFinalMarkings

        public static <M extends Marking<?>> java.util.Set<M> getFinalMarkings​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                                       java.lang.Class<M> clazz)

      • getDeadlockMarkings

        public static <M extends Marking<?>> java.util.Set<M> getDeadlockMarkings​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                                          java.lang.Class<M> clazz)

      • getMarkingsWithNoOptionToComplete

        public static <M extends Marking<?>> java.util.Set<M> getMarkingsWithNoOptionToComplete​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                                                        java.lang.Class<M> clazz)

      • getMarkingsWithOptionToComplete

        public static <E,​M extends Marking<E>> java.util.Set<M> getMarkingsWithOptionToComplete​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                                                              java.lang.Class<M> clazz)

      • getAscendants

        public static <M extends Marking<?>> java.util.Set<M> getAscendants​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph,
                                                                    java.util.Collection<M> startMarkings,
                                                                    java.lang.Class<M> clazz)

      • getInitialState

        public static <M extends Marking<?>> org.processmining.models.graphbased.directed.transitionsystem.State getInitialState​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg,
                                                                                                                         java.lang.Class<M> clazz)

      • getInitialMarking

        public static <M extends Marking<?>> M getInitialMarking​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg,
                                                         java.lang.Class<M> clazz)

      • toGraphVizString

        public static java.lang.String toGraphVizString​(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg)