CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto(a)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.
