CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella@cs.unipr.it 2002-03-15 10:51:19

Modified files: src : ConSys.cc ConSys.inlines.hh Constraint.cc Constraint.defs.hh Constraint.inlines.hh GenSys.cc GenSys.inlines.hh Generator.defs.hh Generator.inlines.hh LinExpression.inlines.hh Matrix.cc Matrix.defs.hh Matrix.inlines.hh Row.defs.hh Row.inlines.hh conversion.cc

Log message: Removed enumeration Type from class Row: added enumerations PolyhedronKind and RowKind; they are merged into a single object using new class Row::Type. Rows now rememberif they have or not the \epsilon coefficient. Constructors for Matrix now have a boolean flag indicating whether or not the matrix has the \epsilon coefficient. The flag is remembered in order to correctly set the type of new rows. Added support for creating constraints that are strict inequalities and generators that are closure points. Added support for adding these two new kind of objects to constraint systems and generator systems (with automatic detection and resizing if needed). Constraints, generators and the respective systems space-dimensions now depend on the Polyhedron kind of the corresponding rows.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot...