VeriFIT/mata

Remove iterator over automaton

Closed this issue · 0 comments

Adda0 commented

The iterator over automaton (NFA, AFA) is not intuitive enough. If one wants to iterate over transitions, they should iterate over Delta explicitly: for (auto& trans in aut.delta) or aut.delta.begin() ....

We need to remove the iterator over the whole automaton entirely.