[PPL-devel] Polyhedra/src Constraint.defs.hh Constraint.in ...

[Enea Zaffanella]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	zaffanella at sandbox.cs.unipr.it	01/10/10 09:31:46

Modified files:
	src            : Constraint.defs.hh Constraint.inlines.hh 

Log message:
	The Type enumeration made PPL_INTERNAL, as well as the is_nontrivial method.
	This causes problems to compilation of user.cc, that have stil lto be solved.
	A few useless detailed comments removed.