November 2006 - PPL-devel - BUGSENG Mailman

ppl src/Pointset_Powerset.cc src/Pointset_Powe ...
by Patricia Hill 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-28 18:59:48 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh tests/Grid : partition1.cc powerset1.cc Log message: Boolean flag name changed from exact to finite_partition. Added another test to powerset1.cc Changed partition1.cc test to use approximate_partition() Revised/added a couple of comments. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/partition1.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powerset1.cc.diff?…

1 0

ppl/src Pointset_Powerset.cc Pointset_Powerset ...
by Enea Zaffanella 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-28 17:20:45 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.defs.hh Log message: Functions approximate_partition() and check_containment() working on (powersets of) grids are now publicly available. Corrected the handling of the boolean argument encoding exactness of the partition. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh…

1 0

ppl/src Pointset_Powerset.templates.hh
by Enea Zaffanella 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-28 17:00:52 Modified files: src : Pointset_Powerset.templates.hh Log message: Use std::make_pair() where appropriate. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.templat…

1 0

ppl/interfaces ppl_interface_generator_common_ ...
by Patricia Hill 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-28 09:14:16 Modified files: interfaces : ppl_interface_generator_common_dat.m4 Log message: Enable ..._geometrically_covers/2 and ..._geometrically_equals/2 for powersets of Grids. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_gene…

1 0

ppl src/Pointset_Powerset.cc src/Pointset_Powe ...
by Patricia Hill 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-28 09:01:03 Modified files: src : Pointset_Powerset.cc Pointset_Powerset.inlines.hh tests/Grid : powerset1.cc Log message: Added geometrically_covers() and geometrically_equals() for Grids. A few basic tests for them also added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.inlines… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powerset1.cc.diff?…

1 0

ppl tests/Grid/Makefile.am src/Pointset_Powers ...
by Patricia Hill 28 Nov '06

28 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2006-11-28 08:18:34 Modified files: tests/Grid : Makefile.am src : Pointset_Powerset.cc Added files: tests/Grid : powerset1.cc Log message: Added poly_difference_assign() for powersets of grids. Tests added to check this. Also added approximate_partition() for two grids that sets a Boolean flag depending on whether or not the partition is exact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/powerset1.cc?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/Makefile.am.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff…

1 0

ppl/src Interval.defs.hh
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 18:29:13 Modified files: src : Interval.defs.hh Log message: Readded set_{lower,upper}_unbounded. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/interfaces/OCaml ppl_ocaml.cc ppl_ocaml.ml ...
by Andrea Cimino 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-27 17:07:58 Modified files: interfaces/OCaml: ppl_ocaml.cc ppl_ocaml.mli test1.ml Log message: Defined and implemented some constructors and methods that relates to Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.cc… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_ocaml.ml… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/test1.ml.dif…

1 0

ppl/src Interval.defs.hh Interval_Info.defs.hh
by Abramo Bagnara 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-27 16:31:29 Modified files: src : Interval.defs.hh Interval_Info.defs.hh Log message: Fixed some constness. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval_Info.defs.hh.dif…

1 0

ppl/src Pointset_Powerset.cc
by Enea Zaffanella 27 Nov '06

27 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2006-11-27 15:24:13 Modified files: src : Pointset_Powerset.cc Log message: Added stub implementations for a couple of fully specialized members. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff…

1 0