CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2005-09-19 22:20:00

Modified files: src : Constraint.defs.hh Constraint_System.defs.hh Constraint_System.inlines.hh Polyhedron.defs.hh Polyhedron.inlines.hh Polyhedron_nonpublic.cc

Log message: The functionality of Polyhedron::add_low_level_constraints(Constraint_System&) is now provided by Constraint_System::add_low_level_constraints(). Among other things, this reduces the dependency on friend declarations.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.di...