Searched refs:simplices (Results 1 – 1 of 1) sorted by relevance
588 simplices.push_back(simp); in SetCoalescer()655 simplices[i] = simplices[n - 2]; in addCoalescedDisjunct()656 simplices.pop_back(); in addCoalescedDisjunct()671 simplices[i] = simplices[n - 1]; in addCoalescedDisjunct()672 simplices[j] = simplices[n - 2]; in addCoalescedDisjunct()673 simplices.pop_back(); in addCoalescedDisjunct()697 Simplex &simp = simplices[i]; in coalescePairCutCase()742 simplices[i] = simplices.back(); in eraseDisjunct()743 simplices.pop_back(); in eraseDisjunct()755 Simplex &simpA = simplices[i]; in coalescePair()[all …]