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