#include "ppl.hh"#include "ppl_prolog_sysdep.hh"#include "interfaced_boxes.hh"#include <set>#include <vector>#include <exception>#include <stdexcept>#include <iostream>#include "ppl_prolog_common.inlines.hh"

Go to the source code of this file.
| #define CATCH_ALL |
Definition at line 539 of file ppl_prolog_common.defs.hh.
Referenced by ppl_banner(), ppl_Coefficient_bits(), ppl_Coefficient_is_bounded(), ppl_Coefficient_max(), ppl_Coefficient_min(), ppl_delete_MIP_Problem(), ppl_delete_PIP_Problem(), ppl_finalize(), ppl_initialize(), ppl_irrational_precision(), ppl_max_space_dimension(), ppl_MIP_Problem_add_constraint(), ppl_MIP_Problem_add_constraints(), ppl_MIP_Problem_add_space_dimensions_and_embed(), ppl_MIP_Problem_add_to_integer_space_dimensions(), ppl_MIP_Problem_ascii_dump(), ppl_MIP_Problem_clear(), ppl_MIP_Problem_constraints(), ppl_MIP_Problem_evaluate_objective_function(), ppl_MIP_Problem_feasible_point(), ppl_MIP_Problem_get_control_parameter(), ppl_MIP_Problem_integer_space_dimensions(), ppl_MIP_Problem_is_satisfiable(), ppl_MIP_Problem_objective_function(), ppl_MIP_Problem_OK(), ppl_MIP_Problem_optimal_value(), ppl_MIP_Problem_optimization_mode(), ppl_MIP_Problem_optimizing_point(), ppl_MIP_Problem_set_control_parameter(), ppl_MIP_Problem_set_objective_function(), ppl_MIP_Problem_set_optimization_mode(), ppl_MIP_Problem_solve(), ppl_MIP_Problem_space_dimension(), ppl_MIP_Problem_swap(), ppl_new_MIP_Problem(), ppl_new_MIP_Problem_from_MIP_Problem(), ppl_new_MIP_Problem_from_space_dimension(), ppl_new_PIP_Problem(), ppl_new_PIP_Problem_from_PIP_Problem(), ppl_new_PIP_Problem_from_space_dimension(), ppl_PIP_Problem_add_constraint(), ppl_PIP_Problem_add_constraints(), ppl_PIP_Problem_add_space_dimensions_and_embed(), ppl_PIP_Problem_add_to_parameter_space_dimensions(), ppl_PIP_Problem_ascii_dump(), ppl_PIP_Problem_clear(), ppl_PIP_Problem_constraints(), ppl_PIP_Problem_get_control_parameter(), ppl_PIP_Problem_has_big_parameter_dimension(), ppl_PIP_Problem_is_satisfiable(), ppl_PIP_Problem_OK(), ppl_PIP_Problem_optimizing_solution(), ppl_PIP_Problem_parameter_space_dimensions(), ppl_PIP_Problem_set_big_parameter_dimension(), ppl_PIP_Problem_set_control_parameter(), ppl_PIP_Problem_solution(), ppl_PIP_Problem_solve(), ppl_PIP_Problem_space_dimension(), ppl_PIP_Problem_swap(), ppl_PIP_Tree_Node_artificials(), ppl_PIP_Tree_Node_constraints(), ppl_PIP_Tree_Node_false_child(), ppl_PIP_Tree_Node_is_bottom(), ppl_PIP_Tree_Node_is_decision(), ppl_PIP_Tree_Node_is_solution(), ppl_PIP_Tree_Node_OK(), ppl_PIP_Tree_Node_parametric_values(), ppl_PIP_Tree_Node_true_child(), ppl_reset_deterministic_timeout(), ppl_reset_timeout(), ppl_restore_pre_PPL_rounding(), ppl_set_deterministic_timeout(), ppl_set_irrational_precision(), ppl_set_rounding_for_PPL(), ppl_set_timeout(), ppl_set_timeout_exception_atom(), ppl_timeout_exception_atom(), ppl_version(), ppl_version_beta(), ppl_version_major(), ppl_version_minor(), and ppl_version_revision().
| #define NOISY_PROLOG_TRACK_ALLOCATION 0 |
Definition at line 44 of file ppl_prolog_common.defs.hh.
| #define PPL_CHECK | ( | x | ) |
Definition at line 131 of file ppl_prolog_common.defs.hh.
Referenced by ppl_MIP_Problem_add_constraint(), ppl_MIP_Problem_add_constraints(), ppl_MIP_Problem_add_space_dimensions_and_embed(), ppl_MIP_Problem_add_to_integer_space_dimensions(), ppl_MIP_Problem_ascii_dump(), ppl_MIP_Problem_clear(), ppl_MIP_Problem_constraints(), ppl_MIP_Problem_evaluate_objective_function(), ppl_MIP_Problem_feasible_point(), ppl_MIP_Problem_get_control_parameter(), ppl_MIP_Problem_integer_space_dimensions(), ppl_MIP_Problem_is_satisfiable(), ppl_MIP_Problem_objective_function(), ppl_MIP_Problem_OK(), ppl_MIP_Problem_optimal_value(), ppl_MIP_Problem_optimization_mode(), ppl_MIP_Problem_optimizing_point(), ppl_MIP_Problem_set_control_parameter(), ppl_MIP_Problem_set_objective_function(), ppl_MIP_Problem_set_optimization_mode(), ppl_MIP_Problem_solve(), ppl_MIP_Problem_space_dimension(), ppl_MIP_Problem_swap(), ppl_new_MIP_Problem_from_MIP_Problem(), ppl_new_PIP_Problem_from_PIP_Problem(), ppl_PIP_Problem_add_constraint(), ppl_PIP_Problem_add_constraints(), ppl_PIP_Problem_add_space_dimensions_and_embed(), ppl_PIP_Problem_add_to_parameter_space_dimensions(), ppl_PIP_Problem_ascii_dump(), ppl_PIP_Problem_clear(), ppl_PIP_Problem_constraints(), ppl_PIP_Problem_get_control_parameter(), ppl_PIP_Problem_has_big_parameter_dimension(), ppl_PIP_Problem_is_satisfiable(), ppl_PIP_Problem_OK(), ppl_PIP_Problem_optimizing_solution(), ppl_PIP_Problem_parameter_space_dimensions(), ppl_PIP_Problem_set_big_parameter_dimension(), ppl_PIP_Problem_set_control_parameter(), ppl_PIP_Problem_solution(), ppl_PIP_Problem_solve(), ppl_PIP_Problem_space_dimension(), ppl_PIP_Problem_swap(), ppl_PIP_Tree_Node_artificials(), ppl_PIP_Tree_Node_constraints(), ppl_PIP_Tree_Node_false_child(), ppl_PIP_Tree_Node_is_bottom(), ppl_PIP_Tree_Node_is_decision(), ppl_PIP_Tree_Node_is_solution(), ppl_PIP_Tree_Node_OK(), ppl_PIP_Tree_Node_parametric_values(), and ppl_PIP_Tree_Node_true_child().
| #define PPL_NO_AUTOMATIC_INITIALIZATION |
Definition at line 27 of file ppl_prolog_common.defs.hh.
| #define PPL_REGISTER | ( | x | ) |
Definition at line 128 of file ppl_prolog_common.defs.hh.
Referenced by ppl_new_MIP_Problem(), ppl_new_MIP_Problem_from_MIP_Problem(), ppl_new_MIP_Problem_from_space_dimension(), ppl_new_PIP_Problem(), ppl_new_PIP_Problem_from_PIP_Problem(), and ppl_new_PIP_Problem_from_space_dimension().
| #define PPL_UNREGISTER | ( | x | ) |
Definition at line 130 of file ppl_prolog_common.defs.hh.
Referenced by ppl_delete_MIP_Problem(), and ppl_delete_PIP_Problem().
| #define PPL_WEAK_REGISTER | ( | x | ) |
Definition at line 129 of file ppl_prolog_common.defs.hh.
Referenced by ppl_PIP_Problem_optimizing_solution(), ppl_PIP_Problem_solution(), ppl_PIP_Tree_Node_false_child(), and ppl_PIP_Tree_Node_true_child().
| #define PROLOG_TRACK_ALLOCATION 0 |
Definition at line 41 of file ppl_prolog_common.defs.hh.
| Prolog_foreign_return_type ppl_banner | ( | Prolog_term_ref | t_b | ) |
Definition at line 1774 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_Coefficient_bits | ( | Prolog_term_ref | t_bits | ) |
Definition at line 1981 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_Coefficient_is_bounded | ( | ) |
Definition at line 1990 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_Coefficient_max | ( | Prolog_term_ref | t_max | ) |
Definition at line 2014 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_DIRTY_TEMP_COEFFICIENT.
| Prolog_foreign_return_type ppl_Coefficient_min | ( | Prolog_term_ref | t_min | ) |
Definition at line 1999 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_DIRTY_TEMP_COEFFICIENT.
| Prolog_foreign_return_type ppl_delete_MIP_Problem | ( | Prolog_term_ref | t_mip | ) |
Definition at line 2120 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_UNREGISTER.
| Prolog_foreign_return_type ppl_delete_PIP_Problem | ( | Prolog_term_ref | t_pip | ) |
Definition at line 2621 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_UNREGISTER.
| Prolog_foreign_return_type ppl_finalize | ( | ) |
Definition at line 1814 of file ppl_prolog_common.cc.
References CATCH_ALL, and finalize().
| Prolog_foreign_return_type ppl_initialize | ( | ) |
Definition at line 1794 of file ppl_prolog_common.cc.
References CATCH_ALL, initialize(), and Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_Interface_Atom::p_atom.
| Prolog_foreign_return_type ppl_irrational_precision | ( | Prolog_term_ref | t_p | ) |
Definition at line 1851 of file ppl_prolog_common.cc.
References CATCH_ALL, and irrational_precision.
| Prolog_foreign_return_type ppl_max_space_dimension | ( | Prolog_term_ref | t_msd | ) |
Definition at line 1785 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_MIP_Problem_add_constraint | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_c | |||
| ) |
Definition at line 2273 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_add_constraints | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_clist | |||
| ) |
Definition at line 2285 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_add_space_dimensions_and_embed | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_nnd | |||
| ) |
Definition at line 2234 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_add_to_integer_space_dimensions | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_vlist | |||
| ) |
Definition at line 2248 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_ascii_dump | ( | Prolog_term_ref | t_mip | ) |
Definition at line 2515 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_clear | ( | Prolog_term_ref | t_mip | ) |
Definition at line 2221 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_constraints | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_clist | |||
| ) |
Definition at line 2166 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_evaluate_objective_function | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_g, | |||
| Prolog_term_ref | t_n, | |||
| Prolog_term_ref | t_d | |||
| ) |
Definition at line 2484 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_DIRTY_TEMP_COEFFICIENT.
| Prolog_foreign_return_type ppl_MIP_Problem_feasible_point | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_g | |||
| ) |
Definition at line 2438 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_get_control_parameter | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_cp_name, | |||
| Prolog_term_ref | t_cp_value | |||
| ) |
Definition at line 2360 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_integer_space_dimensions | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_vlist | |||
| ) |
Definition at line 2144 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_is_satisfiable | ( | Prolog_term_ref | t_mip | ) |
Definition at line 2397 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_objective_function | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_le_expr | |||
| ) |
Definition at line 2186 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_OK | ( | Prolog_term_ref | t_mip | ) |
Definition at line 2503 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_optimal_value | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_n, | |||
| Prolog_term_ref | t_d | |||
| ) |
Definition at line 2466 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_DIRTY_TEMP_COEFFICIENT.
| Prolog_foreign_return_type ppl_MIP_Problem_optimization_mode | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_opt | |||
| ) |
Definition at line 2203 of file ppl_prolog_common.cc.
References CATCH_ALL, MAXIMIZATION, and PPL_CHECK.
| Prolog_foreign_return_type ppl_MIP_Problem_optimizing_point | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_g | |||
| ) |
Definition at line 2452 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_set_control_parameter | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_cp_value | |||
| ) |
Definition at line 2338 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_set_objective_function | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_le_expr | |||
| ) |
Definition at line 2309 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_set_optimization_mode | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_opt | |||
| ) |
Definition at line 2322 of file ppl_prolog_common.cc.
References CATCH_ALL, MAXIMIZATION, MINIMIZATION, and PPL_CHECK.
| Prolog_foreign_return_type ppl_MIP_Problem_solve | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_status | |||
| ) |
Definition at line 2409 of file ppl_prolog_common.cc.
References CATCH_ALL, OPTIMIZED_MIP_PROBLEM, PPL_CHECK, UNBOUNDED_MIP_PROBLEM, and UNFEASIBLE_MIP_PROBLEM.
| Prolog_foreign_return_type ppl_MIP_Problem_space_dimension | ( | Prolog_term_ref | t_mip, | |
| Prolog_term_ref | t_sd | |||
| ) |
Definition at line 2132 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_MIP_Problem_swap | ( | Prolog_term_ref | t_lhs, | |
| Prolog_term_ref | t_rhs | |||
| ) |
Definition at line 2106 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_new_MIP_Problem | ( | Prolog_term_ref | t_nd, | |
| Prolog_term_ref | t_clist, | |||
| Prolog_term_ref | t_le_expr, | |||
| Prolog_term_ref | t_opt, | |||
| Prolog_term_ref | t_mip | |||
| ) |
Definition at line 2048 of file ppl_prolog_common.cc.
References CATCH_ALL, MAXIMIZATION, MINIMIZATION, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_new_MIP_Problem_from_MIP_Problem | ( | Prolog_term_ref | t_mip_source, | |
| Prolog_term_ref | t_mip | |||
| ) |
Definition at line 2084 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_new_MIP_Problem_from_space_dimension | ( | Prolog_term_ref | t_nd, | |
| Prolog_term_ref | t_mip | |||
| ) |
Definition at line 2030 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_new_PIP_Problem | ( | Prolog_term_ref | t_dim, | |
| Prolog_term_ref | t_cs, | |||
| Prolog_term_ref | t_params, | |||
| Prolog_term_ref | t_pip | |||
| ) |
Definition at line 2546 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_new_PIP_Problem_from_PIP_Problem | ( | Prolog_term_ref | t_pip_source, | |
| Prolog_term_ref | t_pip | |||
| ) |
Definition at line 2585 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_new_PIP_Problem_from_space_dimension | ( | Prolog_term_ref | t_nd, | |
| Prolog_term_ref | t_pip | |||
| ) |
Definition at line 2528 of file ppl_prolog_common.cc.
References CATCH_ALL, and PPL_REGISTER.
| Prolog_foreign_return_type ppl_PIP_Problem_add_constraint | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_c | |||
| ) |
Definition at line 2742 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_add_constraints | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_clist | |||
| ) |
Definition at line 2754 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_add_space_dimensions_and_embed | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_num_vars, | |||
| Prolog_term_ref | t_num_params | |||
| ) |
Definition at line 2700 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_add_to_parameter_space_dimensions | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_vlist | |||
| ) |
Definition at line 2717 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_ascii_dump | ( | Prolog_term_ref | t_pip | ) |
Definition at line 2975 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_clear | ( | Prolog_term_ref | t_pip | ) |
Definition at line 2687 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_constraints | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_cs | |||
| ) |
Definition at line 2667 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_get_control_parameter | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_cp_name, | |||
| Prolog_term_ref | t_cp_value | |||
| ) |
Definition at line 2778 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_has_big_parameter_dimension | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_d | |||
| ) |
Definition at line 2859 of file ppl_prolog_common.cc.
References CATCH_ALL, not_a_dimension(), and PPL_CHECK.
| Prolog_foreign_return_type ppl_PIP_Problem_is_satisfiable | ( | Prolog_term_ref | t_pip | ) |
Definition at line 2889 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_OK | ( | Prolog_term_ref | t_pip | ) |
Definition at line 2963 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_optimizing_solution | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_pip_tree | |||
| ) |
Definition at line 2945 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_WEAK_REGISTER.
| Prolog_foreign_return_type ppl_PIP_Problem_parameter_space_dimensions | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_vlist | |||
| ) |
Definition at line 2645 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_set_big_parameter_dimension | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_d | |||
| ) |
Definition at line 2875 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_set_control_parameter | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_cp_value | |||
| ) |
Definition at line 2833 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_solution | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_pip_tree | |||
| ) |
Definition at line 2927 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_WEAK_REGISTER.
| Prolog_foreign_return_type ppl_PIP_Problem_solve | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_status | |||
| ) |
Definition at line 2901 of file ppl_prolog_common.cc.
References CATCH_ALL, OPTIMIZED_PIP_PROBLEM, PPL_CHECK, and UNFEASIBLE_PIP_PROBLEM.
| Prolog_foreign_return_type ppl_PIP_Problem_space_dimension | ( | Prolog_term_ref | t_pip, | |
| Prolog_term_ref | t_sd | |||
| ) |
Definition at line 2633 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Problem_swap | ( | Prolog_term_ref | t_lhs, | |
| Prolog_term_ref | t_rhs | |||
| ) |
Definition at line 2607 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_artificials | ( | Prolog_term_ref | t_tree_node, | |
| Prolog_term_ref | t_artlist | |||
| ) |
Definition at line 3051 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_constraints | ( | Prolog_term_ref | t_tree_node, | |
| Prolog_term_ref | t_clist | |||
| ) |
Definition at line 2987 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_false_child | ( | Prolog_term_ref | t_pip_dec, | |
| Prolog_term_ref | t_pip_tree | |||
| ) |
Definition at line 3109 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_WEAK_REGISTER.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_is_bottom | ( | Prolog_term_ref | t_tree_node | ) |
Definition at line 3037 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_is_decision | ( | Prolog_term_ref | t_tree_node | ) |
Definition at line 3023 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_is_solution | ( | Prolog_term_ref | t_tree_node | ) |
Definition at line 3009 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_OK | ( | Prolog_term_ref | t_pip_tree | ) |
Definition at line 3129 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_parametric_values | ( | Prolog_term_ref | t_pip_sol, | |
| Prolog_term_ref | t_var, | |||
| Prolog_term_ref | t_pvalue_list | |||
| ) |
Definition at line 3073 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_PIP_Tree_Node_true_child | ( | Prolog_term_ref | t_pip_dec, | |
| Prolog_term_ref | t_pip_tree | |||
| ) |
Definition at line 3089 of file ppl_prolog_common.cc.
References CATCH_ALL, PPL_CHECK, and PPL_WEAK_REGISTER.
| Prolog_foreign_return_type ppl_reset_deterministic_timeout | ( | ) |
Definition at line 1968 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_reset_timeout | ( | ) |
Definition at line 1934 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_restore_pre_PPL_rounding | ( | ) |
Definition at line 1842 of file ppl_prolog_common.cc.
References CATCH_ALL, and restore_pre_PPL_rounding().
| Prolog_foreign_return_type ppl_set_deterministic_timeout | ( | Prolog_term_ref | t_weight | ) |
Definition at line 1947 of file ppl_prolog_common.cc.
References abandon_expensive_computations, and CATCH_ALL.
| Prolog_foreign_return_type ppl_set_irrational_precision | ( | Prolog_term_ref | t_p | ) |
Definition at line 1860 of file ppl_prolog_common.cc.
References CATCH_ALL, and set_irrational_precision().
| Prolog_foreign_return_type ppl_set_rounding_for_PPL | ( | ) |
Definition at line 1833 of file ppl_prolog_common.cc.
References CATCH_ALL, and set_rounding_for_PPL().
| Prolog_foreign_return_type ppl_set_timeout | ( | Prolog_term_ref | t_time | ) |
Definition at line 1912 of file ppl_prolog_common.cc.
References abandon_expensive_computations, and CATCH_ALL.
| Prolog_foreign_return_type ppl_set_timeout_exception_atom | ( | Prolog_term_ref | t_tea | ) |
Definition at line 1871 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_timeout_exception_atom | ( | Prolog_term_ref | t | ) |
Definition at line 1902 of file ppl_prolog_common.cc.
References CATCH_ALL.
| Prolog_foreign_return_type ppl_version | ( | Prolog_term_ref | t_v | ) |
Definition at line 1763 of file ppl_prolog_common.cc.
| Prolog_foreign_return_type ppl_version_beta | ( | Prolog_term_ref | t_v | ) |
Definition at line 1754 of file ppl_prolog_common.cc.
References CATCH_ALL, and version_beta().
| Prolog_foreign_return_type ppl_version_major | ( | Prolog_term_ref | t_v | ) |
Definition at line 1727 of file ppl_prolog_common.cc.
References CATCH_ALL, and version_major().
| Prolog_foreign_return_type ppl_version_minor | ( | Prolog_term_ref | t_v | ) |
Definition at line 1736 of file ppl_prolog_common.cc.
References CATCH_ALL, and version_minor().
| Prolog_foreign_return_type ppl_version_revision | ( | Prolog_term_ref | t_v | ) |
Definition at line 1745 of file ppl_prolog_common.cc.
References CATCH_ALL, and version_revision().
1.6.3