public getStates ( ) : array |
||
return | array |
public function getStates();
private function addTransitions(Digraph $graph, StateMachine $stateMachine) { foreach ($stateMachine->getStates() as $stateName) { $state = $stateMachine->getState($stateName); foreach ($state->getTransitions() as $transitionName) { $transition = $stateMachine->getTransition($transitionName); $graph->beginEdge(array($stateName, $transition->getState()), array('label' => $transitionName))->end(); } } }