Module: ppl/ppl Branch: master Commit: 7619e0ea164cc929b987b59edbc87e3a0987bf0d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7619e0ea164cc...
Author: Enea Zaffanella zaffanella@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>