Searched refs:any_conflicts (Results 1 – 1 of 1) sorted by relevance
685 bool *any_conflicts = new bool[p.num_atoms()](); in have_any_conflicts() local690 any_conflicts[r] |= sums(conflicts[r].v[s]); in have_any_conflicts()693 return any_conflicts; in have_any_conflicts()827 const bool *any_conflicts = have_any_conflicts(p, conflicts); in optimize_reg_permutation() local842 (any_conflicts[r] || any_conflicts[s])) { in optimize_reg_permutation()866 delete[] any_conflicts; in optimize_reg_permutation()