Lines Matching defs:trueValue

86     Value trueValue = selectOp.getTrueValue();
92       cstr.bound(value)[*dim] == cstr.getExpr(trueValue, dim);
100     cstr.populateConstraints(trueValue, dim);
107     // If trueValue <= falseValue:
109     // * result >= trueValue
111             /*lhs=*/{trueValue, dim},
115         cstr.bound(value)[*dim] >= cstr.getExpr(trueValue, dim);
118         cstr.bound(value) >= trueValue;
122     // If falseValue <= trueValue:
123     // * result <= trueValue
128             /*rhs=*/{trueValue, dim})) {
131         cstr.bound(value)[*dim] <= cstr.getExpr(trueValue, dim);
134         cstr.bound(value) <= trueValue;