CVSROOT: /cvs/ppl Module name: ppl Branch: positive Changes by: roberto@cs.unipr.it 2002-02-01 15:08:28 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh Row.cc Row.defs.hh conversion.cc minimize.cc simplify.cc Log message: The work on positive polyhedra is being moved onto the `positive' branch. Phase 1: latest changes reapplied on the branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=positive&r1=1.108&r2=1.108.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=positive&r1=1.72&r2=1.72.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=positive&r1=1.14&r2=1.14.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&only_with_tag=positive&r1=1.24&r2=1.24.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=positive&r1=1.23&r2=1.23.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=positive&r1=1.18&r2=1.18.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=positive&r1=1.9&r2=1.9.2.1 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=positive&r1=1.9&r2=1.9.2.1