Lines Matching refs:conflict
1082 specified {\em conflict set}.
1084 {\bf r\_conflict} and it will appear in the conflict set called
1149 the automatic recomputation of the conflict constraint set
1157 is checked by looking at the conflict constraints. If there are no
1158 conflict constraints, the constraints are all tentatively satisfied
1264 by checking whether the conflict constraint set is empty.
1417 The min-conflict heuristic of Minton et al. is the heuristic used to
1422 causes the minimum conflict (constraint violation) with the tentative
1659 tentative values are causing conflict. The repair library maintains the
1660 (repair) constraints which are causing conflict, and any variable which are
1661 causing conflict will occur in these constraints. The set of conflicting