Remorhaz\UniLex\RegExp\FSM\NfaReverser::reverseNfa()

Complexity

Conditions	6
Paths	18

Size

Total Lines	25
Code Lines	15

Duplication

Lines	0
Ratio	0 %

Importance

Changes	1
Bugs	0	Features	0

<?php
    public function reverseNfa(Nfa $sourceNfa): Nfa
    {
        $targetNfa = new Nfa();
        $targetNfa->setSymbolTable($sourceNfa->getSymbolTable());
        $sourceStateMap = $sourceNfa->getStateMap();
        $targetStateMap = $targetNfa->getStateMap();
        foreach ($sourceStateMap->getStateList() as $stateId) {
            $targetStateMap->importState($sourceStateMap->getStateValue($stateId), $stateId);
        }
        $targetStateMap->addFinishState(...$sourceStateMap->getStartStateList());
        $targetStateMap->addStartState(...$sourceStateMap->getFinishStateList());

        foreach ($sourceNfa->getEpsilonTransitionMap()->getTransitionList() as $sourceStateId => $targetStates) {
            foreach ($targetStates as $targetStateId => $value) {
                $targetNfa->getEpsilonTransitionMap()->addTransition($targetStateId, $sourceStateId, $value);
            }
        }

        foreach ($sourceNfa->getSymbolTransitionMap()->getTransitionList() as $sourceStateId => $targetStates) {
            foreach ($targetStates as $targetStateId => $value) {
                $targetNfa->getSymbolTransitionMap()->addTransition($targetStateId, $sourceStateId, $value);
            }
        }

        return $targetNfa;
    }