[PPL-devel] [GIT] ppl/ppl(master): Check if the Prolog system supports unbounded integers before

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date:   Tue Apr  6 09:00:38 2010 +0100

Check if the Prolog system supports unbounded integers before
testing the big_parameter for PIP_Problem.

---

 interfaces/Prolog/tests/pl_check.pl |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/tests/pl_check.pl b/interfaces/Prolog/tests/pl_check.pl
index 0db2379..c3a29ad 100644
--- a/interfaces/Prolog/tests/pl_check.pl
+++ b/interfaces/Prolog/tests/pl_check.pl
@@ -2428,8 +2428,13 @@ pip_set :-
   make_vars(3, [A, B, C]),
   clean_ppl_new_PIP_Problem(
     3, [A >= 0, A =< 3, A + B + C >= 9, B >= 5, C =< 5], [B], PIP),
-  ppl_PIP_Problem_get_big_parameter_dimension(PIP, _X),
+  pl_check_prolog_flag(bounded, Y),
+  (Y == false ->
+      ppl_PIP_Problem_get_big_parameter_dimension(PIP, _X)
 %  ppl_PIP_Problem_set_big_parameter_dimension(PIP, X),
+  ;
+      true
+  ),
   ppl_PIP_Problem_solve(PIP, optimized),
   !,
   ppl_delete_PIP_Problem(PIP).