remove unused getSplitCnt

diff --git a/lib/vpsc/csolve_VPSC.cpp b/lib/vpsc/csolve_VPSC.cpp
index 9c38c074150b3f1b41066161715a1adc924e2957..f1305bad2895669eefd0e3af1229194fd052f7ad 100644 (file)
--- a/lib/vpsc/csolve_VPSC.cpp
+++ b/lib/vpsc/csolve_VPSC.cpp
@@ -75,9 +75,6 @@ void satisfyVPSC(VPSC* vpsc) {
                std::exit(1);
        }
 }
-int getSplitCnt(IncVPSC *vpsc) {
-       return vpsc->splitCnt;
-}
 void deleteVPSC(VPSC *vpsc) {
        assert(vpsc!=nullptr);
        delete vpsc;

diff --git a/lib/vpsc/csolve_VPSC.h b/lib/vpsc/csolve_VPSC.h
index 3b5abcd519843d4104c0fc8f78725020f8655838..a5deac8959bd049ae9bb00283aa62f98eee9c4ba 100644 (file)
--- a/lib/vpsc/csolve_VPSC.h
+++ b/lib/vpsc/csolve_VPSC.h
@@ -50,7 +50,6 @@ void satisfyVPSC(VPSC*);
 void solveVPSC(VPSC*);
 typedef struct IncVPSC IncVPSC;
 VPSC* newIncVPSC(int n, Variable* vs[], int m, Constraint* cs[]);
-int getSplitCnt(IncVPSC *vpsc);
 #ifdef __cplusplus
 }
 #endif