CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara@cs.unipr.it 2007-02-27 17:22:49 Modified files: . : NEWS src : BD_Shape.inlines.hh BD_Shape.templates.hh Box.defs.hh Box.templates.hh Constraint_System.defs.hh Constraint_System.inlines.hh Generator_System.defs.hh Generator_System.inlines.hh Interval.defs.hh Interval_Restriction.defs.hh Matrix.defs.hh Matrix.inlines.hh Octagonal_Shape.inlines.hh Octagonal_Shape.templates.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron.templates.hh globals.defs.hh globals.inlines.hh Log message: Eleventh merge of the main trunk to the `altnum' branch. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.86.2.8&r2=1.86.2.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=1.1.2.7 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.43.2.7&r2=1.43.2.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.24&r2=1.1.2.25 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.38&r2=1.1.2.39 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.3&r2=1.3.2.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.3.2.4&r2=1.3.2.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator_System.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.3&r2=1.1.2.4 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.16.2.93&r2=1.16.2.94 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Restriction.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.9&r2=1.1.2.10 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.56.2.7&r2=1.56.2.8 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.37.2.5&r2=1.37.2.6 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.10.2.4&r2=1.10.2.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.31.2.8&r2=1.31.2.9 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.228.2.11&r2=1.228.2.12 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.90.2.10&r2=1.90.2.11 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.templates.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.4.2.4&r2=1.4.2.5 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.defs.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.2.2.14&r2=1.2.2.15 http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.inlines.hh.diff?cvsroot=ppl&only_with_tag=altnum&r1=1.1.2.6&r2=1.1.2.7