Searched defs:SuccIterator (Results 1 – 3 of 3) sorted by relevance
111 explicit inline SuccIterator(Term_ T) : Term(T), idx(0) {// begin iterator in SuccIterator() function113 inline SuccIterator(Term_ T, bool) // end iterator in SuccIterator() function
145 explicit inline SuccIterator(Term T) : TermInst(T), idx(0) {} in SuccIterator() function147 inline SuccIterator(Term T, bool) : TermInst(T) { in SuccIterator() function
143 explicit inline SuccIterator(Term T) : TermInst(T), idx(0) {} in SuccIterator() function145 inline SuccIterator(Term T, bool) : TermInst(T) { in SuccIterator() function