Class AbstractTrace

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int[] activities  
      protected java.lang.String label  
    • Constructor Summary

      Constructors 
      Constructor Description
      AbstractTrace​(java.lang.String label, int numEvents)  
      AbstractTrace​(java.lang.String label, int[] activitySequence)  
      AbstractTrace​(java.lang.String label, gnu.trove.list.TIntList activitySequence)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      int get​(int index)
      returns the activity at the given index
      java.lang.String getLabel()
      returns the label of the trace
      gnu.trove.TIntCollection getNextEvents​(boolean[] executed)
      Returns a TIntCollection containing all events that are currently enabled, given a boolean array indicating which events have been executed so far.
      gnu.trove.TIntCollection getNextEvents​(BitMask bitMask)
      Returns a TIntCollection containing all events that are currently enabled, given a bitmask for a boolean
      int getSize()
      returns the number of events in the trace
      int hashCode()  
      gnu.trove.iterator.TIntIterator iterator()
      Iterator to iterate over the list of activities, assuming a total order.
      void set​(int index, int act)
      sets the activity at index index
      java.lang.String toString()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait
    • Field Detail

      • label

        protected final java.lang.String label
      • activities

        protected final int[] activities
    • Constructor Detail

      • AbstractTrace

        public AbstractTrace​(java.lang.String label,
                             int numEvents)
      • AbstractTrace

        public AbstractTrace​(java.lang.String label,
                             int[] activitySequence)
      • AbstractTrace

        public AbstractTrace​(java.lang.String label,
                             gnu.trove.list.TIntList activitySequence)
    • Method Detail

      • get

        public int get​(int index)
        Description copied from interface: Trace
        returns the activity at the given index
        Specified by:
        get in interface Trace
        Returns:
      • getNextEvents

        public gnu.trove.TIntCollection getNextEvents​(boolean[] executed)
        Description copied from interface: Trace
        Returns a TIntCollection containing all events that are currently enabled, given a boolean array indicating which events have been executed so far.
        Specified by:
        getNextEvents in interface Trace
        Returns:
      • getNextEvents

        public gnu.trove.TIntCollection getNextEvents​(BitMask bitMask)
        Description copied from interface: Trace
        Returns a TIntCollection containing all events that are currently enabled, given a bitmask for a boolean
        Specified by:
        getNextEvents in interface Trace
        Returns:
      • getSize

        public int getSize()
        Description copied from interface: Trace
        returns the number of events in the trace
        Specified by:
        getSize in interface Trace
        Returns:
      • set

        public void set​(int index,
                        int act)
        sets the activity at index index
        Parameters:
        index -
        act -
      • iterator

        public gnu.trove.iterator.TIntIterator iterator()
        Description copied from interface: Trace
        Iterator to iterate over the list of activities, assuming a total order. The iterator should throw an exception on remove().
        Specified by:
        iterator in interface Trace
        Returns:
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • toString

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

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • getLabel

        public java.lang.String getLabel()
        Description copied from interface: Trace
        returns the label of the trace
        Specified by:
        getLabel in interface Trace
        Returns: