ppl_prolog_common.defs.hh File Reference

#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"
Include dependency graph for ppl_prolog_common.defs.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  Parma_Polyhedra_Library::Interfaces::Prolog::internal_exception
class  Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_unsigned_out_of_range
class  Parma_Polyhedra_Library::Interfaces::Prolog::non_linear
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_an_integer
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_unsigned_integer
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_boolean
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_variable
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_an_optimization_mode
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_width
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_representation
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_bounded_integer_type_overflow
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_complexity_class
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_control_parameter_name
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_control_parameter_value
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_pip_problem_control_parameter_name
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_pip_problem_control_parameter_value
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_universe_or_empty
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_relation
class  Parma_Polyhedra_Library::Interfaces::Prolog::not_a_nil_terminated_list
class  Parma_Polyhedra_Library::Interfaces::Prolog::PPL_integer_out_of_range
class  Parma_Polyhedra_Library::Interfaces::Prolog::ppl_handle_mismatch
class  Parma_Polyhedra_Library::Interfaces::Prolog::unknown_interface_error
struct  Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_Interface_Atom
class  Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception
class  Parma_Polyhedra_Library::Interfaces::Prolog::deterministic_timeout_exception

Namespaces

namespace  Parma_Polyhedra_Library
namespace  Parma_Polyhedra_Library::Interfaces
namespace  Parma_Polyhedra_Library::Interfaces::Prolog

Defines

#define PPL_NO_AUTOMATIC_INITIALIZATION
#define PROLOG_TRACK_ALLOCATION   0
#define NOISY_PROLOG_TRACK_ALLOCATION   0
#define PPL_REGISTER(x)
#define PPL_WEAK_REGISTER(x)
#define PPL_UNREGISTER(x)
#define PPL_CHECK(x)
#define CATCH_ALL

Enumerations

enum  Boundary_Kind { Parma_Polyhedra_Library::Interfaces::Prolog::LOWER_BOUNDARY, Parma_Polyhedra_Library::Interfaces::Prolog::UPPER_BOUNDARY }

Functions

void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const Prolog_unsigned_out_of_range &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_unsigned_integer &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_boolean &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const non_linear &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_variable &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_an_integer &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const ppl_handle_mismatch &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_an_optimization_mode &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_complexity_class &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_bounded_integer_type_width &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_bounded_integer_type_representation &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_bounded_integer_type_overflow &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_control_parameter_name &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_control_parameter_value &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_pip_problem_control_parameter_name &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_pip_problem_control_parameter_value &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_universe_or_empty &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_relation &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const not_a_nil_terminated_list &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const PPL_integer_out_of_range &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const unknown_interface_error &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::overflow_error &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::domain_error &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::length_error &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::invalid_argument &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::logic_error &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::bad_alloc &)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const std::exception &e)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception ()
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const timeout_exception &)
void Parma_Polyhedra_Library::Interfaces::Prolog::handle_exception (const deterministic_timeout_exception &)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::variable_term (dimension_type varid)
template<typename U >
Parma_Polyhedra_Library::Interfaces::Prolog::term_to_unsigned (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_boolean (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_universe_or_empty (Prolog_term_ref t, const char *where)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::interval_term (const Parma_Polyhedra_Library::Rational_Box::interval_type &i)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_complexity_class (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_bounded_integer_type_width (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_bounded_integer_type_representation (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_bounded_integer_type_overflow (Prolog_term_ref t, const char *where)
template<typename T >
T * Parma_Polyhedra_Library::Interfaces::Prolog::term_to_handle (Prolog_term_ref t, const char *where)
bool Parma_Polyhedra_Library::Interfaces::Prolog::term_to_boundary (Prolog_term_ref t_b, Boundary_Kind kind, bool &finite, bool &closed, Parma_Polyhedra_Library::Coefficient &n, Parma_Polyhedra_Library::Coefficient &d)
Parma_Polyhedra_Library::Relation_Symbol Parma_Polyhedra_Library::Interfaces::Prolog::term_to_relation_symbol (Prolog_term_ref t_r, const char *where)
Parma_Polyhedra_Library::Coefficient Parma_Polyhedra_Library::Interfaces::Prolog::integer_term_to_Coefficient (Prolog_term_ref t)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::Coefficient_to_integer_term (const Parma_Polyhedra_Library::Coefficient &n)
bool Parma_Polyhedra_Library::Interfaces::Prolog::unify_long (Prolog_term_ref t, long l)
bool Parma_Polyhedra_Library::Interfaces::Prolog::unify_ulong (Prolog_term_ref t, unsigned long l)
Parma_Polyhedra_Library::Linear_Expression Parma_Polyhedra_Library::Interfaces::Prolog::build_linear_expression (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Constraint Parma_Polyhedra_Library::Interfaces::Prolog::build_constraint (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Congruence Parma_Polyhedra_Library::Interfaces::Prolog::build_congruence (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Generator Parma_Polyhedra_Library::Interfaces::Prolog::build_generator (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Grid_Generator Parma_Polyhedra_Library::Interfaces::Prolog::build_grid_generator (Prolog_term_ref t, const char *where)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::get_linear_expression (const Parma_Polyhedra_Library::Linear_Expression &le)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::constraint_term (const Parma_Polyhedra_Library::Constraint &c)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::congruence_term (const Parma_Polyhedra_Library::Congruence &cg)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::generator_term (const Parma_Polyhedra_Library::Generator &g)
Prolog_term_ref Parma_Polyhedra_Library::Interfaces::Prolog::grid_generator_term (const Parma_Polyhedra_Library::Grid_Generator &g)
Parma_Polyhedra_Library::Variable Parma_Polyhedra_Library::Interfaces::Prolog::term_to_Variable (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Coefficient Parma_Polyhedra_Library::Interfaces::Prolog::term_to_Coefficient (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_optimization_mode (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_control_parameter_name (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_control_parameter_value (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_pip_problem_control_parameter_name (Prolog_term_ref t, const char *where)
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::term_to_pip_problem_control_parameter_value (Prolog_term_ref t, const char *where)
void Parma_Polyhedra_Library::Interfaces::Prolog::check_nil_terminating (Prolog_term_ref t, const char *where)
Prolog_foreign_return_type ppl_version_major (Prolog_term_ref t_v)
Prolog_foreign_return_type ppl_version_minor (Prolog_term_ref t_v)
Prolog_foreign_return_type ppl_version_revision (Prolog_term_ref t_v)
Prolog_foreign_return_type ppl_version_beta (Prolog_term_ref t_v)
Prolog_foreign_return_type ppl_version (Prolog_term_ref t_v)
Prolog_foreign_return_type ppl_banner (Prolog_term_ref t_b)
Prolog_foreign_return_type ppl_max_space_dimension (Prolog_term_ref t_msd)
Prolog_foreign_return_type ppl_initialize ()
Prolog_foreign_return_type ppl_finalize ()
Prolog_foreign_return_type ppl_set_rounding_for_PPL ()
Prolog_foreign_return_type ppl_restore_pre_PPL_rounding ()
Prolog_foreign_return_type ppl_irrational_precision (Prolog_term_ref t_p)
Prolog_foreign_return_type ppl_set_irrational_precision (Prolog_term_ref t_p)
Prolog_foreign_return_type ppl_set_timeout_exception_atom (Prolog_term_ref t_tea)
Prolog_foreign_return_type ppl_timeout_exception_atom (Prolog_term_ref t)
Prolog_foreign_return_type ppl_set_timeout (Prolog_term_ref t_time)
Prolog_foreign_return_type ppl_reset_timeout ()
Prolog_foreign_return_type ppl_set_deterministic_timeout (Prolog_term_ref t_weight)
Prolog_foreign_return_type ppl_reset_deterministic_timeout ()
Prolog_foreign_return_type ppl_Coefficient_bits (Prolog_term_ref t_bits)
Prolog_foreign_return_type ppl_Coefficient_is_bounded ()
Prolog_foreign_return_type ppl_Coefficient_min (Prolog_term_ref t_min)
Prolog_foreign_return_type ppl_Coefficient_max (Prolog_term_ref t_max)
Prolog_foreign_return_type ppl_new_MIP_Problem_from_space_dimension (Prolog_term_ref t_nd, Prolog_term_ref t_mip)
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)
Prolog_foreign_return_type ppl_new_MIP_Problem_from_MIP_Problem (Prolog_term_ref t_mip_source, Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_MIP_Problem_swap (Prolog_term_ref t_lhs, Prolog_term_ref t_rhs)
Prolog_foreign_return_type ppl_delete_MIP_Problem (Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_MIP_Problem_space_dimension (Prolog_term_ref t_mip, Prolog_term_ref t_sd)
Prolog_foreign_return_type ppl_MIP_Problem_integer_space_dimensions (Prolog_term_ref t_mip, Prolog_term_ref t_vlist)
Prolog_foreign_return_type ppl_MIP_Problem_constraints (Prolog_term_ref t_mip, Prolog_term_ref t_clist)
Prolog_foreign_return_type ppl_MIP_Problem_objective_function (Prolog_term_ref t_mip, Prolog_term_ref t_le_expr)
Prolog_foreign_return_type ppl_MIP_Problem_optimization_mode (Prolog_term_ref t_mip, Prolog_term_ref t_opt)
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)
Prolog_foreign_return_type ppl_MIP_Problem_clear (Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_MIP_Problem_add_space_dimensions_and_embed (Prolog_term_ref t_mip, Prolog_term_ref t_nnd)
Prolog_foreign_return_type ppl_MIP_Problem_add_to_integer_space_dimensions (Prolog_term_ref t_mip, Prolog_term_ref t_vlist)
Prolog_foreign_return_type ppl_MIP_Problem_add_constraint (Prolog_term_ref t_mip, Prolog_term_ref t_c)
Prolog_foreign_return_type ppl_MIP_Problem_add_constraints (Prolog_term_ref t_mip, Prolog_term_ref t_clist)
Prolog_foreign_return_type ppl_MIP_Problem_set_objective_function (Prolog_term_ref t_mip, Prolog_term_ref t_le_expr)
Prolog_foreign_return_type ppl_MIP_Problem_set_optimization_mode (Prolog_term_ref t_mip, Prolog_term_ref t_opt)
Prolog_foreign_return_type ppl_MIP_Problem_set_control_parameter (Prolog_term_ref t_mip, Prolog_term_ref t_cp_value)
Prolog_foreign_return_type ppl_MIP_Problem_is_satisfiable (Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_MIP_Problem_solve (Prolog_term_ref t_mip, Prolog_term_ref t_status)
Prolog_foreign_return_type ppl_MIP_Problem_feasible_point (Prolog_term_ref t_mip, Prolog_term_ref t_g)
Prolog_foreign_return_type ppl_MIP_Problem_optimizing_point (Prolog_term_ref t_mip, Prolog_term_ref t_g)
Prolog_foreign_return_type ppl_MIP_Problem_optimal_value (Prolog_term_ref t_mip, Prolog_term_ref t_n, Prolog_term_ref t_d)
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)
Prolog_foreign_return_type ppl_MIP_Problem_OK (Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_MIP_Problem_ascii_dump (Prolog_term_ref t_mip)
Prolog_foreign_return_type ppl_new_PIP_Problem_from_space_dimension (Prolog_term_ref t_nd, Prolog_term_ref t_pip)
Prolog_foreign_return_type ppl_new_PIP_Problem_from_PIP_Problem (Prolog_term_ref t_pip_source, Prolog_term_ref t_pip)
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)
Prolog_foreign_return_type ppl_PIP_Problem_swap (Prolog_term_ref t_lhs, Prolog_term_ref t_rhs)
Prolog_foreign_return_type ppl_delete_PIP_Problem (Prolog_term_ref t_pip)
Prolog_foreign_return_type ppl_PIP_Problem_space_dimension (Prolog_term_ref t_pip, Prolog_term_ref t_sd)
Prolog_foreign_return_type ppl_PIP_Problem_parameter_space_dimensions (Prolog_term_ref t_pip, Prolog_term_ref t_vlist)
Prolog_foreign_return_type ppl_PIP_Problem_constraints (Prolog_term_ref t_pip, Prolog_term_ref t_cs)
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)
Prolog_foreign_return_type ppl_PIP_Problem_clear (Prolog_term_ref t_pip)
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)
Prolog_foreign_return_type ppl_PIP_Problem_add_to_parameter_space_dimensions (Prolog_term_ref t_pip, Prolog_term_ref t_vlist)
Prolog_foreign_return_type ppl_PIP_Problem_add_constraint (Prolog_term_ref t_pip, Prolog_term_ref t_c)
Prolog_foreign_return_type ppl_PIP_Problem_add_constraints (Prolog_term_ref t_pip, Prolog_term_ref t_clist)
Prolog_foreign_return_type ppl_PIP_Problem_set_control_parameter (Prolog_term_ref t_pip, Prolog_term_ref t_cp_value)
Prolog_foreign_return_type ppl_PIP_Problem_is_satisfiable (Prolog_term_ref t_pip)
Prolog_foreign_return_type ppl_PIP_Problem_solve (Prolog_term_ref t_pip, Prolog_term_ref t_status)
Prolog_foreign_return_type ppl_PIP_Problem_solution (Prolog_term_ref t_pip, Prolog_term_ref t_pip_tree)
Prolog_foreign_return_type ppl_PIP_Problem_optimizing_solution (Prolog_term_ref t_pip, Prolog_term_ref t_pip_tree)
Prolog_foreign_return_type ppl_PIP_Problem_has_big_parameter_dimension (Prolog_term_ref t_pip, Prolog_term_ref t_d)
Prolog_foreign_return_type ppl_PIP_Problem_set_big_parameter_dimension (Prolog_term_ref t_pip, Prolog_term_ref t_d)
Prolog_foreign_return_type ppl_PIP_Problem_OK (Prolog_term_ref t_pip)
Prolog_foreign_return_type ppl_PIP_Problem_ascii_dump (Prolog_term_ref t_pip)
Prolog_foreign_return_type ppl_PIP_Tree_Node_constraints (Prolog_term_ref t_tree_node, Prolog_term_ref t_clist)
Prolog_foreign_return_type ppl_PIP_Tree_Node_is_solution (Prolog_term_ref t_tree_node)
Prolog_foreign_return_type ppl_PIP_Tree_Node_is_decision (Prolog_term_ref t_tree_node)
Prolog_foreign_return_type ppl_PIP_Tree_Node_is_bottom (Prolog_term_ref t_tree_node)
Prolog_foreign_return_type ppl_PIP_Tree_Node_artificials (Prolog_term_ref t_tree_node, Prolog_term_ref t_artlist)
Prolog_foreign_return_type ppl_PIP_Tree_Node_OK (Prolog_term_ref t_pip_tree)
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)
Prolog_foreign_return_type ppl_PIP_Tree_Node_true_child (Prolog_term_ref t_pip_dec, Prolog_term_ref t_pip_tree)
Prolog_foreign_return_type ppl_PIP_Tree_Node_false_child (Prolog_term_ref t_pip_dec, Prolog_term_ref t_pip_tree)

Variables

Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_nil
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_dollar_VAR
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_plus
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_minus
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_asterisk
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_slash
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_less_than
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_equal_less_than
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_equal
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_greater_than_equal
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_greater_than
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_is_congruent_to
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_modulo
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_line
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_ray
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_point
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_closure_point
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_grid_line
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_parameter
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_grid_point
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_is_disjoint
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_strictly_intersects
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_is_included
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_saturates
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_subsumes
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_c
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_empty
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_o
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_i
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_minf
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_pinf
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_polynomial
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_simplex
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_any
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_bits_8
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_bits_16
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_bits_32
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_bits_64
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_bits_128
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_unsigned
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_signed_2_complement
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_overflow_wraps
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_overflow_undefined
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_overflow_impossible
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_true
Prolog_atom Parma_Polyhedra_Library::Interfaces::Prolog::a_false
const Prolog_Interface_Atom Parma_Polyhedra_Library::Interfaces::Prolog::prolog_interface_atoms []

Define Documentation

#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 (  ) 

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 (  ) 
#define PPL_UNREGISTER (  ) 

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 (  ) 
#define PROLOG_TRACK_ALLOCATION   0

Definition at line 41 of file ppl_prolog_common.defs.hh.


Function Documentation

Prolog_foreign_return_type ppl_banner ( Prolog_term_ref  t_b  ) 

Definition at line 1774 of file ppl_prolog_common.cc.

References banner(), and CATCH_ALL.

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 (  ) 
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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_ascii_dump ( Prolog_term_ref  t_mip  ) 

Definition at line 2515 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_clear ( Prolog_term_ref  t_mip  ) 

Definition at line 2221 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_is_satisfiable ( Prolog_term_ref  t_mip  ) 

Definition at line 2397 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_OK ( Prolog_term_ref  t_mip  ) 

Definition at line 2503 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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 
)
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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_ascii_dump ( Prolog_term_ref  t_pip  ) 

Definition at line 2975 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_clear ( Prolog_term_ref  t_pip  ) 

Definition at line 2687 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_OK ( Prolog_term_ref  t_pip  ) 

Definition at line 2963 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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 
)
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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and PPL_CHECK.

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.

References CATCH_ALL, and version().

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().

Generated on Sun Feb 27 16:22:54 2011 for PPL Prolog Language Interface by  doxygen 1.6.3