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

Author: Roberto Bagnara bagnara@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=d7b35a781...