- PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.cc Polyhedron.inlines.hh
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:48:11 Modified files: src : Polyhedron.cc Polyhedron.inlines.hh Log message: A whole pass on the code of the class, trying to use the new methods defined for the handling of pending rows; also tried to provide more uniform comments and to avoid useless reordering of rows when invoking add_and_minimize(). Patches: 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.inlines.hh.dif…

1 0

ppl/src GenSys.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:46:01 Modified files: src : GenSys.cc Log message: Modified methods add_corresponding_points() and add_corr_closure_points() to rely on the caller for the management of pending rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp…

1 0

ppl/src ConSys.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:43:50 Modified files: src : ConSys.cc Log message: Modified method adjust_topology_and_dimensions() to rely on the caller for the management of pending rows. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.defs.hh minimize.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:40:10 Modified files: src : Polyhedron.defs.hh minimize.cc Log message: Provided slightly better names for methods dealing with pending rows. Modified the assertions for the two methods named add_and_minimize(...) and added new documentation. Patches: 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/minimize.cc.diff?cvsroot=…

1 0

ppl/src conversion.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:36:14 Modified files: src : conversion.cc Log message: No longer using flag KEEP_SOURCE_SORTEDNESS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src Matrix.cc
by Enea Zaffanella 02 Dec '02

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 18:34:32 Modified files: src : Matrix.cc Log message: Corrected a typo in add_pending_rows(const Matrix&). Removed an ill-placed well-formedness check. Adjusted a few assertions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0

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

02 Dec '02

CVSROOT: /cvs/ppl Module name: ppl Branch: lazy Changes by: zaffanella(a)cs.unipr.it 2002-12-02 09:31:14 Modified files: src : Matrix.defs.hh Matrix.inlines.hh Matrix.cc Log message: Added new method unset_pending_rows() that sets the index_first_pending_row equal to the number of rows of the matrix. Added new methods add_rows(const Matrix&) and add_pending_rows(const Matrix&) to add a set of rows with one matrix reallocation at most. Adjusted a few comments. Factored some common code in the sorting methods. 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

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