Searched defs:SuccIterator (Results 1 – 2 of 2) 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
143 explicit inline SuccIterator(Term T) : TermInst(T), idx(0) {} in SuccIterator() function145 inline SuccIterator(Term T, bool) : TermInst(T) { in SuccIterator() function