public abstract class RdSpanningStateSpaceScan
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
boolean |
cyclicalScan()
Retrieve the Cyclical Scan Flag
|
int |
dimension()
Retrieve the Dimension
|
abstract int[] |
nextStateIndexCursor()
Move to the Subsequent Index Cursor
|
abstract int[] |
resetStateIndexCursor()
Reset and retrieve the State Index Cursor
|
int[] |
stateIndexCursor()
Retrieve the State Index Cursor
|
int[] |
terminalStateIndex()
Retrieve the Array of the Terminal State Indexes
|
public int[] terminalStateIndex()
public int dimension()
public int[] stateIndexCursor()
public boolean cyclicalScan()
public abstract int[] resetStateIndexCursor()
public abstract int[] nextStateIndexCursor()