September 2006 - PPL-devel - BUGSENG Mailman

ppl/src MIP_Problem.cc MIP_Problem.inlines.hh
by Andrea Cimino 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-09-23 12:59:30 Modified files: src : MIP_Problem.cc MIP_Problem.inlines.hh Log message: Cleaned solve() method. Removed a bit of useless code in solve_mip(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.inlines.hh.di…

1 0

ppl ./TODO src/Polyhedron_public.cc
by Enea Zaffanella 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-09-23 10:04:37 Modified files: . : TODO src : Polyhedron_public.cc Log message: A few adjustments to Polyhedron::contains_integer_point(); currently we cannot handle the case of strict inequalities. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.19… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_public.cc.diff…

1 0

ppl/tests/Polyhedron membytes1.cc
by Roberto Bagnara 23 Sep '06

23 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-23 09:27:29 Modified files: tests/Polyhedron: membytes1.cc Log message: test02() fails with 8-bit coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/membytes1.cc…

1 0

ppl/src Ask_Tell.inlines.hh Ask_Tell.templates ...
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 20:51:31 Modified files: src : Ask_Tell.inlines.hh Ask_Tell.templates.hh Pointset_Ask_Tell.templates.hh Log message: Ask_Tell::upper_bound_assign() moved to Ask_Tell.templates.hh. Restored commented out code in Ask_Tell::OK(). Fixed Pointset_Ask_Tell::remove_space_dimensions(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.inlines.hh.diff?… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Ask_Tell.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Ask_Tell.templat…

1 0

ppl/src Polyhedron.defs.hh Polyhedron_public.cc
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 20:26:24 Modified files: src : Polyhedron.defs.hh Polyhedron_public.cc Log message: Added a first, tentative implementation of Polyhedron::contains_integer_point(). 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/Polyhedron_public.cc.diff…

1 0

ppl/src MIP_Problem.cc
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:28:56 Modified files: src : MIP_Problem.cc Log message: Formatting fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/MIP_Problem.cc.diff?cvsro…

1 0

ppl/src BD_Shape.templates.hh Grid_chdims.cc O ...
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:23:25 Modified files: src : BD_Shape.templates.hh Grid_chdims.cc Octagonal_Shape.templates.hh Polyhedron_chdims.cc Log message: Use the services provided by Variables_Set. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.templates.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_chdims.cc.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Octagonal_Shape.templates… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff…

1 0

ppl/src Variables_Set.defs.hh
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:06:34 Modified files: src : Variables_Set.defs.hh Log message: Fixed the documentation of Variables_Set::space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.defs.hh.dif…

1 0

ppl/src Variables_Set.inlines.hh
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:05:36 Modified files: src : Variables_Set.inlines.hh Log message: Fixed Variables_Set::space_dimension(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variables_Set.inlines.hh.…

1 0

ppl/tests/LP_Problem mipproblem2.cc
by Roberto Bagnara 22 Sep '06

22 Sep '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-09-22 18:03:50 Modified files: tests/LP_Problem: mipproblem2.cc Log message: Use the services provided by Variables_Set. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/LP_Problem/mipproblem2.…

1 0