June 2009 - PPL-devel - BUGSENG Mailman

PPL Library capabilities
by Michael Kalugin 22 Jun '09

22 Jun '09

Hello We have polyhedral representation in our research work and use your library(PPL) through Java interface. We have the following problem: we have a solution set described by a constraint system. We want to obtain several different arbitrary integer points from this set. Is there a feture in PPL that allows to solve this problem? And if there is such feature can we use it through Java interface? Best regards, Michael Kalugin

2 1

[GIT] ppl/w3ppl(master): URL added.
by Roberto Bagnara 20 Jun '09

20 Jun '09

Module: ppl/w3ppl Branch: master Commit: 3653940223445eeab95eaba36870361bd3cf2f1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=3653940223… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:57:24 2009 +0200 URL added. --- htdocs/Documentation/ppl_citations.bib | 4 +++- 1 files changed, 3 insertions(+), 1 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 78aa524..562223a 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -2002,7 +2002,9 @@ Pages = "i169--i178", Year = 2009, Note = "Paper accepted for presentation at the 2009 ISMB/ECCB Conference, - Stockholm, Sweden, June 27--July 2, 2009", + Stockholm, Sweden, June 27--July 2, 2009. + Available at + \url{http://bioinformatics.oxfordjournals.org/cgi/content/abstract/25/12/i169}", Abstract = "\textbf{Motivation:} Robustness is the capacity of a system to maintain a function in the face of perturbations. It is essential for the correct

1 0

[GIT] ppl/w3ppl(master): Added RizkBFS09.
by Roberto Bagnara 20 Jun '09

20 Jun '09

Module: ppl/w3ppl Branch: master Commit: 988de0b3db74f9e9c9ade6e1833667b32b949550 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=988de0b3db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sat Jun 20 08:52:00 2009 +0200 Added RizkBFS09. --- htdocs/Documentation/ppl_citations.bib | 40 ++++++++++++++++++++++++++++++++ 1 files changed, 40 insertions(+), 0 deletions(-) diff --git a/htdocs/Documentation/ppl_citations.bib b/htdocs/Documentation/ppl_citations.bib index 580609f..78aa524 100644 --- a/htdocs/Documentation/ppl_citations.bib +++ b/htdocs/Documentation/ppl_citations.bib @@ -1991,6 +1991,46 @@ cost." } +@Article{RizkBFS09, + Author = "A. Rizk and G. Batt and F. Fages and S. Soliman", + Title = "A General Computational Method for Robustness Analysis + with Applications to Synthetic Gene Networks", + Journal = "Bioinformatics", + Publisher = "Oxford University Press", + Volume = 25, + Number = "12", + Pages = "i169--i178", + Year = 2009, + Note = "Paper accepted for presentation at the 2009 ISMB/ECCB Conference, + Stockholm, Sweden, June 27--July 2, 2009", + Abstract = "\textbf{Motivation:} Robustness is the capacity of a + system to maintain a function in the face of + perturbations. It is essential for the correct + functioning of natural and engineered biological + systems. Robustness is generally defined in an \emph{ad hoc}, + problem-dependent manner, thus hampering the fruitful + development of a theory of biological robustness, + recently advocated by Kitano. + + \textbf{Results:} In this article, we propose a general + definition of robustness that applies to any biological + function expressible in temporal logic LTL (linear + temporal logic), and to broad model classes and + perturbation types. Moreover, we propose a computational + approach and an implementation in BIOCHAM 2.8 for the + automated estimation of the robustness of a given + behavior with respect to a given set of + perturbations. The applicability and biological relevance + of our approach is demonstrated by testing and improving + the robustness of the timed behavior of a synthetic + transcriptional cascade that could be used as a + biological timer for synthetic biology applications. + + \textbf{Availability:} Version 2.8 of BIOCHAM and the + transcriptional cascade model are available at + \url{http://contraintes.inria.fr/BIOCHAM/}" +} + @Inproceedings{SankaranarayananIG07, Author = "S. Sankaranarayanan and F. Ivancic and A. Gupta", Title = "Program Analysis Using Symbolic Ranges",

1 0

Matlab interface of PPL
by Truong Nghiem 19 Jun '09

19 Jun '09

Hi all, I'm impressed by the features and the performance of PPL. However, my main working environment is Matlab. I wonder if there is any Matlab interface of PPL? I can see there are interfaces to C, Java, OCaml..., but not Matlab. Also, an interface to Python would be very useful because I haven't known a good polyhedra library for Python while it's a popular programming language for scientific computing. Thanks. -- Truong Nghiem PhD Candidate Electrical & Systems Engineering, GRASP Lab. University of Pennsylvania Web: www.seas.upenn.edu/~nghiem

2 1

[GIT] ppl/ppl(pip): Space dimensions cannot change status: they are either vars or parameters.
by Enea Zaffanella 19 Jun '09

19 Jun '09

Module: ppl/ppl Branch: pip Commit: 1f2678a35a2e13b22456a380a9e0b974939232a9 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1f2678a35a2e… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Fri Jun 19 14:56:26 2009 +0200 Space dimensions cannot change status: they are either vars or parameters. --- src/PIP_Problem.defs.hh | 106 ++++++++++++++++++++++++++++------------------ 1 files changed, 64 insertions(+), 42 deletions(-) diff --git a/src/PIP_Problem.defs.hh b/src/PIP_Problem.defs.hh index ab8e26d..adf56a3 100644 --- a/src/PIP_Problem.defs.hh +++ b/src/PIP_Problem.defs.hh @@ -131,31 +131,6 @@ public: In first, In last, const Variables_Set& p_vars); - /*! \brief - Builds a PIP problem having space dimension \p dim - from the sequence of constraints in the range - \f$[\mathrm{first}, \mathrm{last})\f$. - - \param dim - The dimension of the vector space enclosing \p *this. - - \param first - An input iterator to the start of the sequence of constraints. - - \param last - A past-the-end input iterator to the sequence of constraints. - - \exception std::length_error - Thrown if \p dim exceeds <CODE>max_space_dimension()</CODE>. - - \exception std::invalid_argument - Thrown if a constraint in the sequence is a strict inequality - or if the space dimension of a constraint is strictly greater - than \p dim. - */ - template <typename In> - PIP_Problem(dimension_type dim, In first, In last); - //! Ordinary copy-constructor. PIP_Problem(const PIP_Problem& y); @@ -207,30 +182,29 @@ public: void clear(); /*! \brief - Adds \p m new space dimensions and embeds the old PIP problem - in the new vector space. + Adds <CODE>m_pip_vars + m_pip_params</CODE> new space dimensions + and embeds the old PIP problem in the new vector space. - \param m - The number of dimensions to add. + \param m_pip_vars + The number of space dimensions to add that are interpreted as + PIP problem variables (i.e., non parameters). These are added + \e before adding the \p m_pip_params parameters. + + \param m_pip_params + The number of space dimensions to add that are interpreted as + PIP problem parameters. These are added \e after having added the + \p m_pip_vars problem variables. \exception std::length_error - Thrown if adding \p m new space dimensions would cause the - vector space to exceed dimension <CODE>max_space_dimension()</CODE>. + Thrown if adding <CODE>m_pip_vars + m_pip_params</CODE> new space + dimensions would cause the vector space to exceed dimension + <CODE>max_space_dimension()</CODE>. The new space dimensions will be those having the highest indexes in the new PIP problem; they are initially unconstrained. */ - void add_space_dimensions_and_embed(dimension_type m); - - /*! \brief - Sets the variables whose indexes are in set \p p_vars to be - parameter space dimensions. - - \exception std::invalid_argument - Thrown if some index in \p p_vars does not correspond to - a space dimension in \p *this. - */ - void add_to_parameter_space_dimensions(const Variables_Set& p_vars); + void add_space_dimensions_and_embed(dimension_type m_pip_vars, + dimension_type m_pip_params); /*! \brief Adds a copy of constraint \p c to the PIP problem. @@ -301,6 +275,54 @@ public: //! Swaps \p *this with \p y. void swap(PIP_Problem& y); + +private: + //! The dimension of the vector space. + dimension_type external_space_dim; + + /*! \brief + The space dimension of the current (partial) solution of the + PIP problem; it may be smaller than \p external_space_dim. + */ + dimension_type internal_space_dim; + + //! An enumerated type describing the internal status of the PIP problem. + enum Status { + //! The PIP problem is unsatisfiable. + UNSATISFIABLE, + //! The PIP problem is satisfiable; a feasible solution has been computed. + SATISFIABLE, + //! The PIP problem is optimized; the solution tree has been computed. + OPTIMIZED, + /*! \brief + The feasible region of the PIP problem has been changed by adding + new variables, parameters or constraints; a feasible solution for + the old feasible region is still available. + */ + PARTIALLY_SATISFIABLE + }; + + //! The internal state of the MIP problem. + Status status; + + /*! \brief + A Boolean encoding whether or not internal data structures have + already been properly sized and populated: useful to allow for + deeper checks in method OK(). + */ + bool initialized; + + //! The sequence of constraints describing the feasible region. + Constraint_Sequence input_cs; + + //! The first index of `input_cs' containing a pending constraint. + dimension_type first_pending_constraint; + + /*! \brief + A set containing all the indexes of space dimensions that are + interpreted as problem parameters. + */ + Variables_Set parameters; }; namespace std {

1 0

[GIT] ppl/ppl(pip): The `gprolog' and `yap' packages are not available on the sparc64 and
by Roberto Bagnara 19 Jun '09

19 Jun '09

Module: ppl/ppl Branch: pip Commit: 7100d0307f8672c7eb27aedd0a9f2a07c6eb297a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7100d0307f86… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 09:51:24 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. --- fedora/ppl.spec | 26 ++++++++++++++++++++------ 1 files changed, 20 insertions(+), 6 deletions(-) diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 351a883..9f158a9 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -2,7 +2,7 @@ Name: ppl Version: 0.10.2 -Release: 1%{?dist} +Release: 3%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries @@ -60,7 +60,7 @@ BuildRequires: glpk-devel >= 4.13 This package contains the mixed integer linear programming solver ppl_lpsol and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra. -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %package gprolog # The `gprolog' package is not available on ppc64: # the GNU Prolog interface must thus be disabled for that architecture. @@ -73,7 +73,7 @@ This package adds GNU Prolog support to the Parma Polyhedra Library (PPL). Install this package if you want to use the library in GNU Prolog programs. %endif -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %package gprolog-static Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library Group: Development/Libraries @@ -101,6 +101,7 @@ Requires: %{name}-swiprolog = %{version}-%{release} This package contains the static archive for the SWI-Prolog interface of the Parma Polyhedra Library. +%ifnarch sparc64 sparcv9 %package yap Summary: The YAP Prolog interface of the Parma Polyhedra Library Group: Development/Libraries @@ -110,6 +111,7 @@ Obsoletes: ppl-yap-static %description yap This package adds YAP Prolog support to the Parma Polyhedra Library (PPL). Install this package if you want to use the library in YAP Prolog programs. +%endif #%package ocaml #Summary: The OCaml interface of the Parma Polyhedra Library @@ -204,10 +206,12 @@ Install this package if you want to program with the PWL. %build CPPFLAGS="-I%{_includedir}/glpk" -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* $[^ ]*$$/\1/g"`/include" %endif +%ifnarch sparc64 sparcv9 CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap" +%endif %configure --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS" sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool @@ -293,7 +297,7 @@ mv \ %{_mandir}/man1/ppl_lcdd.1.gz %{_mandir}/man1/ppl_lpsol.1.gz -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %files gprolog %defattr(-,root,root,-) %doc interfaces/Prolog/GNU/README.gprolog @@ -302,7 +306,7 @@ mv \ %{_libdir}/%{name}/libppl_gprolog.so %endif -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %files gprolog-static %defattr(-,root,root,-) %{_libdir}/%{name}/libppl_gprolog.a @@ -319,11 +323,13 @@ mv \ %defattr(-,root,root,-) %{_libdir}/%{name}/libppl_swiprolog.a +%ifnarch sparc64 sparcv9 %files yap %defattr(-,root,root,-) %doc interfaces/Prolog/YAP/README.yap %{_libdir}/%{name}/ppl_yap.pl %{_libdir}/%{name}/ppl_yap.so +%endif #%files ocaml #%defattr(-,root,root,-) @@ -410,6 +416,14 @@ mv \ rm -rf %{buildroot} %changelog +* Fri Jun 19 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-3 +- The `gprolog' and `yap' packages are not available on the sparc64 and + sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and + `ppl-yap'. + +* Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-2 +- Force rebuild. + * Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-1 - Updated for PPL 0.10.2.

1 0

[GIT] ppl/ppl(pip): Added proof of concept for Python interface.
by Abramo Bagnara 19 Jun '09

19 Jun '09

Module: ppl/ppl Branch: pip Commit: ecaf06e49be98a0cb52058c67c8b81741c481269 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ecaf06e49be9… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. --- interfaces/Python/ppl_py.cc | 44 +++++++++++++++++++++++++++++++++++++++++++ interfaces/Python/ppl_py.py | 6 +++++ 2 files changed, 50 insertions(+), 0 deletions(-) diff --git a/interfaces/Python/ppl_py.cc b/interfaces/Python/ppl_py.cc new file mode 100644 index 0000000..9a7a68b --- /dev/null +++ b/interfaces/Python/ppl_py.cc @@ -0,0 +1,44 @@ +// -*- compile-command: "g++ -c -fPIC -I/usr/include/python2.6 -W -Wall ppl_py.cc -lboost_python -lpython2.6 ; g++ -shared -o ppl.so ppl_py.o -lboost_python -lppl" -*- + +/* Proof of concept for a Python interface. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#include <boost/python.hpp> +using namespace boost::python; + +#include <ppl.hh> +using namespace Parma_Polyhedra_Library; + +namespace Parma_Polyhedra_Library { +using IO_Operators::operator<<; + +} + +BOOST_PYTHON_MODULE(ppl) +{ + class_<Variable>("Variable", init<dimension_type>()) + .def("id", &Variable::id) + .def(self_ns::str(self)) + ; +} + + diff --git a/interfaces/Python/ppl_py.py b/interfaces/Python/ppl_py.py new file mode 100755 index 0000000..a969406 --- /dev/null +++ b/interfaces/Python/ppl_py.py @@ -0,0 +1,6 @@ +#!/usr/bin/python + +import ppl + +var = ppl.Variable(4) +print var

1 0

[GIT] ppl/ppl(master): The `gprolog' and `yap' packages are not available on the sparc64 and
by Roberto Bagnara 19 Jun '09

19 Jun '09

Module: ppl/ppl Branch: master Commit: d986d5bcaf0aceb6e990555f5b7072d590698c6d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d986d5bcaf0a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Fri Jun 19 12:54:28 2009 +0200 The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and `ppl-yap'. --- fedora/ppl.spec | 26 ++++++++++++++++++++------ 1 files changed, 20 insertions(+), 6 deletions(-) diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 351a883..9f158a9 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -2,7 +2,7 @@ Name: ppl Version: 0.10.2 -Release: 1%{?dist} +Release: 3%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries @@ -60,7 +60,7 @@ BuildRequires: glpk-devel >= 4.13 This package contains the mixed integer linear programming solver ppl_lpsol and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra. -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %package gprolog # The `gprolog' package is not available on ppc64: # the GNU Prolog interface must thus be disabled for that architecture. @@ -73,7 +73,7 @@ This package adds GNU Prolog support to the Parma Polyhedra Library (PPL). Install this package if you want to use the library in GNU Prolog programs. %endif -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %package gprolog-static Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library Group: Development/Libraries @@ -101,6 +101,7 @@ Requires: %{name}-swiprolog = %{version}-%{release} This package contains the static archive for the SWI-Prolog interface of the Parma Polyhedra Library. +%ifnarch sparc64 sparcv9 %package yap Summary: The YAP Prolog interface of the Parma Polyhedra Library Group: Development/Libraries @@ -110,6 +111,7 @@ Obsoletes: ppl-yap-static %description yap This package adds YAP Prolog support to the Parma Polyhedra Library (PPL). Install this package if you want to use the library in YAP Prolog programs. +%endif #%package ocaml #Summary: The OCaml interface of the Parma Polyhedra Library @@ -204,10 +206,12 @@ Install this package if you want to program with the PWL. %build CPPFLAGS="-I%{_includedir}/glpk" -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* $[^ ]*$$/\1/g"`/include" %endif +%ifnarch sparc64 sparcv9 CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap" +%endif %configure --docdir=%{_datadir}/doc/%{name}-%{version} --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS" sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool @@ -293,7 +297,7 @@ mv \ %{_mandir}/man1/ppl_lcdd.1.gz %{_mandir}/man1/ppl_lpsol.1.gz -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %files gprolog %defattr(-,root,root,-) %doc interfaces/Prolog/GNU/README.gprolog @@ -302,7 +306,7 @@ mv \ %{_libdir}/%{name}/libppl_gprolog.so %endif -%ifnarch ia64 ppc64 s390 s390x +%ifnarch ia64 ppc64 s390 s390x sparc64 sparcv9 %files gprolog-static %defattr(-,root,root,-) %{_libdir}/%{name}/libppl_gprolog.a @@ -319,11 +323,13 @@ mv \ %defattr(-,root,root,-) %{_libdir}/%{name}/libppl_swiprolog.a +%ifnarch sparc64 sparcv9 %files yap %defattr(-,root,root,-) %doc interfaces/Prolog/YAP/README.yap %{_libdir}/%{name}/ppl_yap.pl %{_libdir}/%{name}/ppl_yap.so +%endif #%files ocaml #%defattr(-,root,root,-) @@ -410,6 +416,14 @@ mv \ rm -rf %{buildroot} %changelog +* Fri Jun 19 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-3 +- The `gprolog' and `yap' packages are not available on the sparc64 and + sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and + `ppl-yap'. + +* Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-2 +- Force rebuild. + * Sat Apr 18 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-1 - Updated for PPL 0.10.2.

1 0

[GIT] ppl/ppl(master): Added proof of concept for Python interface.
by Abramo Bagnara 18 Jun '09

18 Jun '09

Module: ppl/ppl Branch: master Commit: 2d8e88610e8979af4fa6e0b3e77e78f6389699e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d8e88610e89… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Thu Jun 18 10:54:46 2009 +0200 Added proof of concept for Python interface. --- interfaces/Python/ppl_py.cc | 44 +++++++++++++++++++++++++++++++++++++++++++ interfaces/Python/ppl_py.py | 6 +++++ 2 files changed, 50 insertions(+), 0 deletions(-) diff --git a/interfaces/Python/ppl_py.cc b/interfaces/Python/ppl_py.cc new file mode 100644 index 0000000..9a7a68b --- /dev/null +++ b/interfaces/Python/ppl_py.cc @@ -0,0 +1,44 @@ +// -*- compile-command: "g++ -c -fPIC -I/usr/include/python2.6 -W -Wall ppl_py.cc -lboost_python -lpython2.6 ; g++ -shared -o ppl.so ppl_py.o -lboost_python -lppl" -*- + +/* Proof of concept for a Python interface. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. + +For the most up-to-date information see the Parma Polyhedra Library +site: http://www.cs.unipr.it/ppl/ . */ + +#include <boost/python.hpp> +using namespace boost::python; + +#include <ppl.hh> +using namespace Parma_Polyhedra_Library; + +namespace Parma_Polyhedra_Library { +using IO_Operators::operator<<; + +} + +BOOST_PYTHON_MODULE(ppl) +{ + class_<Variable>("Variable", init<dimension_type>()) + .def("id", &Variable::id) + .def(self_ns::str(self)) + ; +} + + diff --git a/interfaces/Python/ppl_py.py b/interfaces/Python/ppl_py.py new file mode 100755 index 0000000..a969406 --- /dev/null +++ b/interfaces/Python/ppl_py.py @@ -0,0 +1,6 @@ +#!/usr/bin/python + +import ppl + +var = ppl.Variable(4) +print var

1 0

[GIT] ppl/ppl(pip): Added implementation of child accessors.
by Abramo Bagnara 14 Jun '09

14 Jun '09

Module: ppl/ppl Branch: pip Commit: 4febc2ae85b507ee1bbe4ceb295352d44c39158f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4febc2ae85b5… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jun 14 22:58:15 2009 +0200 Added implementation of child accessors. --- src/PIP_Tree.inlines.hh | 12 ++++++++++++ 1 files changed, 12 insertions(+), 0 deletions(-) diff --git a/src/PIP_Tree.inlines.hh b/src/PIP_Tree.inlines.hh index 8089917..49bc42a 100644 --- a/src/PIP_Tree.inlines.hh +++ b/src/PIP_Tree.inlines.hh @@ -29,6 +29,18 @@ inline PIP_Tree_Node::~PIP_Tree_Node() { } +inline +const PIP_Tree_Node* +PIP_Decision_Node::child_node(bool v) const { + return v ? true_child : false_child; +} + +inline +PIP_Tree_Node* +PIP_Decision_Node::child_node(bool v) { + return v ? true_child : false_child; +} + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_PIP_Tree_inlines_hh)

1 0