Hello Jaco,
did you take not of the corrections recently made by Patricia Hill? The commit message is reproduced below. Kind regards,
Roberto
-------- Forwarded Message -------- Subject: [PPL-devel] [GIT] ppl/ppl(devel): Fixed typos in Prolog documentation for ppl_Pointset_Powerset predicates. Date: Tue, 8 Aug 2017 21:09:25 +0200 (CEST) From: Patricia Hill patricia.hill@bugseng.com Reply-To: The Parma Polyhedra Library developers' list ppl-devel@cs.unipr.it To: ppl-devel@cs.unipr.it
Module: ppl/ppl Branch: devel Commit: f41d7c42ac9dadb807fb6a499d8d083125cbc345 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f41d7c42ac9da...
Author: Patricia Hill patricia.hill@bugseng.com Date: Tue Aug 8 20:06:17 2017 +0100
Fixed typos in Prolog documentation for ppl_Pointset_Powerset predicates.
---
.../Prolog/Prolog_interface_sysindep_domains.dox | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox index d868ad3..9d4d273 100644 --- a/interfaces/Prolog/Prolog_interface_sysindep_domains.dox +++ b/interfaces/Prolog/Prolog_interface_sysindep_domains.dox @@ -812,15 +812,15 @@ on these iterators and disjuncts via the usual handles. \c Iterator_1 is equal to the iterator referenced by \c Iterator_2.</EM> -<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_increment(+Iterator)</CODE><BR> +<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_increment_iterator(+Iterator)</CODE><BR> <EM>Increments the iterator referenced by \c Iterator so that it "points" to the next disjunct.</EM> -<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_decrement(+Iterator)</CODE><BR> +<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_decrement_iterator(+Iterator)</CODE><BR> <EM>Decrements the iterator referenced by \c Iterator so that it "points" to the previous disjunct.</EM> -<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_iterator_get_disjunct(+Iterator, -Handle)</CODE><BR> +<P><CODE>ppl_Pointset_Powerset_C_Polyhedron_get_disjunct(+Iterator, -Handle)</CODE><BR> <EM>Unifies with \c Handle a reference to the disjunct referred to by \c Iterator_1.</EM>
_______________________________________________ PPL-devel mailing list PPL-devel@cs.unipr.it http://www.cs.unipr.it/mailman/listinfo/ppl-devel