Searched refs:any_conflicts (Results 1 – 1 of 1) sorted by relevance
705 bool *any_conflicts = new bool[p.num_atoms()](); in have_any_conflicts() local710 any_conflicts[r] |= sums(conflicts[r].v[s]); in have_any_conflicts()713 return any_conflicts; in have_any_conflicts()847 const bool *any_conflicts = have_any_conflicts(p, conflicts); in optimize_reg_permutation() local862 (any_conflicts[r] || any_conflicts[s])) { in optimize_reg_permutation()886 delete[] any_conflicts; in optimize_reg_permutation()