Module: ppl/ppl Branch: termination Commit: 5356f0d0a51259885b184650032e3bfae6963a6f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a5125... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Sun Mar 7 18:39:34 2010 +0400 Documented the interfaces of the termination analysis functions. --- doc/devref.doxyconf-html.in | 3 + doc/devref.doxyconf-latex.in | 3 + src/termination.cc | 54 ++++++++++---------- src/termination.defs.hh | 114 ++++++++++++++++++++++++++++++++++++++++++ 4 files changed, 147 insertions(+), 27 deletions(-) Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=5356f0d0a...