DFAState.stateNumber

Undocumented in source.
class DFAState
int stateNumber;

Meta