Interface NormalisedIntDfg

  • All Superinterfaces:
    java.lang.Cloneable
    All Known Implementing Classes:
    NormalisedIntDfgImpl

    public interface NormalisedIntDfg
    extends java.lang.Cloneable
    All indices in this class should be normalised, i.e. in [0..number of activities - 1]
    Author:
    sander
    • Method Detail

      • addActivity

        void addActivity​(int index)
        Add an activity. Notice that the index should be normalised.
        Parameters:
        index -
      • getNumberOfActivities

        int getNumberOfActivities()
        Returns:
        The number of activities.
      • 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 -
      • addDirectlyFollowsEdge

        void addDirectlyFollowsEdge​(int source,
                                    int target,
                                    long cardinality)
      • addParallelEdge

        void addParallelEdge​(int a,
                             int b,
                             long cardinality)
      • addStartActivity

        void addStartActivity​(int activity,
                              long cardinality)
      • addEndActivity

        void addEndActivity​(int activity,
                            long cardinality)
      • addEndActivities

        void addEndActivities​(MultiIntSet activities)
      • hasStartActivities

        boolean hasStartActivities()
      • hasEndActivities

        boolean hasEndActivities()
      • getNumberOfStartActivitiesAsSet

        int getNumberOfStartActivitiesAsSet()
        Returns:
        The size of the set of start activities.
      • getNumberOfEndActivitiesAsSet

        int getNumberOfEndActivitiesAsSet()
        Returns:
        The size of the set of end activities.
      • isStartActivity

        boolean isStartActivity​(int activityIndex)
        Parameters:
        activityIndex -
        Returns:
        Whether the activity with the given index is a start activity.
      • getStartActivityCardinality

        long getStartActivityCardinality​(int activityIndex)
        Parameters:
        activityIndex -
        Returns:
        How often the activity was a start activity.
      • getMostOccurringStartActivityCardinality

        long getMostOccurringStartActivityCardinality()
        Returns:
        The number of occurrences of the activity that occurs the most as a start activity.
      • isEndActivity

        boolean isEndActivity​(int activityIndex)
        Parameters:
        activityIndex -
        Returns:
        Whether the activity with the given index is a end activity.
      • getMostOccurringEndActivityCardinality

        long getMostOccurringEndActivityCardinality()
        Returns:
        The number of occurrences of the activity that occurs the most as an end activity.
      • getEndActivityCardinality

        long getEndActivityCardinality​(int activityIndex)
        Parameters:
        activityIndex -
        Returns:
        How often the activity was an end activity.
      • getDirectlyFollowsEdges

        java.lang.Iterable<java.lang.Long> getDirectlyFollowsEdges()
        Returns an iterable that iterates over all edges; The edges that are returned are indices. Edges of weight 0 are excluded.
        Returns:
      • containsDirectlyFollowsEdge

        boolean containsDirectlyFollowsEdge​(int sourceIndex,
                                            int targetIndex)
      • getDirectlyFollowsEdgeSourceIndex

        int getDirectlyFollowsEdgeSourceIndex​(long edgeIndex)
      • getDirectlyFollowsEdgeTargetIndex

        int getDirectlyFollowsEdgeTargetIndex​(long edgeIndex)
      • getDirectlyFollowsEdgeCardinality

        long getDirectlyFollowsEdgeCardinality​(long edgeIndex)
      • getMostOccuringDirectlyFollowsEdgeCardinality

        long getMostOccuringDirectlyFollowsEdgeCardinality()
      • getConcurrencyEdges

        java.lang.Iterable<java.lang.Long> getConcurrencyEdges()
        Returns an iterable that iterates over all edges; The edges that are returned are indices. Edges of weight 0 are excluded.
        Returns:
      • containsConcurrencyEdge

        boolean containsConcurrencyEdge​(int sourceIndex,
                                        int targetIndex)
      • getConcurrencyEdgeSourceIndex

        int getConcurrencyEdgeSourceIndex​(long edgeIndex)
      • getConcurrencyEdgeTargetIndex

        int getConcurrencyEdgeTargetIndex​(long edgeIndex)
      • getConcurrencyEdgeCardinality

        long getConcurrencyEdgeCardinality​(long edgeIndex)
      • getMostOccuringConcurrencyEdgeCardinality

        long getMostOccuringConcurrencyEdgeCardinality()
      • removeStartActivity

        void removeStartActivity​(int activityIndex)
        Removes the start activity.
        Parameters:
        activityIndex -
      • getStartActivityIndices

        int[] getStartActivityIndices()
        Returns:
        The indices of the start activities. This array should not be edited.
      • getNumberOfStartActivities

        long getNumberOfStartActivities()
        Returns:
        The number of times that an end activity occurred. Use getNumberOfStartActivities() for the set-size.
      • removeEndActivity

        void removeEndActivity​(int activityIndex)
        Removes the end activity.
        Parameters:
        activityIndex -
      • getEndActivityIndices

        int[] getEndActivityIndices()
        Returns:
        The indices of the start activities. This array should not be edited.
      • getNumberOfEndActivities

        long getNumberOfEndActivities()
        Returns:
        The number of times that an end activity occurred. Use getNumberOfEndActivities() for the set-size.
      • collapseParallelIntoDirectly

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