Searched refs:atnState (Results 1 – 1 of 1) sorted by relevance
213 public function setState(int $atnState) : void argument 215 $this->stateNumber = $atnState;