CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@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=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.inlines.hh.diff?c...