October 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(pip): Added missing headers for ppl_PIP_Problem_solve and
by Patricia Hill 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: bea0281e38c5ddbe7ffc5cdc3cf4d0bddb2f2e60 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bea0281e38c5… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Thu Oct 8 18:52:08 2009 +0100 Added missing headers for ppl_PIP_Problem_solve and ppl_PIP_Problem_optimizing_solution. Variable names made consistent with the domain. Documentation for ppl_PPI_Problem_is_satisfiable() improved. --- interfaces/C/ppl_c_header.h | 147 ++++++++++++++++++++++++++---------------- 1 files changed, 91 insertions(+), 56 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=bea0281e…

1 0

[GIT] ppl/ppl(pip): Removed trailing whitespaces.
by François Galea 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: c7d8d6dde6e8a291348bb25ae07cacbb4eaa1926 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c7d8d6dde6e8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 16:27:27 2009 +0200 Removed trailing whitespaces. --- src/PIP_Problem.cc | 2 +- src/PIP_Problem.defs.hh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index cb1b36a..ffb093e 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -307,7 +307,7 @@ PPL::PIP_Problem::clear() { input_cs.clear(); first_pending_constraint = 0; parameters.clear(); - initial_context.clear(); + initial_context.clear(); } void diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index a8317bc..beb291b 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -330,7 +330,7 @@ private: /*! \brief The initial context - + Contains problem constraints on parameters only */ Matrix initial_context;

1 0

[GIT] ppl/ppl(pip): Uncommented methods for the C interface for the PIP_Problem.
by Patricia Hill 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: 2e838be1d03b2a2d0a83adf9d66d8674bb3fd511 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e838be1d03b… Author: Patricia Hill <p.m.hill(a)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();

1 0

[GIT] ppl/ppl(pip): Implemeted missing methods.
by François Galea 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: 5108da19b0b8c478b34865ee5f38b65c71a82874 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5108da19b0b8… Author: François Galea <francois.galea(a)uvsq.fr> Date: Thu Oct 8 15:51:42 2009 +0200 Implemeted missing methods. --- src/PIP_Problem.cc | 20 ++++++++++++++++++++ 1 files changed, 20 insertions(+), 0 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index d8bdd2c..cb1b36a 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -295,6 +295,22 @@ PPL::PIP_Problem::ascii_load(std::istream& s) { } void +PPL::PIP_Problem::clear() { + external_space_dim = 0; + internal_space_dim = 0; + status = PARTIALLY_SATISFIABLE; + if (current_solution != 0) { + delete current_solution; + current_solution = 0; + } + initialized = false; + input_cs.clear(); + first_pending_constraint = 0; + parameters.clear(); + initial_context.clear(); +} + +void PPL::PIP_Problem ::add_space_dimensions_and_embed(const dimension_type m_pip_vars, const dimension_type m_pip_params) { @@ -351,3 +367,7 @@ PPL::PIP_Problem::add_constraints(const Constraint_System &cs) { add_constraint(*c); } +bool +PPL::PIP_Problem::is_satisfiable() const { + return status == OPTIMIZED; +}

1 0

[GIT] ppl/ppl(pip): Uncommented C interface code for add_constraint(),
by Patricia Hill 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: 7a7f65b71230e9531e74414e3fbc6f57b775b2cd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7f65b71230… Author: Patricia Hill <p.m.hill(a)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;

1 0

[GIT] ppl/ppl(pip): Implemented missing methods.
by François Galea 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: abd54a672679643b404fd3019528e2d9382d6873 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abd54a672679… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:44:37 2009 +0200 Implemented missing methods. --- src/PIP_Problem.cc | 28 ++++++++++++++++++++++++++++ src/PIP_Tree.cc | 1 - 2 files changed, 28 insertions(+), 1 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 7042940..d8bdd2c 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -323,3 +323,31 @@ PPL::PIP_Problem status = PARTIALLY_SATISFIABLE; PPL_ASSERT(OK()); } + +void +PPL::PIP_Problem::add_constraint(const Constraint& c) { + if (c.space_dimension() > external_space_dim) { + std::ostringstream s; + s << "PPL::PIP_Problem::add_constraint(c):\n" + << "dim == "<< external_space_dim << " and c.space_dimension() ==" + << " " << c.space_dimension() << " are dimension" + "incompatible."; + throw std::invalid_argument(s.str()); + } + + // Check the constraint. + if (c.is_strict_inequality()) + throw std::invalid_argument("PPL::PIP_Problem::add_constraint(c):\n" + "constraint c is" + "a strict inequality constraint."); + input_cs.push_back(c); +} + +void +PPL::PIP_Problem::add_constraints(const Constraint_System &cs) { + Constraint_System::const_iterator c; + Constraint_System::const_iterator end = cs.end(); + for (c=cs.begin(); c!=end; ++c) + add_constraint(*c); +} + diff --git a/src/PIP_Tree.cc b/src/PIP_Tree.cc index 5e6bcd1..b4c208e 100644 --- a/src/PIP_Tree.cc +++ b/src/PIP_Tree.cc @@ -22,7 +22,6 @@ site: http://www.cs.unipr.it/ppl/ . */ #include <ppl-config.h> #include "PIP_Tree.defs.hh" -#include "PIP_Problem.defs.hh" #include <algorithm>

1 0

[GIT] ppl/ppl(pip): Fixed memory leak.
by François Galea 08 Oct '09

08 Oct '09

Module: ppl/ppl Branch: pip Commit: 0f6fb91d81ebec0f5ed260643bb9c8821f80b341 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f6fb91d81eb… Author: François Galea <francois.galea(a)uvsq.fr> Date: Wed Oct 7 20:33:36 2009 +0200 Fixed memory leak. --- src/PIP_Problem.cc | 6 ++++++ src/PIP_Problem.inlines.hh | 4 ---- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/src/PIP_Problem.cc b/src/PIP_Problem.cc index 225372f..7042940 100644 --- a/src/PIP_Problem.cc +++ b/src/PIP_Problem.cc @@ -60,6 +60,12 @@ PPL::PIP_Problem::PIP_Problem(const PIP_Problem &y) parameters(y.parameters), initial_context(y.initial_context) { PPL_ASSERT(OK()); + //FIXME: must also copy the solution tree +} + +PPL::PIP_Problem::~PIP_Problem() { + if (current_solution != 0) + delete current_solution; } PPL::PIP_Problem_Status diff --git a/src/PIP_Problem.inlines.hh b/src/PIP_Problem.inlines.hh index ae6b5c2..44cbc94 100644 --- a/src/PIP_Problem.inlines.hh +++ b/src/PIP_Problem.inlines.hh @@ -25,10 +25,6 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace Parma_Polyhedra_Library { -inline -PIP_Problem::~PIP_Problem() { -} - inline dimension_type PIP_Problem::space_dimension() const { return external_space_dim;

1 0

[GIT] ppl/ppl(pip): Commented PIP_Problem code in the C interface that requires methods
by Patricia Hill 07 Oct '09

07 Oct '09

Module: ppl/ppl Branch: pip Commit: fe3d8d0b4d10bc3239e3d3967d151650162ce101 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe3d8d0b4d10… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 17:05:22 2009 +0100 Commented PIP_Problem code in the C interface that requires methods in the C++ interface that are not yet implemented. Added declarations for printing the PIP_Problem and PIP_Tree in the tests. --- interfaces/C/ppl_c_implementation_common.cc | 8 ++++---- interfaces/C/tests/print_to_buffer.c | 2 ++ interfaces/C/tests/print_to_buffer.h | 2 ++ 3 files changed, 8 insertions(+), 4 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index c30555f..bac5f38 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2115,7 +2115,7 @@ ppl_delete_PIP_Problem(ppl_const_PIP_Problem_t pip) try { return 0; } CATCH_ALL - +/* int ppl_assign_PIP_Problem_from_PIP_Problem(ppl_PIP_Problem_t dst, ppl_const_PIP_Problem_t src) try { @@ -2125,7 +2125,7 @@ ppl_assign_PIP_Problem_from_PIP_Problem(ppl_PIP_Problem_t dst, return 0; } CATCH_ALL - +*/ int ppl_PIP_Problem_space_dimension(ppl_const_PIP_Problem_t pip, ppl_dimension_type* m) try { @@ -2180,13 +2180,13 @@ ppl_PIP_Problem_constraint_at_index(ppl_const_PIP_Problem_t pip, } 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 { @@ -2212,7 +2212,7 @@ 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(); diff --git a/interfaces/C/tests/print_to_buffer.c b/interfaces/C/tests/print_to_buffer.c index bac2557..2c5a3f5 100644 --- a/interfaces/C/tests/print_to_buffer.c +++ b/interfaces/C/tests/print_to_buffer.c @@ -63,3 +63,5 @@ DEFINE_PRINT_TO_BUFFER(Grid_Generator) DEFINE_PRINT_TO_BUFFER(Grid_Generator_System) DEFINE_PRINT_TO_BUFFER(MIP_Problem) + +DEFINE_PRINT_TO_BUFFER(PIP_Problem) diff --git a/interfaces/C/tests/print_to_buffer.h b/interfaces/C/tests/print_to_buffer.h index e1ed2b2..a80e523 100644 --- a/interfaces/C/tests/print_to_buffer.h +++ b/interfaces/C/tests/print_to_buffer.h @@ -70,6 +70,8 @@ DECLARE_PRINT_TO_BUFFER(Grid_Generator_System) DECLARE_PRINT_TO_BUFFER(MIP_Problem) +DECLARE_PRINT_TO_BUFFER(PIP_Problem) + #ifdef __cplusplus } /* extern "C" */ #endif

1 0

[GIT] ppl/ppl(floating_point): Removed a comment.
by Fabio Biselli 07 Oct '09

07 Oct '09

Module: ppl/ppl Branch: floating_point Commit: b5f92dc9fe7657efa966ebd1bf7d588ec07533be URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5f92dc9fe76… Author: Fabio Biselli <fabio.biselli(a)studenti.unipr.it> Date: Wed Oct 7 19:41:56 2009 +0200 Removed a comment. --- src/Float.inlines.hh | 1 - 1 files changed, 0 insertions(+), 1 deletions(-) diff --git a/src/Float.inlines.hh b/src/Float.inlines.hh index 9b01fa5..cb75c97 100644 --- a/src/Float.inlines.hh +++ b/src/Float.inlines.hh @@ -285,7 +285,6 @@ float_ibm_single::build(bool negative, mpz_t mantissa, int exponent) { word |= static_cast<uint32_t>(exponent + EXPONENT_BIAS) << MANTISSA_BITS; } - ///asasdasda inline int float_intel_double_extended::is_inf() const { if (lsp != LSP_INF)

1 0

[GIT] ppl/ppl(pip): More consistent naming of variables.
by Patricia Hill 07 Oct '09

07 Oct '09

Module: ppl/ppl Branch: pip Commit: 1e726a3af13dae234f3dcffd9a046635dec1b7ee URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1e726a3af13d… Author: Patricia Hill <p.m.hill(a)leeds.ac.uk> Date: Wed Oct 7 16:10:17 2009 +0100 More consistent naming of variables. --- interfaces/C/ppl_c_implementation_common.cc | 72 +++++++++++++------------- 1 files changed, 36 insertions(+), 36 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index f5c4a38..c30555f 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -2093,25 +2093,25 @@ ppl_MIP_Problem_OK(ppl_const_MIP_Problem_t mip) try { CATCH_ALL int -ppl_new_PIP_Problem_from_space_dimension(ppl_PIP_Problem_t* pmip, +ppl_new_PIP_Problem_from_space_dimension(ppl_PIP_Problem_t* ppip, ppl_dimension_type d) try { - *pmip = to_nonconst(new PIP_Problem(d)); + *ppip = to_nonconst(new PIP_Problem(d)); return 0; } CATCH_ALL int -ppl_new_PIP_Problem_from_PIP_Problem(ppl_PIP_Problem_t* pmip, - ppl_const_PIP_Problem_t mip) try { - const PIP_Problem& mmip = *to_const(mip); - *pmip = to_nonconst(new PIP_Problem(mmip)); +ppl_new_PIP_Problem_from_PIP_Problem(ppl_PIP_Problem_t* dpip, + ppl_const_PIP_Problem_t pip) try { + const PIP_Problem& spip = *to_const(pip); + *dpip = to_nonconst(new PIP_Problem(spip)); return 0; } CATCH_ALL int -ppl_delete_PIP_Problem(ppl_const_PIP_Problem_t mip) try { - delete to_const(mip); +ppl_delete_PIP_Problem(ppl_const_PIP_Problem_t pip) try { + delete to_const(pip); return 0; } CATCH_ALL @@ -2127,26 +2127,26 @@ ppl_assign_PIP_Problem_from_PIP_Problem(ppl_PIP_Problem_t dst, CATCH_ALL int -ppl_PIP_Problem_space_dimension(ppl_const_PIP_Problem_t mip, +ppl_PIP_Problem_space_dimension(ppl_const_PIP_Problem_t pip, ppl_dimension_type* m) try { - *m = to_const(mip)->space_dimension(); + *m = to_const(pip)->space_dimension(); return 0; } CATCH_ALL int -ppl_PIP_Problem_number_of_parameter_space_dimensions(ppl_const_PIP_Problem_t mip, +ppl_PIP_Problem_number_of_parameter_space_dimensions(ppl_const_PIP_Problem_t pip, ppl_dimension_type* m) try { - const PIP_Problem& mmip = *to_const(mip); - *m = mmip.parameter_space_dimensions().size(); + const PIP_Problem& ppip = *to_const(pip); + *m = ppip.parameter_space_dimensions().size(); return 0; } CATCH_ALL int -ppl_PIP_Problem_parameter_space_dimensions(ppl_const_PIP_Problem_t mip, +ppl_PIP_Problem_parameter_space_dimensions(ppl_const_PIP_Problem_t pip, ppl_dimension_type ds[]) try { - const Variables_Set& vars = to_const(mip)->parameter_space_dimensions(); + const Variables_Set& vars = to_const(pip)->parameter_space_dimensions(); ppl_dimension_type* ds_i = ds; for (Variables_Set::const_iterator v_iter = vars.begin(), v_end = vars.end(); v_iter != v_end; ++v_iter, ++ds_i) @@ -2156,66 +2156,66 @@ ppl_PIP_Problem_parameter_space_dimensions(ppl_const_PIP_Problem_t mip, CATCH_ALL int -ppl_PIP_Problem_number_of_constraints(ppl_const_PIP_Problem_t mip, +ppl_PIP_Problem_number_of_constraints(ppl_const_PIP_Problem_t pip, ppl_dimension_type* m) try { - const PIP_Problem& mmip = *to_const(mip); - *m = mmip.constraints_end() - mmip.constraints_begin(); + const PIP_Problem& ppip = *to_const(pip); + *m = ppip.constraints_end() - ppip.constraints_begin(); return 0; } CATCH_ALL int -ppl_PIP_Problem_constraint_at_index(ppl_const_PIP_Problem_t mip, +ppl_PIP_Problem_constraint_at_index(ppl_const_PIP_Problem_t pip, ppl_dimension_type i, ppl_const_Constraint_t* pc) try { #ifndef NDEBUG ppl_dimension_type num_constraints; - ppl_PIP_Problem_number_of_constraints(mip, &num_constraints); + ppl_PIP_Problem_number_of_constraints(pip, &num_constraints); assert(i < num_constraints); #endif - const PIP_Problem& mmip = *to_const(mip); - const Constraint& c = *(mmip.constraints_begin() + i); + const PIP_Problem& ppip = *to_const(pip); + const Constraint& c = *(ppip.constraints_begin() + i); *pc = to_const(&c); return 0; } CATCH_ALL int -ppl_PIP_Problem_clear(ppl_PIP_Problem_t mip) try { - to_nonconst(mip)->clear(); +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 mip, +ppl_PIP_Problem_add_constraint(ppl_PIP_Problem_t pip, ppl_const_Constraint_t c) try { const Constraint& cc = *to_const(c); - PIP_Problem& mmip = *to_nonconst(mip); - mmip.add_constraint(cc); + PIP_Problem& ppip = *to_nonconst(pip); + ppip.add_constraint(cc); return 0; } CATCH_ALL int -ppl_PIP_Problem_add_constraints(ppl_PIP_Problem_t mip, +ppl_PIP_Problem_add_constraints(ppl_PIP_Problem_t pip, ppl_const_Constraint_System_t cs) try { const Constraint_System& ccs = *to_const(cs); - PIP_Problem& mmip = *to_nonconst(mip); - mmip.add_constraints(ccs); + PIP_Problem& ppip = *to_nonconst(pip); + ppip.add_constraints(ccs); return 0; } CATCH_ALL int -ppl_PIP_Problem_is_satisfiable(ppl_const_PIP_Problem_t mip) try { - return to_const(mip)->is_satisfiable() ? 1 : 0; +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 mip) try { - return to_const(mip)->solve(); +ppl_PIP_Problem_solve(ppl_const_PIP_Problem_t pip) try { + return to_const(pip)->solve(); } CATCH_ALL @@ -2236,8 +2236,8 @@ ppl_PIP_Problem_optimizing_solution(ppl_const_PIP_Problem_t pip, CATCH_ALL int -ppl_PIP_Problem_OK(ppl_const_PIP_Problem_t mip) try { - return to_const(mip)->OK() ? 1 : 0; +ppl_PIP_Problem_OK(ppl_const_PIP_Problem_t pip) try { + return to_const(pip)->OK() ? 1 : 0; } CATCH_ALL

1 0