October 2001 - PPL-devel - BUGSENG Mailman

ppl/src Polyhedron.defs.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 17:12:40 Modified files: src : Polyhedron.defs.hh Log message: Commented the exception for the function assign_variable and substitute_variable. Now, some important puclic function are in the user manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0

ppl/src Generator.defs.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 17:10:41 Modified files: src : Generator.defs.hh Log message: Commented the exception of the constructor of a vertex. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.defs.hh.diff?cv…

1 0

ppl/src Generator.inlines.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 17:09:32 Modified files: src : Generator.inlines.hh Log message: A line has the inhomogeneus term equal to zero (like a ray). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Generator.inlines.hh.diff…

1 0

ppl/src GenSys.defs.hh
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 16:40:47 Modified files: src : GenSys.defs.hh Log message: Added two examples that show that at least a vertex is necessary in a set of generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.defs.hh.diff?cvsro…

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 15:20:52 Modified files: src : Polyhedron.cc Log message: In functions assign_variable and substitute_variable tha case of denominator == 0 is considered. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src LinExpression.defs.hh Variable.defs.hh
by Enea Zaffanella 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2001-10-16 15:11:52 Modified files: src : LinExpression.defs.hh Variable.defs.hh Log message: No longer using modules (\ingroup, \addgroup, etc.). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/LinExpression.defs.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Variable.defs.hh.diff?cvs…

1 0

remove_dimensions
by P M Hill 16 Oct '01

16 Oct '01

Hi, I want to try and adapt the append code (partly as an exercise in using the ppl)... Looking at the code for append.cc, I see that there a procedure remove_dimensions/1 in Polyhedron.cc However, there seems to be no information on this in the documentation. In fact, it does not seem to exist in the documentation - ?? I have found the definition only by searching the src directory. ciao, Pat

1 0

ppl/src Polyhedron.cc
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 12:26:19 Modified files: src : Polyhedron.cc Log message: Erased a print. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…

1 0

ppl/src ConSys.cc ConSys.defs.hh GenSys.cc Gen ...
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 12:23:01 Modified files: src : ConSys.cc ConSys.defs.hh GenSys.cc GenSys.defs.hh Log message: Corrected my previous error. 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…

1 0

ppl/src Polyhedron.defs.hh Polyhedron.cc
by Elisa Ricci 16 Oct '01

16 Oct '01

CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci(a)cs.unipr.it 2001-10-16 12:09:34 Modified files: src : Polyhedron.defs.hh Polyhedron.cc Log message: The functions assingn_variable and substitute_variable use a Variable instead od a size_t and a const LinExpression instead of a vector<Integer>. In this functions, we use a copy of the `coeff' to find the inverse transformations. Changed the example in according to these changes. 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…

1 0