@@ -1087,14 +1087,15 @@ TEST(IntegerPolyhedronTest, negativeDividends) {
1087
1087
checkDivisionRepresentation (poly1, divisions, denoms);
1088
1088
}
1089
1089
1090
- void expectRationalLexMin (const IntegerPolyhedron &poly,
1091
- ArrayRef<Fraction> min) {
1090
+ static void expectRationalLexMin (const IntegerPolyhedron &poly,
1091
+ ArrayRef<Fraction> min) {
1092
1092
auto lexMin = poly.findRationalLexMin ();
1093
1093
ASSERT_TRUE (lexMin.isBounded ());
1094
1094
EXPECT_EQ (ArrayRef<Fraction>(*lexMin), min);
1095
1095
}
1096
1096
1097
- void expectNoRationalLexMin (OptimumKind kind, const IntegerPolyhedron &poly) {
1097
+ static void expectNoRationalLexMin (OptimumKind kind,
1098
+ const IntegerPolyhedron &poly) {
1098
1099
ASSERT_NE (kind, OptimumKind::Bounded)
1099
1100
<< " Use expectRationalLexMin for bounded min" ;
1100
1101
EXPECT_EQ (poly.findRationalLexMin ().getKind (), kind);
@@ -1167,13 +1168,15 @@ TEST(IntegerPolyhedronTest, findRationalLexMin) {
1167
1168
parseIntegerPolyhedron (" (x) : (2*x >= 0, -x - 1 >= 0)" ));
1168
1169
}
1169
1170
1170
- void expectIntegerLexMin (const IntegerPolyhedron &poly, ArrayRef<int64_t > min) {
1171
+ static void expectIntegerLexMin (const IntegerPolyhedron &poly,
1172
+ ArrayRef<int64_t > min) {
1171
1173
MaybeOptimum<SmallVector<DynamicAPInt, 8 >> lexMin = poly.findIntegerLexMin ();
1172
1174
ASSERT_TRUE (lexMin.isBounded ());
1173
1175
EXPECT_EQ (*lexMin, getDynamicAPIntVec (min));
1174
1176
}
1175
1177
1176
- void expectNoIntegerLexMin (OptimumKind kind, const IntegerPolyhedron &poly) {
1178
+ static void expectNoIntegerLexMin (OptimumKind kind,
1179
+ const IntegerPolyhedron &poly) {
1177
1180
ASSERT_NE (kind, OptimumKind::Bounded)
1178
1181
<< " Use expectRationalLexMin for bounded min" ;
1179
1182
EXPECT_EQ (poly.findRationalLexMin ().getKind (), kind);
@@ -1191,7 +1194,7 @@ TEST(IntegerPolyhedronTest, findIntegerLexMin) {
1191
1194
" >= 0, -11*z + 5*y - 3*x + 7 >= 0)" ));
1192
1195
}
1193
1196
1194
- void expectSymbolicIntegerLexMin (
1197
+ static void expectSymbolicIntegerLexMin (
1195
1198
StringRef polyStr,
1196
1199
ArrayRef<std::pair<StringRef, StringRef>> expectedLexminRepr,
1197
1200
ArrayRef<StringRef> expectedUnboundedDomainRepr) {
@@ -1218,8 +1221,9 @@ void expectSymbolicIntegerLexMin(
1218
1221
}
1219
1222
}
1220
1223
1221
- void expectSymbolicIntegerLexMin (
1222
- StringRef polyStr, ArrayRef<std::pair<StringRef, StringRef>> result) {
1224
+ static void
1225
+ expectSymbolicIntegerLexMin (StringRef polyStr,
1226
+ ArrayRef<std::pair<StringRef, StringRef>> result) {
1223
1227
expectSymbolicIntegerLexMin (polyStr, result, {});
1224
1228
}
1225
1229
@@ -1463,8 +1467,8 @@ TEST(IntegerPolyhedronTest, computeVolume) {
1463
1467
/* trueVolume=*/ {}, /* resultBound=*/ {});
1464
1468
}
1465
1469
1466
- bool containsPointNoLocal (const IntegerPolyhedron &poly,
1467
- ArrayRef<int64_t > point) {
1470
+ static bool containsPointNoLocal (const IntegerPolyhedron &poly,
1471
+ ArrayRef<int64_t > point) {
1468
1472
return poly.containsPointNoLocal (getDynamicAPIntVec (point)).has_value ();
1469
1473
}
1470
1474
0 commit comments