Class IntDfgImpl

  • All Implemented Interfaces:
    java.lang.Cloneable, IntDfg
    Direct Known Subclasses:
    DfgMsdImpl

    public class IntDfgImpl
    extends java.lang.Object
    implements IntDfg
    • Constructor Detail

      • IntDfgImpl

        public IntDfgImpl()
    • Method Detail

      • addActivity

        public void addActivity​(int index)
        Description copied from interface: IntDfg
        Add an activity.
        Specified by:
        addActivity in interface IntDfg
      • touchActivity

        public void touchActivity​(int index)
        Description copied from interface: IntDfg
        Make sure an activity is in the graphs.
        Specified by:
        touchActivity in interface IntDfg
      • getNumberOfActivities

        public int getNumberOfActivities()
        Specified by:
        getNumberOfActivities in interface IntDfg
        Returns:
        The number of activities.
      • getNumberOfEmptyTraces

        public long getNumberOfEmptyTraces()
        Specified by:
        getNumberOfEmptyTraces in interface IntDfg
        Returns:
        The number of empty (epsilon) traces.
      • setNumberOfEmptyTraces

        public void setNumberOfEmptyTraces​(long numberOfEmptyTraces)
        Description copied from interface: IntDfg
        Set the number of empty (epsilon) traces.
        Specified by:
        setNumberOfEmptyTraces in interface IntDfg
      • addEmptyTraces

        public void addEmptyTraces​(long cardinality)
        Description copied from interface: IntDfg
        Adds empty traces.
        Specified by:
        addEmptyTraces in interface IntDfg
      • clone

        public IntDfgImpl clone()
        Specified by:
        clone in interface IntDfg
        Overrides:
        clone in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • collapseParallelIntoDirectly

        public void collapseParallelIntoDirectly()
        Description copied from interface: IntDfg
        Adds a directly follows graph edge (in each direction) for each parallel edge.
        Specified by:
        collapseParallelIntoDirectly in interface IntDfg