September 2005 - PPL-devel - BUGSENG Mailman

ppl/src Grid_public.cc Grid.inlines.hh Grid.de ...
by Matthew Mundell 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-03 12:46:25 Modified files: src : Grid_public.cc Grid.inlines.hh Grid.defs.hh Log message: Add methods upper_bound_assign, join_assign_if_exact and upper_bound_assign_if_exact. 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.inlines.hh.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot…

1 0

ppl/tests/Grid join1.cc
by Matthew Mundell 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-03 12:44:36 Modified files: tests/Grid : join1.cc Log message: Use upper_bound_assign in some of the tests. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/join1.cc.diff?cvsr…

1 0

ppl/tests/Grid addconstraints1.cc
by Matthew Mundell 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-03 12:44:08 Modified files: tests/Grid : addconstraints1.cc Log message: Update FSF address. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/addconstraints1.cc…

1 0

ppl/src BD_Shape.defs.hh BD_Shape.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:42:28 Modified files: src : BD_Shape.defs.hh BD_Shape.inlines.hh Log message: Added declarations and dummy implementations for method bool BD_Shape<T>::bds_hull_assign_if_exact(const BD_Shape&) and its alias bool BD_Shape<T>::upper_bound_assign_if_exact(const BD_Shape&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/BD_Shape.inlines.hh.diff?…

1 0

ppl/src C_Polyhedron.defs.hh NNC_Polyhedron.de ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:40:18 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh Log message: Comments fixed and completed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl/src C_Polyhedron.defs.hh NNC_Polyhedron.de ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:25:21 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh Log message: Comments fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl/src C_Polyhedron.defs.hh C_Polyhedron.inli ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:21:25 Modified files: src : C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.cc NNC_Polyhedron.defs.hh Log message: Be consistent in the choice of parameters' names. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di…

1 0

ppl/src Polyhedra_Powerset.inlines.hh
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:17:17 Modified files: src : Polyhedra_Powerset.inlines.hh Log message: Use the PH::upper_bound_assign_if_exact() method and not the function with the same name. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedra_Powerset.inline…

1 0

ppl/tests/Grid writecongruencesystem.cc wideni ...
by Matthew Mundell 03 Sep '05

03 Sep '05

1 0

ppl/src C_Polyhedron.cc C_Polyhedron.defs.hh C ...
by Roberto Bagnara 03 Sep '05

03 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-03 12:01:53 Modified files: src : C_Polyhedron.cc C_Polyhedron.defs.hh C_Polyhedron.inlines.hh NNC_Polyhedron.cc NNC_Polyhedron.defs.hh algorithms.hh Log message: New methods bool C_Polyhedron::poly_hull_assign_if_exact(const C_Polyhedron&) and bool NNC_Polyhedron::poly_hull_assign_if_exact(const NNC_Polyhedron&) and their synonyms bool C_Polyhedron::upper_bound_assign_if_exact(const C_Polyhedron&) and bool NNC_Polyhedron::upper_bound_assign_if_exact(const NNC_Polyhedron&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.cc.diff?cvsr… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.defs.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/C_Polyhedron.inlines.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.cc.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/NNC_Polyhedron.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/algorithms.hh.diff?cvsroo…

1 0