[PPL-devel] Fwd: [GIT] ppl/ppl(devel): Fixed typos in Prolog documentation for ppl_Pointset_Powerset predicates.

[Roberto Bagnara]

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 at bugseng.com>
Reply-To: The Parma Polyhedra Library developers' list <ppl-devel at cs.unipr.it>
To: ppl-devel at 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=f41d7c42ac9dadb807fb6a499d8d083125cbc345

Author: Patricia Hill <patricia.hill at 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 at cs.unipr.it
http://www.cs.unipr.it/mailman/listinfo/ppl-devel


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20170822/db4dca63/attachment.bin>