December 2005 - PPL-devel - BUGSENG Mailman

ppl/src LP_Problem.defs.hh LP_Problem.inlines. ...
by Enea Zaffanella 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: simplex Changes by: zaffanella(a)cs.unipr.it 2005-12-22 17:48:55 Modified files: src : LP_Problem.defs.hh LP_Problem.inlines.hh LP_Problem.cc Log message: Methods is_satisfiable(), solve(), feasible_point() and optimizing_point() are now declared const. A few stylistic and doxygen comments improvements. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LP_Problem.cc.diff?cvsroo…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 17:41:47 Modified files: src : Grid_public.cc Log message: Update OK to check that the con_sys and grid space dimensions match when con_sys is empty. Update add_recycled_generators_and_minimize to insert the generators with Grid_Generator_System::recycling_insert. Replace the add_recycled_generators call in generalized_affine_image(l,r,m) with equivalent, quicker code. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_Generator_System.defs.hh Grid_Gen ...
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 17:37:34 Modified files: src : Grid_Generator_System.defs.hh Grid_Generator_System.cc Log message: Add recycling_insert(g). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.def… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Grid_Generator.inlines.hh Grid_Generat ...
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 17:35:22 Modified files: src : Grid_Generator.inlines.hh Grid_Generator.cc Log message: Implement operator<< directly, adding divisor output for parameters. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.inlines.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator.cc.diff?cv…

1 0

ppl/src Matrix.defs.hh
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 17:33:36 Modified files: src : Matrix.defs.hh Log message: Correct typo in add_recycled_row description. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsro…

1 0

ppl/src Grid_Generator_System.cc
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 13:21:38 Modified files: src : Grid_Generator_System.cc Log message: Improve the insert query about wrapping an NNC generator. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Grid_Generator_System.cc
by Matthew Mundell 22 Dec '05

22 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-22 13:08:56 Modified files: src : Grid_Generator_System.cc Log message: Leave the tmp_row allocation in insert alone (tmp_row is a stack variable so the Linear_Row destructor will be called and it will free the memory in tmp_row). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_Generator_System.cc.…

1 0

ppl/src Grid_public.cc
by Matthew Mundell 21 Dec '05

21 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-21 19:14:25 Modified files: src : Grid_public.cc Log message: Add divisor normalization after the parameter insertion in generalized_affine_image. Update add_generator(g) to make one normalize_divisor call when the grid originally contained points. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsro…

1 0

ppl/src Grid_nonpublic.cc
by Matthew Mundell 21 Dec '05

21 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-21 19:09:22 Modified files: src : Grid_nonpublic.cc Log message: Include parameters in the normalize_divisors(sys,d,f) LCM calculation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cv…

1 0

ppl/src Grid_chdims.cc
by Matthew Mundell 21 Dec '05

21 Dec '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-12-21 19:07:21 Modified files: src : Grid_chdims.cc Log message: Add divisor normalization after inserting parameters in add_space_dimensions and add_space_dimensions_and_project. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro…

1 0