10 Oct
2001
10 Oct
'01
9:31 a.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: zaffanella@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.