November 2006 - PPL-devel - BUGSENG Mailman

ppl/src Box.cc Box.defs.hh Box.templates.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 13:44:02 Modified files: src : Box.cc Box.defs.hh Box.templates.hh Log message: Added void Box<Interval>::add_constraints(const Constraint_System&) and bool Box<Interval>::OK() const. Started drafting void Box<Interval>::add_constraint(const Constraint&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc.diff?cvsroot=ppl&o… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 10:48:23 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: New methods void box_hull_assign(const Box&) and void upper_bound_assign(const Box&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Box.defs.hh Box.inlines.hh Box.templat ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 10:08:06 Modified files: src : Box.defs.hh Box.inlines.hh Box.templates.hh Log message: New methods bool Box<Interval>::marked_empty() const and void Box<Interval>::intersection_assign(const Box&). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

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

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abagnara(a)cs.unipr.it 2006-11-05 09:41:59 Modified files: src : Boundary.defs.hh Interval.defs.hh Log message: Added some methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Interval.defs.hh.diff?cvs…

1 0

ppl/src Box.templates.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 09:37:40 Modified files: src : Box.templates.hh Log message: Two FIXMEs resolved by using Interval::set_lower_unbounded() and Interval::set_upper_unbounded(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Boundary.defs.hh Box.defs.hh Box.inlin ...
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-05 09:27:05 Modified files: src : Boundary.defs.hh Box.defs.hh Box.inlines.hh Box.templates.hh Log message: Method is_empty() revised. Added methods bool is_universe() const, bool is_topologically_closed() const, bool is_bounded() const, and bool contains_integer_point() const. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Boundary.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh.diff?cvs…

1 0

ppl/src Any_Pointset.defs.hh
by Roberto Bagnara 05 Nov '06

05 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2006-11-05 07:40:10 Modified files: src : Any_Pointset.defs.hh Log message: Activated the bounded_affine_image() and bounded_affine_preimage() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Any_Pointset.defs.hh.diff…

1 0

ppl interfaces/Prolog/ppl_interface_generator_ ...
by Roberto Bagnara 04 Nov '06

04 Nov '06

1 0

ppl/interfaces/Java Makefile.am ppl_java/Makef ...
by Andrea Cimino 04 Nov '06

04 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Changes by: cimino(a)cs.unipr.it 2006-11-04 20:25:41 Modified files: interfaces/Java: Makefile.am interfaces/Java/ppl_java: Makefile.am Log message: If Java interface generation is enabled, ppl_java.jar is automatically built. The java files are now compiled always together. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/Makefile.am.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/Make…

1 0

ppl/src Interval.defs.hh Makefile.am Box.cc Bo ...
by Roberto Bagnara 04 Nov '06

04 Nov '06

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: bagnara(a)cs.unipr.it 2006-11-04 19:58:55 Modified files: src : Interval.defs.hh Makefile.am Added files: src : Box.cc Box.defs.hh Box.inlines.hh Box.templates.hh Box.types.hh Log message: The new Box templatic class efficiently represents not necessarily closed, iso-oriented hyperrectangles. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.cc?cvsroot=ppl&only_w… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.defs.hh?cvsroot=ppl&o… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.inlines.hh?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.templates.hh?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Box.types.hh?cvsroot=ppl&… 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/Makefile.am.diff?cvsroot=…

1 0