October 2002 - PPL-devel - BUGSENG Mailman

ppl src/Polyhedron.defs.hh src/Polyhedron.cc . ...
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 19:17:47 Modified files: src : Polyhedron.defs.hh Polyhedron.cc . : NEWS Log message: New function bool are_disjoint(const Polyhedron&, const Polyhedron&) returning true if and only if the two polyhedra are disjoint. 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.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/NEWS.diff?cvsroot=ppl&r1=1.42…

1 0

ppl/src Polyhedron.defs.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 18:52:07 Modified files: src : Polyhedron.defs.hh Log message: All the relational operators on polyhedra are now commented the same way. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 17:49:14 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: The default constructor now builds an empty (bottom) PowerSet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src BoundingBox.defs.hh ConSys.cc ConSys.d ...
by Enea Zaffanella 05 Oct '02

05 Oct '02

1 0

ppl/tests mc91.cc
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 12:50:21 Modified files: tests : mc91.cc Log message: Fixed and made quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/mc91.cc.diff?cvsroot=pp…

1 0

ppl/src PowerSet.inlines.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 12:50:06 Modified files: src : PowerSet.inlines.hh Log message: Fixed a couple of bugs concerning space dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src PowerSet.defs.hh PowerSet.inlines.hh
by Roberto Bagnara 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2002-10-05 10:29:37 Modified files: src : PowerSet.defs.hh PowerSet.inlines.hh Log message: The default constructor for PowerSet now takes the dimension of the enclosing space as an optional parameter, defaulting to zero. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.defs.hh.diff?cvs… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/PowerSet.inlines.hh.diff?…

1 0

ppl/src GenSys.cc Polyhedron.cc
by Enea Zaffanella 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-05 10:28:03 Modified files: src : GenSys.cc Polyhedron.cc Log message: Added missing \relates doxygen declarations. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src conversion.cc
by Enea Zaffanella 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-05 10:24:23 Modified files: src : conversion.cc Log message: Added a missing namespace qualification in the doxygen comment. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroo…

1 0

ppl/src ConSys.defs.hh ConSys.cc
by Enea Zaffanella 05 Oct '02

05 Oct '02

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2002-10-05 10:23:16 Modified files: src : ConSys.defs.hh ConSys.cc Log message: According to STANDARDS, moved doxygen documentation in the header file. Added a missing \relates declaration to avoid a doxygen warning. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp…

1 0