Lines Matching defs:idx
107 unsigned idx;
112 inline bool index_is_valid(int idx) {
113 return idx >= 0 && (unsigned) idx < Term->getNumSuccessors();
121 explicit inline SuccIterator(Term_ T) : Term(T), idx(0) {// begin iterator
126 idx = Term->getNumSuccessors();
133 idx = 0;
138 idx = I.idx;
144 unsigned getSuccessorIndex() const { return idx; }
146 inline bool operator==(const Self& x) const { return idx == x.idx; }
149 inline reference operator*() const { return Term->getSuccessor(idx); }
152 inline Self& operator++() { ++idx; return *this; } // Preincrement
158 inline Self& operator--() { --idx; return *this; } // Predecrement
165 return idx < x.idx;
170 return idx <= x.idx;
174 return idx >= x.idx;
179 return idx > x.idx;
183 unsigned new_idx = idx + Right;
185 idx = new_idx;
205 int distance = idx - x.idx;
210 // to Term are only possible with Term->setSuccessor(idx). Pointers that can