Package nl.tue.astar

Interface Trace

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      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
      gnu.trove.iterator.TIntIterator iterator()
      Iterator to iterate over the list of activities, assuming a total order.
    • Method Detail

      • get

        int get​(int index)
        returns the activity at the given index
        Parameters:
        index -
        Returns:
      • getSize

        int getSize()
        returns the number of events in the trace
        Returns:
      • getNextEvents

        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.
        Parameters:
        executed -
        Returns:
      • getNextEvents

        gnu.trove.TIntCollection getNextEvents​(BitMask bitMask)
        Returns a TIntCollection containing all events that are currently enabled, given a bitmask for a boolean
        Parameters:
        executed -
        Returns:
      • iterator

        gnu.trove.iterator.TIntIterator iterator()
        Iterator to iterate over the list of activities, assuming a total order. The iterator should throw an exception on remove().
        Returns:
      • getLabel

        java.lang.String getLabel()
        returns the label of the trace
        Returns: