November 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc Grid_nonpublic.cc Grid. ...
by Matthew Mundell 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-15 12:33:54 Modified files: src : Grid_public.cc Grid_nonpublic.cc Grid.inlines.hh Log message: Always set zero dim universe via set_zero_dim_univ(). Insert a point in set_zero_dim_univ(). Create a correctly sized gen_sys in set_empty(). In the bounding box grid constructor move the generator system flag setting into the space_dim > 0 case. In the covering box grid constructor jump over the sorted flag clearing when an empty grid is produced. In construct(gs,) set space_dim before the empty test and set zero dim universe when required. In Grid(n,kind) set zero dim universe when required. Handle the zero dimension case in minimized_congruences(). In generators() just return gen_sys when the grid is marked empty, return the actual gen_sys for zero dim universe, ensure that gen_sys is up to date, and convert any parameters to points. In the zero dim cases of add_recycled_congruences_and_minimize and add_recycled_congruences set empty or zero dim universe only if required. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.inlines.hh.diff?cvsr…

1 0

ppl/src BD_Shape.inlines.hh
by Enea Zaffanella 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-15 11:52:00 Modified files: src : BD_Shape.inlines.hh Log message: Method is_empty() now computes shortest-path closure instead of applying the Bellman-Ford algorithm. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src simplex.cc
by Enea Zaffanella 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-15 11:48:28 Modified files: src : simplex.cc Log message: Some further improvements to the function steepest(). Function get_exiting_base_index() now takes a *const* reference to base. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src Scalar_Products.cc
by Enea Zaffanella 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-15 11:46:35 Modified files: src : Scalar_Products.cc Log message: Don't break comment lines without reason. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Scalar_Products.cc.diff?c…

1 0

ppl/src Congruence.defs.hh
by Patricia Hill 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: hill(a)cs.unipr.it 2005-11-15 10:03:41 Modified files: src : Congruence.defs.hh Log message: Improvements to the documentation about congruences and how to build them. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c…

1 0

ppl/src simplex.cc Constraint_System.defs.hh
by Enea Zaffanella 15 Nov '05

15 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-11-15 01:22:34 Modified files: src : simplex.cc Constraint_System.defs.hh Log message: In the primal simplex algorithm, better separated the first and second phase of the algorithm. Added a preprocessing flag enabling the steepest-edge technique: teh flag is enabled by default. Added a new method bool Constraint_System::is_satisfiable(Generator& feasible_point) const; that check the satisfiability of a constraint system by the primal simplex algorithm, returning a feasible point if satisfiable. All of the above based on implementation work by Andrea Cimino. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint_System.defs.hh…

1 0

ppl/tests/Grid congruences1.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 18:19:10 Modified files: tests/Grid : congruences1.cc Log message: Add test7, where a congruence system reference is used after the zero dimension grid from which it comes has been made empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.di…

1 0

ppl/tests/Grid grid2.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 17:55:54 Modified files: tests/Grid : grid2.cc Log message: Add zero dimension construction tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsr…

1 0

ppl/tests/Grid congruences1.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 17:55:24 Modified files: tests/Grid : congruences1.cc Log message: Add test6, where a congruence system reference is used after the grid from which it comes has been made empty. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc.di…

1 0

ppl/tests/Grid Makefile.am congruences1.cc
by Matthew Mundell 14 Nov '05

14 Nov '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-11-14 16:57:33 Modified files: tests/Grid : Makefile.am Added files: tests/Grid : congruences1.cc Log message: Add congrueces1, which tests Grid::congruences(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruences1.cc?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c…

1 0