CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/16 17:53:34

Modified files: src : Constraint.defs.hh Constraint.inlines.hh GenSys.defs.hh Generator.defs.hh Generator.inlines.hh LinExpression.defs.hh LinExpression.inlines.hh Polyhedron.cc Row.defs.hh Row.inlines.hh

Log message: Draft new interface for Constraint, Generator and GenSys.