[PPL-devel] Polyhedra/ rc/ConSys.defs.hh rc/Constraint.cc ...

[Roberto Bagnara]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	roberto at sandbox.cs.unipr.it	01/09/08 20:43:46

Modified files:
	src            : ConSys.defs.hh Constraint.cc Constraint.defs.hh 
	                 Constraint.inlines.hh LinExpression.cc 
	                 LinExpression.defs.hh LinExpression.inlines.hh 
	                 Makefile.am Makefile.in PPL.cc Polyhedron.cc 
	                 Polyhedron.defs.hh 
	test           : Makefile.am Makefile.in user.cc 

Log message:
	Started being serious about the new interface.
	Several bugs fixed.