From b20224bc9810bb1557ca29729871ec1f061b1a82 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 4 Oct 2015 15:21:17 +0100
Subject: [PATCH] Removed or commented unused functions and variables.
---
src/test/simplex.cpp | 52 ++++++++++++++++++++++----------------------
1 file changed, 26 insertions(+), 26 deletions(-)
diff --git a/src/test/simplex.cpp b/src/test/simplex.cpp
index 61ab7180b..3a5e58a4b 100644
--- a/src/test/simplex.cpp
+++ b/src/test/simplex.cpp
@@ -24,35 +24,35 @@ static vector<R> vec(int i, int j) {
return nv;
}
-static vector<R> vec(int i, int j, int k) {
- vector<R> nv = vec(i, j);
- nv.push_back(R(k));
- return nv;
-}
+// static vector<R> vec(int i, int j, int k) {
+// vector<R> nv = vec(i, j);
+// nv.push_back(R(k));
+// return nv;
+// }
-static vector<R> vec(int i, int j, int k, int l) {
- vector<R> nv = vec(i, j, k);
- nv.push_back(R(l));
- return nv;
-}
+// static vector<R> vec(int i, int j, int k, int l) {
+// vector<R> nv = vec(i, j, k);
+// nv.push_back(R(l));
+// return nv;
+// }
-static vector<R> vec(int i, int j, int k, int l, int x) {
- vector<R> nv = vec(i, j, k, l);
- nv.push_back(R(x));
- return nv;
-}
+/// static vector<R> vec(int i, int j, int k, int l, int x) {
+/// vector<R> nv = vec(i, j, k, l);
+/// nv.push_back(R(x));
+/// return nv;
+/// }
-static vector<R> vec(int i, int j, int k, int l, int x, int y) {
- vector<R> nv = vec(i, j, k, l, x);
- nv.push_back(R(y));
- return nv;
-}
+// static vector<R> vec(int i, int j, int k, int l, int x, int y) {
+// vector<R> nv = vec(i, j, k, l, x);
+// nv.push_back(R(y));
+// return nv;
+// }
-static vector<R> vec(int i, int j, int k, int l, int x, int y, int z) {
- vector<R> nv = vec(i, j, k, l, x, y);
- nv.push_back(R(z));
- return nv;
-}
+// static vector<R> vec(int i, int j, int k, int l, int x, int y, int z) {
+// vector<R> nv = vec(i, j, k, l, x, y);
+// nv.push_back(R(z));
+// return nv;
+// }
@@ -148,7 +148,7 @@ void tst_simplex() {
coeffs.push_back(mpz(i+1));
}
- Simplex::row r = S.add_row(1, coeffs.size(), vars.c_ptr(), coeffs.c_ptr());
+ // Simplex::row r = S.add_row(1, coeffs.size(), vars.c_ptr(), coeffs.c_ptr());
is_sat = S.make_feasible();
std::cout << "feasible: " << is_sat << "\n";
S.display(std::cout);