Module: ppl/ppl Branch: master Commit: 5707e3d66eca4be05ef4891081217c1cac5fb96e URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5707e3d66eca4... Author: Enea Zaffanella <zaffanella@cs.unipr.it> Date: Mon Mar 29 09:17:19 2010 +0200 Added procedures computing all the affine quasi-ranking functions. Corrected a few glitches in the documentation and in exception messages. --- src/termination.cc | 38 ++++++++++++ src/termination.defs.hh | 134 ++++++++++++++++++++++++++++++++++++++---- src/termination.templates.hh | 87 ++++++++++++++++++++++----- 3 files changed, 233 insertions(+), 26 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5707e3d66...