Searched refs:getRight (Results 1 – 5 of 5) sorted by relevance
84 T = T->getRight(); in find()182 if (ImutAVLTree* R = getRight()) in foreach()194 unsigned HR = getRight() ? getRight()->validateTree() : 0; in validateTree()210 assert(!(getRight() || in validateTree()430 TreeTy* getRight(TreeTy* T) const { return T->getRight(); } in getRight() function502 TreeTy *LR = getRight(L); in balanceTree()510 TreeTy *LRR = getRight(LR); in balanceTree()519 TreeTy *RR = getRight(R); in balanceTree()527 TreeTy *RLR = getRight(RL); in balanceTree()591 return getRight(T); in removeMinBinding()[all …]
51 Instruction *DiffLogBuilder::getRight(unsigned I) const { return Diff[I].second; } in getRight() function in DiffLogBuilder
79 Instruction *getRight(unsigned I) const;
208 Log.getRight(I)->print(dbgs()); dbgs() << '\n'; in logd()
188 RegionOrSymbol getRight() const { return Right; } in getRight() function886 return processComparison(State, Comp->getLeft(), Comp->getRight(), in evalAssume()