CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@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?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_nonpublic.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_widenings.cc?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot... 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...