Searched defs:SuccIterator (Results 1 – 1 of 1) sorted by relevance
155 explicit inline SuccIterator(Term_ T) : Term(T), idx(0) {// begin iterator in SuccIterator() function157 inline SuccIterator(Term_ T, bool) // end iterator in SuccIterator() function