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

[Roberto Bagnara]

Module: ppl/ppl
Branch: termination
Commit: 5356f0d0a51259885b184650032e3bfae6963a6f
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5356f0d0a51259885b184650032e3bfae6963a6f

Author: Roberto Bagnara <bagnara at 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=5356f0d0a51259885b184650032e3bfae6963a6f