Searched defs:any_conflicts (Results 1 – 1 of 1) sorted by relevance
705 bool *any_conflicts = new bool[p.num_atoms()](); in have_any_conflicts() local847 const bool *any_conflicts = have_any_conflicts(p, conflicts); in optimize_reg_permutation() local