Interface IntDfg

    • Method Detail

      • getNumberOfActivities

        int getNumberOfActivities()
        Returns:
        The number of activities.
      • addActivity

        void addActivity​(int index)
        Add an activity.
        Parameters:
        index -
      • touchActivity

        void touchActivity​(int index)
        Make sure an activity is in the graphs.
      • getNumberOfEmptyTraces

        long getNumberOfEmptyTraces()
        Returns:
        The number of empty (epsilon) traces.
      • setNumberOfEmptyTraces

        void setNumberOfEmptyTraces​(long numberOfEmptyTraces)
        Set the number of empty (epsilon) traces.
        Parameters:
        numberOfEmptyTraces -
      • addEmptyTraces

        void addEmptyTraces​(long cardinality)
        Adds empty traces.
        Parameters:
        cardinality -
      • hasStartActivities

        boolean hasStartActivities()
      • hasEndActivities

        boolean hasEndActivities()
      • getDirectlyFollowsGraph

        IntGraph getDirectlyFollowsGraph()
      • getConcurrencyGraph

        IntGraph getConcurrencyGraph()
      • collapseParallelIntoDirectly

        void collapseParallelIntoDirectly()
        Adds a directly follows graph edge (in each direction) for each parallel edge.