public class RdExhaustiveStateSpaceScan extends RdSpanningStateSpaceScan
Constructor and Description |
---|
RdExhaustiveStateSpaceScan(int[] aiTerminalStateIndex,
boolean bCyclicalScan)
RdExhaustiveStateSpaceScan Constructor
|
Modifier and Type | Method and Description |
---|---|
int[] |
nextStateIndexCursor()
Move to the Subsequent Index Cursor
|
int[] |
resetStateIndexCursor()
Reset and retrieve the State Index Cursor
|
cyclicalScan, dimension, stateIndexCursor, terminalStateIndex
public RdExhaustiveStateSpaceScan(int[] aiTerminalStateIndex, boolean bCyclicalScan) throws java.lang.Exception
aiTerminalStateIndex
- Upper Array Bounds for each DimensionbCyclicalScan
- TRUE - Cycle Post a Full Scanjava.lang.Exception
- Thrown if the Inputs are Invalidpublic int[] resetStateIndexCursor()
RdSpanningStateSpaceScan
resetStateIndexCursor
in class RdSpanningStateSpaceScan
public int[] nextStateIndexCursor()
RdSpanningStateSpaceScan
nextStateIndexCursor
in class RdSpanningStateSpaceScan