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

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2001-10-30 21:57:04

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

Log message:
	In functions
	Polyhedron::assign_variable and Polyhedron::substitutte_variable
	considered the cases of an empty polyhedron and of
	space_dimension of linear expression < space_dimension of polyhedron.
	In LinExpression the copy-constructor with the size of the new linear
	expression is now public.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.61&r2=1.62