[PPL-devel] [GIT] ppl/ppl(master): Properly document ppl_Coefficient_bits/1.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 7619e0ea164cc929b987b59edbc87e3a0987bf0d
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164cc929b987b59edbc87e3a0987bf0d

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Fri Apr 16 15:16:17 2010 +0200

Properly document ppl_Coefficient_bits/1.

---

 interfaces/Prolog/Prolog_interface.dox             |    4 ++--
 interfaces/Prolog/XSB/xsb_pl_check.P               |    1 +
 ...erface_generator_prolog_procedure_generators.m4 |    1 +
 interfaces/Prolog/ppl_prolog_sysindep_dox          |    5 +++++
 4 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/interfaces/Prolog/Prolog_interface.dox b/interfaces/Prolog/Prolog_interface.dox
index 7a442e4..7a7744e 100644
--- a/interfaces/Prolog/Prolog_interface.dox
+++ b/interfaces/Prolog/Prolog_interface.dox
@@ -389,9 +389,9 @@ that are included with all instantiations of the Prolog interfaces.
   warranty whatsoever, the C++ compiler used to build the library,
   where to report bugs and where to look for further information.</EM>
 
-<P><CODE> ppl_Coefficient_bits </CODE><BR>
+<P><CODE> ppl_Coefficient_bits(?Bits) </CODE><BR>
 
-  <EM>Unifies the argument with the number of bits used to encode a
+  <EM>Unifies <CODE>Bits</CODE> with the number of bits used to encode a
   Coefficient in the C++ interface; 0 if unbounded.</EM>
 
 <P><CODE> ppl_Coefficient_is_bounded </CODE><BR>
diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P
index c0e773f..e31cc56 100644
--- a/interfaces/Prolog/XSB/xsb_pl_check.P
+++ b/interfaces/Prolog/XSB/xsb_pl_check.P
@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
 	ppl_version/1,
 	ppl_banner/1,
 	ppl_max_space_dimension/1,
+        ppl_Coefficient_bits/1,
 	ppl_Coefficient_is_bounded/0,
 	ppl_Coefficient_max/1,
 	ppl_Coefficient_min/1,
diff --git a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4 b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4
index cfd158b..734c12b 100644
--- a/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4
+++ b/interfaces/Prolog/ppl_interface_generator_prolog_procedure_generators.m4
@@ -41,6 +41,7 @@ ppl_version_beta/1,
 ppl_version/1,
 ppl_banner/1,
 ppl_max_space_dimension/1,
+ppl_Coefficient_bits/1,
 ppl_Coefficient_is_bounded/0,
 ppl_Coefficient_max/1,
 ppl_Coefficient_min/1,
diff --git a/interfaces/Prolog/ppl_prolog_sysindep_dox b/interfaces/Prolog/ppl_prolog_sysindep_dox
index eed4006..10e87e4 100644
--- a/interfaces/Prolog/ppl_prolog_sysindep_dox
+++ b/interfaces/Prolog/ppl_prolog_sysindep_dox
@@ -303,6 +303,11 @@ that are included with all instantiations of the Prolog interfaces.
   warranty whatsoever, the C++ compiler used to build the library,
   where to report bugs and where to look for further information.</EM>
 
+<P><CODE> ppl_Coefficient_bits(?Bits) </CODE><BR>
+
+  <EM>Unifies <CODE>Bits</CODE> with the number of bits used to encode a
+  Coefficient in the C++ interface; 0 if unbounded.</EM>
+
 <P><CODE> ppl_Coefficient_is_bounded </CODE><BR>
 
   <EM>Succeeds if and only if the Coefficients in the C++ interface are bounded.</EM>