| 327 | } |
| 328 | |
| 329 | forceinline bool |
| 330 | DFA::operator ==(const DFA& d) const { |
| 331 | if (n_states() != d.n_states()) |
| 332 | return false; |
| 333 | if (n_transitions() != d.n_transitions()) |
| 334 | return false; |
| 335 | if (n_symbols() != d.n_symbols()) |
| 336 | return false; |
| 337 | if (max_degree() != d.max_degree()) |
| 338 | return false; |
| 339 | if (final_fst() != d.final_fst()) |
| 340 | return false; |
| 341 | if (final_lst() != d.final_lst()) |
| 342 | return false; |
| 343 | return equal(d); |
| 344 | } |
| 345 | |
| 346 | forceinline bool |
| 347 | DFA::operator !=(const DFA& d) const { |
nothing calls this directly
no test coverage detected