Home | History | Annotate | Download | only in Analysis

Lines Matching full:constraint

557   return compare ? 0 : 1; // Forces the evaluation of the symbolic constraint.