| 266 | */ |
| 267 | |
| 268 | forceinline |
| 269 | DFA::Symbols::Symbols(const DFA& d) { |
| 270 | const DFAI* o = static_cast<DFAI*>(d.object()); |
| 271 | if (o != nullptr) { |
| 272 | c_trans = &o->trans[0]; |
| 273 | e_trans = c_trans+o->n_trans; |
| 274 | } else { |
| 275 | c_trans = e_trans = nullptr; |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | forceinline bool |
| 280 | DFA::Symbols::operator ()(void) const { |