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…
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…
