Total Complexity | 10 |
Total Lines | 52 |
Duplicated Lines | 0 % |
Changes | 1 | ||
Bugs | 0 | Features | 0 |
1 | <?php |
||
9 | class Nfa |
||
10 | { |
||
11 | private $stateMap; |
||
12 | |||
13 | private $epsilonTransitionMap; |
||
14 | |||
15 | private $symbolTransitionMap; |
||
16 | |||
17 | private $symbolTable; |
||
18 | |||
19 | public function getStateMap(): StateMap |
||
20 | { |
||
21 | if (!isset($this->stateMap)) { |
||
22 | $this->stateMap = new StateMap(); |
||
23 | } |
||
24 | |||
25 | return $this->stateMap; |
||
26 | } |
||
27 | |||
28 | public function getEpsilonTransitionMap(): TransitionMap |
||
29 | { |
||
30 | if (!isset($this->epsilonTransitionMap)) { |
||
31 | $this->epsilonTransitionMap = new TransitionMap($this->getStateMap()); |
||
32 | } |
||
33 | |||
34 | return $this->epsilonTransitionMap; |
||
35 | } |
||
36 | |||
37 | public function getSymbolTransitionMap(): TransitionMap |
||
38 | { |
||
39 | if (!isset($this->symbolTransitionMap)) { |
||
40 | $this->symbolTransitionMap = new TransitionMap($this->getStateMap()); |
||
41 | } |
||
42 | |||
43 | return $this->symbolTransitionMap; |
||
44 | } |
||
45 | |||
46 | public function getSymbolTable(): SymbolTable |
||
53 | } |
||
54 | |||
55 | public function setSymbolTable(SymbolTable $symbolTable): void |
||
56 | { |
||
63 |