[PPL-devel] ppl/src Grid_simplify.cc Grid_public.cc Grid_n ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-05-04 15:04:25

Modified files:
	src            : Grid_simplify.cc Grid_public.cc 
	                 Grid_nonpublic.cc Grid_conversion.cc 
	                 Grid.inlines.hh Grid.defs.hh 

Log message:
	Rename constructor parameters from cgs to const_gs, and from cs to
	cgs.  Add static methods lower_triangular and upper_triangular, and
	use them in OK.  Use these and new function identity as pre-conversion
	assertions.  Take out the congruence-related and Grid versions of
	throw_topology_incompatible, and the old Polyhedron constructor
	definitions.  Clean up the topology checking in general.  Comment out
	the parameter name in add_low_level_congruences to work around a
	compiler warning.  Clean some argument spacing and update some
	comments.  Update construct to convert a given NNC generator system to
	NC.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.11&r2=1.1.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.8&r2=1.1.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_conversion.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.6&r2=1.1.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.5&r2=1.1.2.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.7&r2=1.1.2.8