Module: ppl/ppl Branch: pip Commit: 2e838be1d03b2a2d0a83adf9d66d8674bb3fd511 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b2...

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Oct 8 16:18:22 2009 +0100

Uncommented methods for the C interface for the PIP_Problem.

---

interfaces/C/ppl_c_implementation_common.cc | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index eb8c1dd..73a1816 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2179,14 +2179,12 @@ ppl_PIP_Problem_constraint_at_index(ppl_const_PIP_Problem_t pip, return 0; } CATCH_ALL -/* int ppl_PIP_Problem_clear(ppl_PIP_Problem_t pip) try { to_nonconst(pip)->clear(); return 0; } CATCH_ALL -*/ int ppl_PIP_Problem_add_constraint(ppl_PIP_Problem_t pip, ppl_const_Constraint_t c) try { @@ -2206,13 +2204,11 @@ ppl_PIP_Problem_add_constraints(ppl_PIP_Problem_t pip, return 0; } CATCH_ALL -/* int ppl_PIP_Problem_is_satisfiable(ppl_const_PIP_Problem_t pip) try { return to_const(pip)->is_satisfiable() ? 1 : 0; } CATCH_ALL -*/ int ppl_PIP_Problem_solve(ppl_const_PIP_Problem_t pip) try { return to_const(pip)->solve();