[PPL-devel] ppl/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2001-10-29 16:46:08

Modified files:
	src            : Polyhedron.cc 

Log message:
	In Polyhedron(size_t num_dimensions, Degenerate_Kind kind)
	if we build an universe polyhedron the system of constraints is in the
	minimal form.
	In the function insert(Constraint) added the comment that specify why
	when we insert the constraint the polyhedron is non-empty.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.49&r2=1.50