dfaState property

DFAState? dfaState
getter/setter pair

Implementation

DFAState? dfaState;