Lines Matching defs:falseValue

87     Value falseValue = selectOp.getFalseValue();
93       cstr.bound(value)[*dim] == cstr.getExpr(falseValue, dim);
101     cstr.populateConstraints(falseValue, dim);
107     // If trueValue <= falseValue:
108     // * result <= falseValue
113             /*rhs=*/{falseValue, dim})) {
116         cstr.bound(value)[*dim] <= cstr.getExpr(falseValue, dim);
119         cstr.bound(value) <= falseValue;
122     // If falseValue <= trueValue:
124     // * result >= falseValue
126             /*lhs=*/{falseValue, dim},
130         cstr.bound(value)[*dim] >= cstr.getExpr(falseValue, dim);
133         cstr.bound(value) >= falseValue;