Searched refs:orderedValue (Results 1 – 2 of 2) sorted by relevance
861 const auto orderedValue{GetIntValue(orderedClause.v)}; in ChecksOnOrderedAsBlock() local862 isOrderedClauseWithPara = orderedValue > 0; in ChecksOnOrderedAsBlock()1202 const auto orderedValue{GetIntValue(orderedClause.v)}; in ChecksOnOrderedAsStandalone() local1203 if (orderedValue > 0) { in ChecksOnOrderedAsStandalone()1205 CheckOrderedDependClause(orderedValue); in ChecksOnOrderedAsStandalone()1220 std::optional<std::int64_t> orderedValue) { in CheckOrderedDependClause() argument1228 if (orderedValue != numVar) { in CheckOrderedDependClause()1702 if (const auto orderedValue{GetIntValue(orderedClause.v)}) { in Leave() local1704 if (*orderedValue > 0 && *orderedValue < *collapseValue) { in Leave()
254 void CheckOrderedDependClause(std::optional<std::int64_t> orderedValue);