function it_can_be_converted_to_a_DFA(State $state, Symbol $symbol) { $state->getReachableStatesBySymbol(Argument::type(EpsilonSymbol::class))->willReturn([]); $state->getReachableSymbols()->willReturn([]); $state->isFinal()->willReturn(false); $this->addStartingState($state); $this->toDFA()->shouldBeAnInstanceOf(DFA::class); }
function it_returns_false_if_two_closures_have_different_states(State $state1) { $closure = Closure::forStates([$state1->getWrappedObject()]); $this->shouldNotBeSameAs($closure); }