[PPL-devel] Polyhedra/ rc/ConSys.defs.hh rc/ConSys.inlines ...
Roberto Bagnara
roberto at sandbox.cs.unipr.it
Thu Sep 6 21:53:12 CEST 2001
CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto at sandbox.cs.unipr.it 01/09/06 21:53:12
Modified files:
src : ConSys.defs.hh ConSys.inlines.hh Constraint.cc
Constraint.defs.hh Constraint.inlines.hh
LinExpression.cc LinExpression.defs.hh
LinExpression.inlines.hh Matrix.cc
Matrix.defs.hh Row.defs.hh Row.inlines.hh
Variable.cc Variable.defs.hh
test : Makefile.am Makefile.in user.cc
Log message:
As far as constraints are concerned,
the user interface should be functionally complete.
More information about the PPL-devel
mailing list