November 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/Ciao ciao_clpq.pl
by Roberto Bagnara 30 Nov '02

30 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-30 11:21:50 Modified files: interfaces/Prolog/Ciao: ciao_clpq.pl Log message: No longer use the debug package: use the debugger library instead. Added use_module(library(prolog_sys)) in order to use statistics/0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c…

1 0

ppl/src conversion.cc
by Enea Zaffanella 29 Nov '02

29 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-11-29 20:09:00 Modified files: src : conversion.cc Log message: Committed to preserving the sortedness of `source', but changed the name of the new index, now using `source_num_redundant'. Using a reference instead of evaluating source[k] many times. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Matrix.cc Matrix.defs.hh Polyhedron.cc ...
by Elisa Ricci 29 Nov '02

29 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: ericci(a)cs.unipr.it 2002-11-29 11:51:54 Modified files: src : Matrix.cc Matrix.defs.hh Polyhedron.cc Polyhedron.defs.hh Polyhedron.inlines.hh conversion.cc minimize.cc Log message: Added Matrix::sort_rows(dimension_type first_row, dimension_type last_row) that sorts the the part of the matrix that is between `first_row' and `last_row'. Added also Matrix::sort_pending_and_remove_duplicates() that sorts the pending part of the matrix and remove the pending rows that are also in the upper part of the matrix. Added Polyhedron::remove_pending_constraints_and_minimize() and Polyhedron::remove_pending_generators_and_minimize() that remove pending constraints/generators and minimize the polyhedron: now Polyhedron::remove_pending_and_minimze() only calls the two added methods. Added also Polyhedron::add_and_minimize(bool, Matrix&, Matrix&, SatMatrix&) to obtain a polyhedron in minimal form defined by the system composed by the non-pending rows and by the pending rows of the first matrix. This new method is called by Polyhedron::add_and_minimize(bool, Matrix&, Matrix&, SatMatrix&, const Matrix&) after We have added the row of the constant matrix to the first matrix. Changed conversion so that when we swap the rows of source we set a flag and at the end we verify if the matrix is really sorted or not. 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/Matrix.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl TODO
by Roberto Bagnara 29 Nov '02

29 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-29 11:18:51 Modified files: . : TODO Log message: We should not forget to document Polyhedron::shuffle_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.26…

1 0

ppl/src conversion.cc
by Enea Zaffanella 29 Nov '02

29 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-11-29 10:44:28 Modified files: src : conversion.cc Log message: The management of flag KEEP_SOURCE_SORTEDNESS reported into the branch lazy. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src conversion.cc
by Enea Zaffanella 29 Nov '02

29 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-11-29 10:29:38 Modified files: src : conversion.cc Log message: Implemented a more efficient way to keep the sortedness of Matric `source', requiring max source_num_rows - 1 swaps of the rows in source. The new code is controlled by pre-proc flag KEEP_SOURCE_SORTEDNESS, which is now set to 0 (i.e., still using old code). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src SatMatrix.cc SatMatrix.defs.hh minimize.cc
by Elisa Ricci 28 Nov '02

28 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2002-11-28 18:22:29 Modified files: src : SatMatrix.cc SatMatrix.defs.hh minimize.cc Log message: Restored SatMatrix::transpose() and used it in add_and_minimize(), where it is possible, instead of SatMatrix::transpose_assign(). When we use add_row(), it sets correctly if the changed matrix is sorted or not: so we have not to say in add_and_minimize() that the changed matrix is not sorted. In add_and_minimize(), after adding the new rows to the matrix `source1', we resize the saturation matrix `sat' instead of built a temporary saturation matrix. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/SatMatrix.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/minimize.cc.diff?cvsroot=…

1 0

ppl/src conversion.cc
by Enea Zaffanella 28 Nov '02

28 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-11-28 14:22:30 Modified files: src : conversion.cc Log message: Added (a preprocessing controlled and now disabled) alternative code for the removal of rows in Matrix `source' that are found to be redundant. The alternative code does keep the sortedness of `source'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src conversion.cc
by Enea Zaffanella 28 Nov '02

28 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-11-28 14:19:06 Modified files: src : conversion.cc Log message: Added (a preprocessing controlled and now disabled) alternative code for the removal of rows in Matrix source that are found to be redundant. The alternative code does keep the sortedness of source. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Generator.cc Poly_Con_Relation.cc Poly ...
by Roberto Bagnara 27 Nov '02

27 Nov '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-11-27 19:35:44 Modified files: src : Generator.cc Poly_Con_Relation.cc Poly_Gen_Relation.cc Log message: Added missing \relates needed by Doxygen. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Con_Relation.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Poly_Gen_Relation.cc.diff…

1 0