[PPL-devel] [GIT] ppl/ppl(pip): Blatantly ripped from MIP_Problem.*.hh.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Jun 14 17:55:09 2009 +0200

Blatantly ripped from MIP_Problem.*.hh.

---

 src/PIP_Problem.defs.hh  |  435 ++++++++++++++++++++++++++++++++++++++++++++++
 src/PIP_Problem.types.hh |   32 ++++
 2 files changed, 467 insertions(+), 0 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=d7b35a781e433e9cfe635fc04b5fcd7245dcb0f9