Class PartialOrder2String


  • public class PartialOrder2String
    extends java.lang.Object
    • Constructor Detail

      • PartialOrder2String

        public PartialOrder2String()
    • Method Detail

      • toStringActivity

        public static java.lang.String toStringActivity​(int[] partialOrder,
                                                        Activity2IndexKey activityKey)
      • toDotTransition

        public static org.processmining.plugins.graphviz.dot.Dot toDotTransition​(int[] partialOrder,
                                                                                 StochasticTransition2IndexKey transitionKey)
      • toString

        public static java.lang.String toString​(int[] partialOrder)