March 2002 - PPL-devel - BUGSENG Mailman

ppl/src PolyBase.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 19:02:39 Modified files: src : PolyBase.cc Log message: Patched methods add_dimensions_and_embed(), add_dimensions_and_project() and add_dimensions() to properly handle the "sorted" flag of matrices. Corrected a small bug in add_dimensions_and_constraints(), where we were trying to swap a column with itself. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 17:47:41 Modified files: src : PolyBase.cc Log message: In constructors for NNC polyhedra, add the \epsilon constraint in the order that is likely to preserve the sorted flag. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Constraint.inlines.hh Generator.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 17:34:10 Modified files: src : Constraint.inlines.hh Generator.cc Log message: Just a few spaces added for style. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 17:32:12 Modified files: src : ConSys.cc Log message: Corrected a bug in has_strict_inequalities() whereby we were returning "true" when finding the epsilon_geq_zero() constraint. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Constraint.inlines.hh PolyBase.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 16:48:55 Modified files: src : Constraint.inlines.hh PolyBase.cc Log message: A strict inequality has a _negative_ \epsilon coefficient (previously, we were testing for a _non-zero_ coefficient, causing a bug in method operator<=(PolyBase&, PolyBase&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.defs.hh
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 16:46:08 Modified files: src : PolyBase.defs.hh Log message: Constructors of the base class PolyBase are now protected, so that the user _has_ to create objects of the derived classes Polyhedron and NNC_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.defs.hh.diff?cvs…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 15:37:21 Modified files: src : PolyBase.cc Log message: Corrected a bug in operator<= for the NNC case. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src PolyBase.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 14:44:53 Modified files: src : PolyBase.cc Log message: Implemented operator<= for NNC polyhedra. Added a couple of missing assertions to add_generators(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PolyBase.cc.diff?cvsroot=…

1 0

ppl/src Matrix.cc ConSys.cc GenSys.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 13:49:51 Modified files: src : Matrix.cc ConSys.cc GenSys.cc Log message: In Matrix::OK(), restored the test checking that num_columns() == 0 whenever num_rows() == 0. Added assertions to ConSys::adjust_topology_and_dimension() and GenSys::adjust_topology_and_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src Matrix.defs.hh Matrix.inlines.hh Matrix.cc
by Enea Zaffanella 20 Mar '02

20 Mar '02

CVSROOT: /cvs/ppl Module name: ppl Branch: strict Changes by: zaffanella(a)cs.unipr.it 2002-03-20 12:24:27 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Matrix.cc Log message: Corrected bugs: - set_necessarily_closed() and set_non_necessarily_closed() now also set the right topology for all the rows in the matrix; - grow(...) no longer asserts OK() on exit, because it may leave the matrix in a state where num_rows() == 0 and num_columns() > 0; - grow(...) was comparing the first row to be added with the last row in the matrix even when there were no rows in the matrix; - insert(...) no longer swaps a coefficient with itself when num_columns() and row.size() do match. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0