VeriFIT/mata

Rename `SynchronizedIterator` to `SynchronizedAdvancer`

Opened this issue · 4 comments

Adda0 commented

Because SynchronizedIterator is not an iterator in a C++-sense, we should rename it to something else. We thought about SynchronizedAdvancer, seeing that it already has the advance() method.

tfiedor commented

Can't this simply be e.g. SynchronizedTraversal? I mean that is at least valid and existing word.

Adda0 commented

advancer is a valid word, too. See dictionary records for advancer, for example ;) And I must say that I like advancer. It makes it clearer to me what the class does than anything else, to be honest. What do the others think?

Adda0 commented

Nah, who would believe Oxford or Cambridge dictionaries these days, anyway? I believe in GNU version of the Collaborative International Dictionary of English 😂

  • 😄1