[PPL-devel] Polyhedra/src Polyhedron.cc Polyhedron.defs.hh

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/06/08 09:32:28

Modified files:
	src            : Polyhedron.cc Polyhedron.defs.hh 

Log message:
	Added the function check_universe() that verifies if
	*this is the universe polyhedron.