Searched defs:SuccIterator (Results 1 – 1 of 1) sorted by relevance
143 explicit inline SuccIterator(Term T) : TermInst(T), idx(0) {} in SuccIterator() function145 inline SuccIterator(Term T, bool) : TermInst(T) { in SuccIterator() function