[PPL-devel] [GIT] ppl/ppl(master): Added PIP_Problem predicates to list of predicates

[Patricia Hill]

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

Author: Patricia Hill <p.m.hill at 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].