- PPL-devel - BUGSENG Mailman

ppl/src GenSys.defs.hh ConSys.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:13:00 Modified files: src : GenSys.defs.hh ConSys.defs.hh Log message: When using the doxygen command \code, indentation really matters and, for consistency, we should start with a 2-spaces indentation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.defs.hh.diff?cvsro…

1 0

ppl/src Generator.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:11:12 Modified files: src : Generator.defs.hh Log message: Example on how to build vertices split into two parts: the first one shows how to build a generic vertex and, in particular, the origin of the space; the second one shows how to use the optional denominator argument. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Status.defs.hh Status.cc
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 19:07:51 Modified files: src : Status.defs.hh Status.cc Log message: An annoying warning about an unused argument dealt with by exploiting pre-processing macro NDEBUG. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Status.cc.diff?cvsroot=pp…

1 0

ppl/src Polyhedron.cc conversion.cc simplify.cc
by Elisa Ricci 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-22 16:18:25 Modified files: src : Polyhedron.cc conversion.cc simplify.cc Log message: Used the notation of "vect{..}" for all the vectors that are in the comments. The definitions and the rules must be seen in the "Introduction" instead of "definitions.dox" or "user_definitions.dox". Patches: 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/src/conversion.cc.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=…

1 0

ppl/src Polyhedron.cc Polyhedron.defs.hh
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 16:08:26 Modified files: src : Polyhedron.cc Polyhedron.defs.hh Log message: Now the argument `denominator' for methods Polyhedron::assign_variable and Polyhedron::substitute_variable is a _const_ Integer&, optional and with a default value of 1. Patches: 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/src/Polyhedron.defs.hh.diff?c…

1 0

Commit logs again
by Roberto Bagnara 22 Oct '01

22 Oct '01

Dear all, I have updated the ChangeLog file so you can look at it. This is produced automatically by a Perl script from your commit log messages. The ChangeLog file is documentation, sometimes very useful documentation. Please write your log messages with extra care and please do spell-check them. Thanks, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

ppl ChangeLog
by Roberto Bagnara 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2001-10-22 15:58:11 Modified files: . : ChangeLog Log message: Updated. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/ChangeLog.diff?cvsroot=ppl&r1…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 15:10:10 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Generator.defs.hh Generator.inlines.hh Polyhedron.defs.hh Log message: Operators |, ^, /= have now been replaced by functions `line', 'ray' and 'vertex'. Note that the function vertex has an _optional_ second argument (the denominator), with default value 1. Hopefully, all the documentation has been changed accordingly (please check). In GenSys and ConSys, now the functions assign_variable and substitute_variable take a _const_ Integer& as their third argument. The same change cannot be applied to the corresponding functions defined on Polyhedron, since we perform a swap on this argument, so that it cannot be const. However, I am now seeing if it is possible to have also these as "optional" arguments, with a default value of 1. Alas, I need to read the C++ manual in order to see how I can define a default value for a non-const argument passed by reference. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=pp… 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/GenSys.cc.diff?cvsroot=pp… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

2 1

ppl/tests error1.cc error2.cc error3.cc inters ...
by Enea Zaffanella 22 Oct '01

22 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-22 15:18:49 Modified files: tests : error1.cc error2.cc error3.cc inters2.cc randchull1.cc Log message: All tests updated to use the new functions line, ray and vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error1.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error2.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/error3.cc.diff?cvsroot=… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/inters2.cc.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randchull1.cc.diff?cvsr…

1 0

src/BitSet
by Roberto Bagnara 22 Oct '01

22 Oct '01

You can erase that directory: it was never part of the repository. Ciao, Roberto -- Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0