Lines Matching refs:simplices
510 SmallVector<Simplex, 2> simplices; member in presburger::SetCoalescer
577 simplices.reserve(s.getNumDisjuncts()); in SetCoalescer()
588 simplices.push_back(simp); in SetCoalescer()
655 simplices[i] = simplices[n - 2]; in addCoalescedDisjunct()
656 simplices.pop_back(); in addCoalescedDisjunct()
657 simplices[n - 2] = Simplex(disjuncts[n - 2]); in addCoalescedDisjunct()
671 simplices[i] = simplices[n - 1]; in addCoalescedDisjunct()
672 simplices[j] = simplices[n - 2]; in addCoalescedDisjunct()
673 simplices.pop_back(); in addCoalescedDisjunct()
674 simplices[n - 2] = Simplex(disjuncts[n - 2]); in addCoalescedDisjunct()
697 Simplex &simp = simplices[i]; in coalescePairCutCase()
738 assert(simplices.size() == disjuncts.size() && in eraseDisjunct()
742 simplices[i] = simplices.back(); in eraseDisjunct()
743 simplices.pop_back(); in eraseDisjunct()
755 Simplex &simpA = simplices[i]; in coalescePair()
756 Simplex &simpB = simplices[j]; in coalescePair()