[PPL-devel] ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	lazy
Changes by:	ericci at cs.unipr.it	2002-11-21 18:18:06

Modified files:
	src            : ConSys.cc ConSys.defs.hh GenSys.cc 
	                 GenSys.defs.hh Matrix.cc Matrix.defs.hh 
	                 Polyhedron.cc Polyhedron.defs.hh 
	                 Polyhedron.inlines.hh conversion.cc minimize.cc 
	                 simplify.cc 

Log message:
	Added the methods Matrix::add_pending_row(), Matrix::insert_pending(),
	GenSys::insert_pending() and ConSys::insert_pending().
	Erased the matrices `pending_cs' and `pending_gs' from polyhedron: now
	if the polyhedron has pending constraints/generators, they are in
	con_sys/gen_sys.
	Modified the methods of Polyhedron, ConSys, GenSys and Matrix so that
	they always consider if the polyhedron contains something pending
	or if the matrix has some pending rows.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.55&r2=1.55.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.74&r2=1.74.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.71.2.1&r2=1.71.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.85.2.1&r2=1.85.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.44.2.1&r2=1.44.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.38.2.1&r2=1.38.2.2
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.261.2.6&r2=1.261.2.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.171.2.3&r2=1.171.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.55.2.8&r2=1.55.2.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.35&r2=1.35.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.25&r2=1.25.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=ppl&only_with_tag=lazy&r1=1.19&r2=1.19.2.1