CVSROOT: /cvs/ppl
Module name: ppl
Branch: lazy
Changes by: ericci(a)cs.unipr.it 2002-11-25 09:25:16
Modified files:
src : Matrix.cc Polyhedron.cc
Log message:
Corrected the bug in Matrix::ascii_load: we used "nrows" instead of
"index", when we set the "index_first_pending".
In Matrix::add_row, erased in a condition of an "if" erased the check
about the number of pending rows, because we use this method only when
the matrix has no pending rows.
In Polyhedron::Polyhedron(Topology topol, ConSys& cs) and
Polyhedron::Polyhedron(Topology topol, const ConSys& cs) erased an "if"
that is repeated twice.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=pp…http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2002-11-23 09:51:15
Modified files:
interfaces/C : ppl_c.h
Log message:
Include <stdio.h> before <gmp.h> so as to avoid warnings
about the implicit declaration of all the I/O functions.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c.h.diff?cvs…