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