Package org.processmining.specpp.datastructures.transitionSystems

Class PrefixAutomaton

  • public class PrefixAutomaton
extends java.lang.Object
    Class representing a prefix automaton.

    • Constructor Summary

      Constructors 
      Constructor Description
      PrefixAutomaton​(PAState initial)
      Creates a new Prefix Automaton with a given initial state.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addVariant​(Variant variant)
      Adds a trace variant of the log to the prefix automaton (if not already contained)
      PAState getInitial()
      Returns the initial state of the prefix automaton.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • PrefixAutomaton

        public PrefixAutomaton​(PAState initial)
        Creates a new Prefix Automaton with a given initial state.
        Parameters:
        initial - Initial State.

    • Method Detail

      • addVariant

        public void addVariant​(Variant variant)
        Adds a trace variant of the log to the prefix automaton (if not already contained)
        Parameters:
        variant - Trace Variant.

      • getInitial

        public PAState getInitial()
        Returns the initial state of the prefix automaton.
        Returns:
        Initial State