[PPL-devel] ppl/src C_Polyhedron.cc Makefile.am Polyhedron ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at cs.unipr.it	2003-03-14 13:05:06

Modified files:
	src            : C_Polyhedron.cc Makefile.am Polyhedron.cc 
	                 Polyhedron.defs.hh Polyhedron.inlines.hh 
Added files:
	src            : Polyhedron_chdims.cc Polyhedron_nonpublic.cc 
	                 Polyhedron_public.cc Polyhedron_widenings.cc 

Log message:
	Split file Polyhedron.cc into several files.
	Methods is_bounded(), is_topologically_closed() and are_disjoint() renamed
	to check_bounded(), check_topologically_closed() and check_disjoint().
	Documentation reorganized to match more closely the order in the introduction
	of the user manual, also grouping related methods.
	Added exception thrower throw_runtime_error().
	In the documentation, all examples using class `Polyhedron' changed to use
	the user-accessible class `C_Polyhedron'.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc?cvsroot=ppl&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsroot=ppl&r1=1.4&r2=1.5
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&r1=1.61&r2=1.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.320&r2=1.321
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&r1=1.199&r2=1.200
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&r1=1.66&r2=1.67