Interface StochasticTraceIterator<O>

  • Type Parameters:
    O - denotes whether traces are totally or partially ordered
    All Superinterfaces:
    java.util.Iterator<int[]>
    All Known Subinterfaces:
    StochasticPathIterator<O>

    public interface StochasticTraceIterator<O>
    extends java.util.Iterator<int[]>
    Author:
    sander
    • Method Detail

      • getTraceIndex

        int getTraceIndex()
        Returns:
        The index of the last trace returned by next()
      • getProbability

        double getProbability()
        Returns:
        The probability of the last trace returned by next()