[PPL-devel] [GIT] ppl/ppl(pip): Uncommented methods for the C interface for the PIP_Problem.

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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();