Module: ppl/ppl Branch: master Commit: 087b4f0fa21c23ce4799ec96ad8108cb7911c40a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=087b4f0fa21c2...
Author: Patricia Hill p.m.hill@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).