[PPL-devel] [GIT] ppl/ppl(termination): Documented the interfaces of the termination analysis functions.

7 Mar 2010


      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...