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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Oct 8 07:02:38 2009 +0100

Uncommented C interface code for add_constraint(), add_constraints() and operator=().

---

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

diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index bac5f38..eb8c1dd 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2179,7 +2179,6 @@ 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 { @@ -2187,6 +2186,7 @@ ppl_PIP_Problem_clear(ppl_PIP_Problem_t pip) try { return 0; } CATCH_ALL +*/ int ppl_PIP_Problem_add_constraint(ppl_PIP_Problem_t pip, ppl_const_Constraint_t c) try { @@ -2206,7 +2206,7 @@ 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;