Class Replayer


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

      • Replayer

        public Replayer​(LocalProcessModel lpm,
                        java.util.Map<java.lang.String,​java.lang.Integer> labelMapping)
    • Method Detail

      • canReplay

        public boolean canReplay​(java.util.LinkedList<java.lang.Integer> sequence,
                                 Replayer.ReplayerType type)
      • replay

        public java.util.List<java.lang.Integer> replay​(java.util.LinkedList<java.lang.Integer> sequence,
                                                        Replayer.ReplayerType type)
        Replays the sequence on the local process model
        Parameters:
        sequence - : the sequence that is replayed
        Returns:
        a sequence of transitions that have been fired
      • canReplay

        public boolean canReplay​(java.util.List<java.lang.Integer> sequence)
      • findAllPaths

        public static java.util.Set<java.util.List<java.lang.String>> findAllPaths​(int pathLengthLimit,
                                                                                   LocalProcessModel lpm)