[PPL-devel] ppl/src ConSys.cc ConSys.inlines.hh Constraint ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	strict
Changes by:	zaffanella at 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&only_with_tag=strict&r1=1.28&r2=1.28.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.13&r2=1.13.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.45&r2=1.45.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.21&r2=1.21.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.42&r2=1.42.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.49&r2=1.49.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.22&r2=1.22.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.12&r2=1.12.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.31&r2=1.31.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.19&r2=1.19.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.17&r2=1.17.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.34&r2=1.34.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.inlines.hh.diff?cvsroot=ppl&only_with_tag=strict&r1=1.14&r2=1.14.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=strict&r1=1.24.2.1&r2=1.24.2.2