Lines Matching defs:orderedValue

1292           const auto orderedValue{GetIntValue(orderedClause.v)};
1293           isOrderedClauseWithPara = orderedValue > 0;
1950       const auto orderedValue{GetIntValue(orderedClause.v)};
1951       if (orderedValue > 0) {
1953         CheckOrderedDependClause(orderedValue);
1968     std::optional<int64_t> orderedValue) {
1973       if (orderedValue != numVar) {
2798           if (const auto orderedValue{GetIntValue(orderedClause.v)}) {
2800               if (*orderedValue > 0 && *orderedValue < *collapseValue) {