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 Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description doublegetProbability()intgetTraceIndex()
-