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>