Module: ppl/ppl Branch: termination Commit: 1dc0de142813f0fb2120b2e124f658ecf76534ae URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1dc0de142813f... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Tue Mar 16 14:58:52 2010 +0400 New versions of the termination utility functions with two input parameters. The PR ones are only stubs for the time being. --- src/termination.cc | 167 +++++++++++++++++ src/termination.defs.hh | 176 +++++++++++++++++ src/termination.templates.hh | 382 ++++++++++++++++---------------------- tests/Polyhedron/termination1.cc | 2 +- 4 files changed, 502 insertions(+), 225 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=1dc0de142...