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

Author: Patricia Hill p.m.hill@leeds.ac.uk Date: Thu Apr 15 20:15:00 2010 +0100

Added PIP_Problem predicates to list of predicates tested in pl_check.pl.

---

interfaces/Prolog/XSB/xsb_pl_check.P | 34 +++++++++++++++++++++++++++++++++- 1 files changed, 33 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/XSB/xsb_pl_check.P b/interfaces/Prolog/XSB/xsb_pl_check.P index 2422033..1958f03 100644 --- a/interfaces/Prolog/XSB/xsb_pl_check.P +++ b/interfaces/Prolog/XSB/xsb_pl_check.P @@ -151,7 +151,39 @@ site: http://www.cs.unipr.it/ppl/ . */ ppl_MIP_Problem_evaluate_objective_function/4, ppl_MIP_Problem_OK/1, ppl_MIP_Problem_get_control_parameter/3, - ppl_MIP_Problem_set_control_parameter/2 + ppl_MIP_Problem_set_control_parameter/2, + ppl_new_PIP_Problem_from_space_dimension/2, + ppl_new_PIP_Problem/4, + ppl_new_PIP_Problem_from_PIP_Problem/2, + ppl_PIP_Problem_swap/2 *nofail, + ppl_delete_PIP_Problem/1 *nofail, + ppl_PIP_Problem_space_dimension/2, + ppl_PIP_Problem_parameter_space_dimensions/2, + ppl_PIP_Problem_constraints/2, + ppl_PIP_Problem_clear/1, + ppl_PIP_Problem_add_space_dimensions_and_embed/3, + ppl_PIP_Problem_add_to_parameter_space_dimensions/2, + ppl_PIP_Problem_add_constraint/2, + ppl_PIP_Problem_add_constraints/2, + ppl_PIP_Problem_set_control_parameter/2 *nofail, + ppl_PIP_Problem_get_control_parameter/3, + ppl_PIP_Problem_has_big_parameter_dimension/2, + ppl_PIP_Problem_set_big_parameter_dimension/2, + ppl_PIP_Problem_is_satisfiable/1, + ppl_PIP_Problem_solve/2, + ppl_PIP_Problem_solution/2, + ppl_PIP_Problem_optimizing_solution/2, + ppl_PIP_Problem_OK/1, + ppl_PIP_Problem_ascii_dump/1, + ppl_PIP_Tree_Node_constraints/2, + ppl_PIP_Tree_Node_is_solution/1, + ppl_PIP_Tree_Node_is_decision/1, + ppl_PIP_Tree_Node_is_bottom/1, + ppl_PIP_Tree_Node_artificials/2, + ppl_PIP_Tree_Node_OK/1, + ppl_PIP_Tree_Node_parametric_values/3, + ppl_PIP_Tree_Node_true_child/2, + ppl_PIP_Tree_Node_false_child/2 from ppl_xsb.

:- [ppl_xsb].