Package nl.tue.astar
Interface Trace
-
- All Known Implementing Classes:
AbstractTrace,LinearTrace,PartiallyOrderedTrace
public interface Traceinterface to represent a trace.- Author:
- bfvdonge
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description intget(int index)returns the activity at the given indexjava.lang.StringgetLabel()returns the label of the tracegnu.trove.TIntCollectiongetNextEvents(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.TIntCollectiongetNextEvents(BitMask bitMask)Returns a TIntCollection containing all events that are currently enabled, given a bitmask for a booleanintgetSize()returns the number of events in the tracegnu.trove.iterator.TIntIteratoriterator()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:
-
-