summaryrefslogtreecommitdiffhomepage
path: root/ir/lpp
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2015-07-19 16:22:13 +0200
committerChristoph Mallon <mallon@cs.uni-saarland.de>2015-07-19 23:35:36 +0200
commit3e62d208cf42b5ebaee21441607f870ec01ff0ba (patch)
tree05badf61b594efc013faf2ed0b988c44f4ed2f9c /ir/lpp
parent6e8e5296ab17b4deb2a4796fe5345764bdc9eee2 (diff)
Remove unused copy statistics.
Diffstat (limited to 'ir/lpp')
-rw-r--r--ir/lpp/lpp.h10
1 files changed, 0 insertions, 10 deletions
diff --git a/ir/lpp/lpp.h b/ir/lpp/lpp.h
index a44a83b..3df0f70 100644
--- a/ir/lpp/lpp.h
+++ b/ir/lpp/lpp.h
@@ -291,16 +291,6 @@ static inline lpp_sol_state_t lpp_get_sol_state(const lpp_t *lpp)
return lpp->sol_state;
}
-static inline int lpp_get_var_count(const lpp_t *lpp)
-{
- return lpp->var_next-1;
-}
-
-static inline int lpp_get_cst_count(const lpp_t *lpp)
-{
- return lpp->cst_next-1;
-}
-
static inline double lpp_get_var_sol(const lpp_t *lpp, int idx)
{
return lpp->vars[idx]->value;