21   simplex.addInequality({1, -1, 0});  in TEST()
26   simplex.addInequality({-1, 1, -1});  in TEST()
36   simplex.addInequality({1, -1}); // x >= 1.  in TEST()
46   simplex.addInequality(coeffs);  in expectInequalityMakesSetEmpty()
69       simplex.addInequality(coeffs[(run + i) % 4]);  in TEST()
87     simplex.addInequality(ineq);  in simplexFromConstraints()
222   simplex.addInequality({0}); // 0 >= 0.  in TEST()
264   simplex.addInequality({1, 0}); // x >= 0.  in TEST()
272   simplex.addInequality({0, 0}); // 0x >= 0.  in TEST()
280   simplex.addInequality({-1, 0}); // x <= 0.  in TEST()
292   simplex.addInequality({-1, 16, 0, 15}); // 15 - (u - 16v) >= 0.  in TEST()
293   simplex.addInequality({1, -16, 0, 0});  //      (u - 16v) >= 0.  in TEST()
306   simplex.addInequality({0, -1, 0, 1}); // [0]: y <= 1.  in TEST()
307   simplex.addInequality({-1, 0, 8, 7}); // [1]: 8z >= x - 7.  in TEST()
308   simplex.addInequality({1, 0, -8, 0}); // [2]: 8z <= x.  in TEST()
309   simplex.addInequality({0, 1, 0, 0});  // [3]: y >= 0.  in TEST()
310   simplex.addInequality({-1, 0, 8, 7}); // [4]: 8z >= 7 - x.  in TEST()
311   simplex.addInequality({1, 0, -8, 0}); // [5]: 8z <= x.  in TEST()
312   simplex.addInequality({0, 1, 0, 0});  // [6]: y >= 0.  in TEST()
313   simplex.addInequality({0, -1, 0, 1}); // [7]: y <= 1.  in TEST()
330   simplex.addInequality({0, -1, 0, 1}); // [0]: y <= 1.  in TEST()
331   simplex.addInequality({1, 0, 0, -1}); // [1]: x >= 1.  in TEST()
332   simplex.addInequality({-1, 0, 0, 2}); // [2]: x <= 2.  in TEST()
333   simplex.addInequality({-1, 0, 2, 7}); // [3]: 2z >= x - 7.  in TEST()
334   simplex.addInequality({1, 0, -2, 0}); // [4]: 2z <= x.  in TEST()
335   simplex.addInequality({0, 1, 0, 0});  // [5]: y >= 0.  in TEST()
336   simplex.addInequality({0, 1, -2, 1}); // [6]: y >= 2z - 1.  in TEST()
337   simplex.addInequality({-1, 1, 0, 1}); // [7]: y >= x - 1.  in TEST()
359   simplex.addInequality({1, 0, 0, 0});    // [0]: x >= 0.  in TEST()
360   simplex.addInequality({-32, 0, 1, -1}); // [1]: 32x <= N - 1.  in TEST()
361   simplex.addInequality({0, 1, 0, 0});    // [2]: y >= 0.  in TEST()
362   simplex.addInequality({-32, 1, 0, 0});  // [3]: y >= 32x.  in TEST()
363   simplex.addInequality({32, -1, 0, 31}); // [4]: y <= 32x + 31.  in TEST()
364   simplex.addInequality({0, -1, 1, -1});  // [5]: y <= N - 1.  in TEST()
378   simplex.addInequality({1, -1}); // x >= 1.  in TEST()
379   simplex.addInequality({1, 0});  // x >= 0.  in TEST()