CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2005-10-03 12:33:09

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

Log message: Added constructor template and comparison member template, so as to provide a dummy (but working) certificate implementation for all classes PH providing method PH::constraints() (e.g., BD_Shape).

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.defs.hh.di... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/H79_Certificate.inlines.hh...