コード例 #1
0
ファイル: NFASpec.php プロジェクト: carlosv2/fa
 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);
 }
コード例 #2
0
ファイル: ClosureSpec.php プロジェクト: carlosv2/fa
 function it_returns_false_if_two_closures_have_different_states(State $state1)
 {
     $closure = Closure::forStates([$state1->getWrappedObject()]);
     $this->shouldNotBeSameAs($closure);
 }