PHP self::addStates Examples

Example #1

File: Closure.php Project: carlosv2/fa

 /**
  * @param Symbol $symbol
  *
  * @return Closure
  */
 public function advance(Symbol $symbol)
 {
     $closure = new self([]);
     foreach ($this->states as $state) {
         $closure->addStates($state->getReachableStatesBySymbol($symbol));
     }
     $closure->addReachableStatesByEpsilonSymbol();
     return $closure;
 }