[PPL-devel] ppl/src ConSys.cc GenSys.cc PolyBase.cc

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	strict
Changes by:	zaffanella at cs.unipr.it	2002-03-22 15:42:54

Modified files:
	src            : ConSys.cc GenSys.cc PolyBase.cc 

Log message:
	Metods GenSys::affine_image(v, e, d) and ConSys::affine_preimage(v, e, d)
	no longer require the expression `e' to have the _same_ number of columns
	of the matrix; now they only require dimension compatibility.
	This change, while allowing a correct implementation for NNC topology
	matrices, also turns out to be a potentially remarkable performance
	improvement.
	
	The corresponding methods of PolyBase changed accordingly:
	- no longer performing the dangerous const_cast on the expression;
	- missing assertion OK(false) placed on exit.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.28.2.9&r2=1.28.2.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.42.2.8&r2=1.42.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.1.2.20&r2=1.1.2.21