Lines Matching refs:idx
105 unsigned idx;
109 inline bool index_is_valid(int idx) {
110 return idx >= 0 && (unsigned) idx < Term->getNumSuccessors();
117 explicit inline SuccIterator(Term_ T) : Term(T), idx(0) {// begin iterator
122 idx = Term->getNumSuccessors();
129 idx = 0;
134 idx = I.idx;
140 unsigned getSuccessorIndex() const { return idx; }
142 inline bool operator==(const Self& x) const { return idx == x.idx; }
145 inline pointer operator*() const { return Term->getSuccessor(idx); }
148 inline Self& operator++() { ++idx; return *this; } // Preincrement
154 inline Self& operator--() { --idx; return *this; } // Predecrement
161 return idx < x.idx;
166 return idx <= x.idx;
170 return idx >= x.idx;
175 return idx > x.idx;
179 unsigned new_idx = idx + Right;
181 idx = new_idx;
201 int distance = idx - x.idx;
206 // to Term are only possible with Term->setSuccessor(idx). Pointers that can
