[PPL-devel] Polyhedra/src ConSys.cc Constraint.inlines.hh ...

24 Sep 2001


      CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto@sandbox.cs.unipr.it	01/09/24 10:27:20
Modified files:
    src            : ConSys.cc Constraint.inlines.hh GenSys.cc 
                     Makefile.am Makefile.in Matrix.cc 
                     Matrix.inlines.hh Row.inlines.hh SatMatrix.cc 
                     SatMatrix.inlines.hh conversion.cc 
    src/Integer    : Integer.cc Integer.defs.hh 
Added files:
    src            : maxmin.hh
Log message:
    Several improvements.

[PPL-devel] Polyhedra/src ConSys.cc Constraint.inlines.hh ...

Roberto Bagnara