Searched refs:merge_by_val (Results 1 – 3 of 3) sorted by relevance
150 void merge_by_val(CandidateList<Integer>& NewCand);151 void merge_by_val(CandidateList<Integer>& NewCand, list<Candidate<Integer>*>& New_Elements);
59 Total.merge_by_val(New); in splice_them_sort()70 Irred.merge_by_val(Cand); in select_HB()660 …Neutral_Irred.merge_by_val(Neutral_Depot); // and there is nothing to do for positive or negative… in cut_with_halfspace_hilbert_basis()675 Neutral_Irred.merge_by_val(New_Neutral_Irred, New_Elements); in cut_with_halfspace_hilbert_basis()690 Positive_Irred.merge_by_val(New_Positive_Irred, Pos_Gen1); in cut_with_halfspace_hilbert_basis()700 Negative_Irred.merge_by_val(New_Negative_Irred, Neg_Gen1); in cut_with_halfspace_hilbert_basis()
434 void CandidateList<Integer>::merge_by_val(CandidateList<Integer>& NewCand) { in merge_by_val() function in libnormaliz::CandidateList442 void CandidateList<Integer>::merge_by_val(CandidateList<Integer>& NewCand, list<Candidate<Integer>*… in merge_by_val() function in libnormaliz::CandidateList