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

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	strict
Changes by:	zaffanella at cs.unipr.it	2002-03-17 00:38:02

Modified files:
	src            : PolyBase.cc PolyBase.defs.hh 
	                 PolyBase.inlines.hh 

Log message:
	The Topology parameter is now the first one in constructors.
	Added the missing topology consistency assertion to limited_widening_assign.
	Using the static Constraint members for adding the positivity and
	epsilon related constraints in the constructors.
	Constructor PolyBase(Topology, ConSys) now automatically adjust the
	constraint system according to the first parameter, throwing an
	exception if we try to insert a strict inequality into a Polyhedron.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.1.2.2&r2=1.1.2.3
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.1.2.2&r2=1.1.2.3