ppl_prolog_common.cc File Reference

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

Go to the source code of this file.

Namespaces

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

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::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 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_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_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
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 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_clist 
)

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_pip,
Prolog_term_ref  t_cs 
)

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,
Prolog_term_ref  t_ptree 
)

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

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

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

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  ) 

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,
Prolog_term_ref  t_var,
Prolog_term_ref  t_le 
)

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,
Prolog_term_ref  t_ptree 
)

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