public class RdReceedingStateSpaceScan extends RdSpanningStateSpaceScan
| Constructor and Description |
|---|
RdReceedingStateSpaceScan(int[] aiTerminalStateIndex,
boolean bCyclicalScan)
RdReceedingStateSpaceScan 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, terminalStateIndexpublic RdReceedingStateSpaceScan(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()
RdSpanningStateSpaceScanresetStateIndexCursor in class RdSpanningStateSpaceScanpublic int[] nextStateIndexCursor()
RdSpanningStateSpaceScannextStateIndexCursor in class RdSpanningStateSpaceScan