June 2002 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog clpq.pl
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 12:47:31 Modified files: interfaces/Prolog: clpq.pl Log message: clpq.pl only uses C polyhedron again. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif…

1 0

ppl/src C_Polyhedron.defs.hh NNC_Polyhedron.de ...
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 12:42:37 Modified files: src : C_Polyhedron.defs.hh NNC_Polyhedron.defs.hh Polyhedron.defs.hh globals.hh Log message: Added documentation for constructor of C_ and NNC_ polyhedra out of a bounding box. The comment on the C_Polyhedron destructor is now a proper doxygen comment. Added a short description doc for struct FromBoundingBox to avoid cluttering the ``PPL Compound List'' page. 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… 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/globals.hh.diff?cvsroot=p…

1 0

ppl/src LinExpression.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 11:25:30 Modified files: src : LinExpression.defs.hh Log message: Corrected typo in documentation of explicit LinExpression(const Generator& g); Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Polyhedron.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:54:44 Modified files: src : Polyhedron.defs.hh Log message: Improved documentation of poly_difference_assign* methods, stating that topological closure is enforced when *this is a C_Polyhedron. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src LinExpression.defs.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:24:51 Modified files: src : LinExpression.defs.hh Log message: Constructors of a LinExpression out of a Constraint/Generator made public. Added a more detailed comment about the unicity of the built expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif…

1 0

ppl/src Constraint.inlines.hh
by Enea Zaffanella 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-06-17 10:04:00 Modified files: src : Constraint.inlines.hh Log message: Removed FIXME's about the efficiency of row-type setting methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Constraint.inlines.hh.dif…

1 0

ppl/interfaces/Prolog Prolog_interface.dox clpq.pl
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 08:59:28 Modified files: interfaces/Prolog: Prolog_interface.dox clpq.pl Log message: clpq.pl is updated to allow for strict constraints. Improved comments for new polyhedron predicates from consys, gensys and boxes. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif…

1 0

ppl/doc definitions.dox
by Patricia Hill 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2002-06-17 08:47:34 Modified files: doc : definitions.dox Log message: Paragraphs on intervals and bounding boxes improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…

1 0

ppl/Watchdog Watchdog.cc Watchdog.defs.hh
by Roberto Bagnara 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-17 08:07:07 Modified files: Watchdog : Watchdog.cc Watchdog.defs.hh Log message: Use #ifdef to test configuration symbols that may be undefined or defined to 1. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.cc.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Watchdog/Watchdog.defs.hh.dif…

1 0

ppl/src Matrix.cc
by Roberto Bagnara 17 Jun '02

17 Jun '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-06-17 08:05:07 Modified files: src : Matrix.cc Log message: It is non-standard to omit the second argument of std::vector::iterator std::vector::insert(iterator position, const T& x). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…

1 0