[PPL-devel] ppl/src Constraint.defs.hh Constraint_System.d ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	roberto at 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?cvsroot=ppl&r1=1.104&r2=1.105
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh.diff?cvsroot=ppl&r1=1.12&r2=1.13
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.inlines.hh.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.281&r2=1.282
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.121&r2=1.122
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc.diff?cvsroot=ppl&r1=1.51&r2=1.52