ppl_prolog_common.cc File Reference

#include "ppl_prolog_common_defs.hh"
#include <exception>
#include <stdexcept>
#include <sstream>
#include <climits>
#include <typeinfo>

Include dependency graph for ppl_prolog_common.cc:

Go to the source code of this file.

Namespaces
	Parma_Polyhedra_Library
	Parma_Polyhedra_Library::Interfaces
	Parma_Polyhedra_Library::Interfaces::Prolog

Typedefs
typedef Parma_Polyhedra_Library::Threshold_Watcher< Parma_Polyhedra_Library::Weightwatch_Traits >	Parma_Polyhedra_Library::Interfaces::Prolog::Weightwatch

Functions
Prolog_term_ref	Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_atom_term_from_string (const char *s)
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 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_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_boolean &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_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::reset_timeout ()
void	Parma_Polyhedra_Library::Interfaces::Prolog::reset_deterministic_timeout ()
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)
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)
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)
template<typename R >
Prolog_term_ref	Parma_Polyhedra_Library::Interfaces::Prolog::get_homogeneous_expression (const R &r)
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)
Prolog_term_ref	Parma_Polyhedra_Library::Interfaces::Prolog::artificial_parameter_term (const PIP_Tree_Node::Artificial_Parameter &art)
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_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)
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_pip_problem_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_value (Prolog_term_ref t, const char *where)
void	Parma_Polyhedra_Library::Interfaces::Prolog::check_nil_terminating (Prolog_term_ref t, const char *where)
dimension_type	Parma_Polyhedra_Library::Interfaces::Prolog::max_representable_dimension (dimension_type d)
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)
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::term_to_relation (Prolog_term_ref t, const char *where)
Parma_Polyhedra_Library::Relation_Symbol	Parma_Polyhedra_Library::Interfaces::Prolog::term_to_relation_symbol (Prolog_term_ref t_r, const char *where)
Prolog_term_ref	Parma_Polyhedra_Library::Interfaces::Prolog::rational_term (const Rational_Box::interval_type::boundary_type &q)
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_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_csecs)
Prolog_foreign_return_type	ppl_reset_timeout ()
Prolog_foreign_return_type	ppl_set_deterministic_timeout (Prolog_term_ref t_unscaled_weight, Prolog_term_ref t_scale)
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_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_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_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 (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_new_PIP_Problem_from_PIP_Problem (Prolog_term_ref t_pip_source, 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_clist)
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_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_set_control_parameter (Prolog_term_ref t_pip, Prolog_term_ref t_cp_value)
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_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_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_pip, Prolog_term_ref t_cs)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_is_solution (Prolog_term_ref t_pip)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_is_decision (Prolog_term_ref t_pip)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_is_bottom (Prolog_term_ref t_pip)
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_parametric_values (Prolog_term_ref t_pip, Prolog_term_ref t_var, Prolog_term_ref t_le)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_true_child (Prolog_term_ref t_pip, Prolog_term_ref t_ptree)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_false_child (Prolog_term_ref t_pip, Prolog_term_ref t_ptree)
Prolog_foreign_return_type	ppl_PIP_Tree_Node_OK (Prolog_term_ref t_pip)

Variables
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::out_of_memory_exception_atom
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_divided_by
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_universe
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_max
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_min
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_unfeasible
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_unbounded
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_optimized
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pricing
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pricing_steepest_edge_float
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pricing_steepest_edge_exact
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pricing_textbook
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_cutting_strategy
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_cutting_strategy_first
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_cutting_strategy_deepest
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_cutting_strategy_all
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pivot_row_strategy
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pivot_row_strategy_first
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_pivot_row_strategy_max_column
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_time_out
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_out_of_memory
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_overflow_error
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_domain_error
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_length_error
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_invalid_argument
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_logic_error
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_ppl_representation_error
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_expected
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_found
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::a_where
Parma_Polyhedra_Library::Watchdog *	Parma_Polyhedra_Library::Interfaces::Prolog::p_timeout_object = 0
Weightwatch *	Parma_Polyhedra_Library::Interfaces::Prolog::p_deterministic_timeout_object = 0
Prolog_atom	Parma_Polyhedra_Library::Interfaces::Prolog::timeout_exception_atom
bool	Parma_Polyhedra_Library::Interfaces::Prolog::Prolog_interface_initialized = false

Function Documentation

Prolog_foreign_return_type ppl_banner

(

Prolog_term_ref

t_b

)

Definition at line 1758 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::banner(), and CATCH_ALL.

Prolog_foreign_return_type ppl_Coefficient_bits

(

Prolog_term_ref

t_bits

)

Definition at line 1949 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_Coefficient_is_bounded

(

)

Definition at line 1958 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_Coefficient_max

(

Prolog_term_ref

t_max

)

Definition at line 1982 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 1967 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 2088 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 2589 of file ppl_prolog_common.cc.

References CATCH_ALL, and PPL_UNREGISTER.

Prolog_foreign_return_type ppl_finalize

(

)

Definition at line 1798 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::finalize().

Prolog_foreign_return_type ppl_initialize

(

)

Definition at line 1778 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::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 1833 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::irrational_precision().

Prolog_foreign_return_type ppl_max_space_dimension

(

Prolog_term_ref

t_msd

)

Definition at line 1769 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::max_space_dimension().

Prolog_foreign_return_type ppl_MIP_Problem_add_constraint	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_c
	)

Definition at line 2241 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraint(), 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 2253 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraints(), CATCH_ALL, Parma_Polyhedra_Library::Constraint_System::insert(), 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 2202 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_space_dimensions_and_embed(), 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 2216 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions(), CATCH_ALL, Parma_Polyhedra_Library::Variables_Set::insert(), and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_ascii_dump

(

Prolog_term_ref

t_mip

)

Definition at line 2483 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::ascii_dump(), CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_clear

(

Prolog_term_ref

t_mip

)

Definition at line 2189 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::clear(), and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_constraints	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_clist
	)

Definition at line 2134 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), Parma_Polyhedra_Library::MIP_Problem::constraints_end(), 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 2452 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::evaluate_objective_function(), 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 2406 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::feasible_point(), 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 2328 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::get_control_parameter(), PPL_CHECK, Parma_Polyhedra_Library::MIP_Problem::PRICING, Parma_Polyhedra_Library::MIP_Problem::PRICING_STEEPEST_EDGE_EXACT, Parma_Polyhedra_Library::MIP_Problem::PRICING_STEEPEST_EDGE_FLOAT, and Parma_Polyhedra_Library::MIP_Problem::PRICING_TEXTBOOK.

Prolog_foreign_return_type ppl_MIP_Problem_integer_space_dimensions	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_vlist
	)

Definition at line 2112 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::integer_space_dimensions(), and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_is_satisfiable

(

Prolog_term_ref

t_mip

)

Definition at line 2365 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::is_satisfiable(), 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 2154 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::objective_function(), and PPL_CHECK.

Prolog_foreign_return_type ppl_MIP_Problem_OK

(

Prolog_term_ref

t_mip

)

Definition at line 2471 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::OK(), 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 2434 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::optimal_value(), 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 2171 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MAXIMIZATION, Parma_Polyhedra_Library::MIP_Problem::optimization_mode(), 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 2420 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::optimizing_point(), 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 2306 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, Parma_Polyhedra_Library::MIP_Problem::PRICING_STEEPEST_EDGE_EXACT, Parma_Polyhedra_Library::MIP_Problem::PRICING_STEEPEST_EDGE_FLOAT, Parma_Polyhedra_Library::MIP_Problem::PRICING_TEXTBOOK, and Parma_Polyhedra_Library::MIP_Problem::set_control_parameter().

Prolog_foreign_return_type ppl_MIP_Problem_set_objective_function	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_le_expr
	)

Definition at line 2277 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::MIP_Problem::set_objective_function().

Prolog_foreign_return_type ppl_MIP_Problem_set_optimization_mode	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_opt
	)

Definition at line 2290 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MAXIMIZATION, Parma_Polyhedra_Library::MINIMIZATION, PPL_CHECK, and Parma_Polyhedra_Library::MIP_Problem::set_optimization_mode().

Prolog_foreign_return_type ppl_MIP_Problem_solve	(	Prolog_term_ref	t_mip,
		Prolog_term_ref	t_status
	)

Definition at line 2377 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::OPTIMIZED_MIP_PROBLEM, PPL_CHECK, Parma_Polyhedra_Library::MIP_Problem::solve(), Parma_Polyhedra_Library::UNBOUNDED_MIP_PROBLEM, and Parma_Polyhedra_Library::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 2100 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::MIP_Problem::space_dimension().

Prolog_foreign_return_type ppl_MIP_Problem_swap	(	Prolog_term_ref	t_lhs,
		Prolog_term_ref	t_rhs
	)

Definition at line 2074 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::swap().

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 2016 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::Constraint_System::insert(), Parma_Polyhedra_Library::MAXIMIZATION, Parma_Polyhedra_Library::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 2052 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 1998 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 2514 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::Variables_Set::insert(), 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 2553 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 2496 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 2710 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraint(), 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 2722 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraints(), CATCH_ALL, Parma_Polyhedra_Library::Constraint_System::insert(), 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 2668 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_space_dimensions_and_embed(), 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 2685 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_to_parameter_space_dimensions(), CATCH_ALL, Parma_Polyhedra_Library::Variables_Set::insert(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_ascii_dump

(

Prolog_term_ref

t_pip

)

Definition at line 2943 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::ascii_dump(), CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_clear

(

Prolog_term_ref

t_pip

)

Definition at line 2655 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::clear(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_constraints	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_clist
	)

Definition at line 2635 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), Parma_Polyhedra_Library::PIP_Problem::constraints_end(), 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 2746 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_ALL, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_DEEPEST, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_FIRST, Parma_Polyhedra_Library::PIP_Problem::get_control_parameter(), Parma_Polyhedra_Library::PIP_Problem::PIVOT_ROW_STRATEGY, Parma_Polyhedra_Library::PIP_Problem::PIVOT_ROW_STRATEGY_FIRST, Parma_Polyhedra_Library::PIP_Problem::PIVOT_ROW_STRATEGY_MAX_COLUMN, 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 2827 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::get_big_parameter_dimension(), Parma_Polyhedra_Library::not_a_dimension(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_is_satisfiable

(

Prolog_term_ref

t_pip

)

Definition at line 2857 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::is_satisfiable(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Problem_OK

(

Prolog_term_ref

t_pip

)

Definition at line 2931 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::OK(), 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 2913 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::optimizing_solution(), 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 2613 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions(), 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 2843 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::PIP_Problem::set_big_parameter_dimension().

Prolog_foreign_return_type ppl_PIP_Problem_set_control_parameter	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_cp_value
	)

Definition at line 2801 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_ALL, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_DEEPEST, Parma_Polyhedra_Library::PIP_Problem::CUTTING_STRATEGY_FIRST, Parma_Polyhedra_Library::PIP_Problem::PIVOT_ROW_STRATEGY_FIRST, Parma_Polyhedra_Library::PIP_Problem::PIVOT_ROW_STRATEGY_MAX_COLUMN, PPL_CHECK, and Parma_Polyhedra_Library::PIP_Problem::set_control_parameter().

Prolog_foreign_return_type ppl_PIP_Problem_solution	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_pip_tree
	)

Definition at line 2895 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, PPL_WEAK_REGISTER, and Parma_Polyhedra_Library::PIP_Problem::solution().

Prolog_foreign_return_type ppl_PIP_Problem_solve	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_status
	)

Definition at line 2869 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::OPTIMIZED_PIP_PROBLEM, PPL_CHECK, Parma_Polyhedra_Library::PIP_Problem::solve(), and Parma_Polyhedra_Library::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 2601 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::PIP_Problem::space_dimension().

Prolog_foreign_return_type ppl_PIP_Problem_swap	(	Prolog_term_ref	t_lhs,
		Prolog_term_ref	t_rhs
	)

Definition at line 2575 of file ppl_prolog_common.cc.

References CATCH_ALL, PPL_CHECK, and Parma_Polyhedra_Library::swap().

Prolog_foreign_return_type ppl_PIP_Tree_Node_artificials	(	Prolog_term_ref	t_tree_node,
		Prolog_term_ref	t_artlist
	)

Definition at line 3019 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_begin(), Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_end(), CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_constraints	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_cs
	)

Definition at line 2955 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::Constraint_System::begin(), CATCH_ALL, Parma_Polyhedra_Library::PIP_Tree_Node::constraints(), Parma_Polyhedra_Library::Constraint_System::end(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_false_child	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_ptree
	)

Definition at line 3077 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Decision_Node::child_node(), PPL_CHECK, and PPL_WEAK_REGISTER.

Prolog_foreign_return_type ppl_PIP_Tree_Node_is_bottom

(

Prolog_term_ref

t_pip

)

Definition at line 3005 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_pip

)

Definition at line 2991 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::as_decision(), CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_is_solution

(

Prolog_term_ref

t_pip

)

Definition at line 2977 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::as_solution(), CATCH_ALL, and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_OK

(

Prolog_term_ref

t_pip

)

Definition at line 3097 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Tree_Node::OK(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_parametric_values	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_var,
		Prolog_term_ref	t_le
	)

Definition at line 3041 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Solution_Node::parametric_values(), and PPL_CHECK.

Prolog_foreign_return_type ppl_PIP_Tree_Node_true_child	(	Prolog_term_ref	t_pip,
		Prolog_term_ref	t_ptree
	)

Definition at line 3057 of file ppl_prolog_common.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Decision_Node::child_node(), PPL_CHECK, and PPL_WEAK_REGISTER.

Prolog_foreign_return_type ppl_reset_deterministic_timeout

(

)

Definition at line 1940 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_reset_timeout

(

)

Definition at line 1910 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_restore_pre_PPL_rounding

(

)

Definition at line 1824 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::restore_pre_PPL_rounding().

Prolog_foreign_return_type ppl_set_deterministic_timeout	(	Prolog_term_ref	t_unscaled_weight,
		Prolog_term_ref	t_scale
	)

Definition at line 1919 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::abandon_expensive_computations, and CATCH_ALL.

Prolog_foreign_return_type ppl_set_irrational_precision

(

Prolog_term_ref

t_p

)

Definition at line 1842 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::set_irrational_precision().

Prolog_foreign_return_type ppl_set_rounding_for_PPL

(

)

Definition at line 1815 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::set_rounding_for_PPL().

Prolog_foreign_return_type ppl_set_timeout

(

Prolog_term_ref

t_csecs

)

Definition at line 1894 of file ppl_prolog_common.cc.

References Parma_Polyhedra_Library::abandon_expensive_computations, and CATCH_ALL.

Prolog_foreign_return_type ppl_set_timeout_exception_atom

(

Prolog_term_ref

t_tea

)

Definition at line 1853 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_timeout_exception_atom

(

Prolog_term_ref

t

)

Definition at line 1884 of file ppl_prolog_common.cc.

References CATCH_ALL.

Prolog_foreign_return_type ppl_version

(

Prolog_term_ref

t_v

)

Definition at line 1747 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::version().

Prolog_foreign_return_type ppl_version_beta

(

Prolog_term_ref

t_v

)

Definition at line 1738 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::version_beta().

Prolog_foreign_return_type ppl_version_major

(

Prolog_term_ref

t_v

)

Definition at line 1711 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::version_major().

Prolog_foreign_return_type ppl_version_minor

(

Prolog_term_ref

t_v

)

Definition at line 1720 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::version_minor().

Prolog_foreign_return_type ppl_version_revision

(

Prolog_term_ref

t_v

)

Definition at line 1729 of file ppl_prolog_common.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::version_revision().