| 2585 | } |
| 2586 | |
| 2587 | DFA |
| 2588 | FlatZincSpace::getSharedDFA(DFA& a) { |
| 2589 | if (_initData) { |
| 2590 | FlatZincSpaceInitData::DFASet::iterator it = _initData->dfaSet.find(a); |
| 2591 | if (it != _initData->dfaSet.end()) { |
| 2592 | return *it; |
| 2593 | } |
| 2594 | _initData->dfaSet.insert(a); |
| 2595 | } |
| 2596 | return a; |
| 2597 | } |
| 2598 | |
| 2599 | void |
| 2600 | Printer::init(AST::Array* output) { |