[PPL-devel] Polyhedra/src ConSys.defs.hh GenSys.defs.hh Ma ...
Roberto Bagnara
roberto at sandbox.cs.unipr.it
Tue Aug 28 20:02:42 CEST 2001
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto at sandbox.cs.unipr.it 01/08/28 20:02:42
Modified files:
src : ConSys.defs.hh GenSys.defs.hh Matrix.defs.hh
interface.cc
Added files:
src : restricted_iterator.hh
Log message:
Progress on providing a decent interface to ConSys and GenSys.
More information about the PPL-devel
mailing list