#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
	Parma_Polyhedra_Library

	Parma_Polyhedra_Library::Interfaces

	Parma_Polyhedra_Library::Interfaces::Prolog

Macros
#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 >
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_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_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_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 []

Macro Definition Documentation

#define CATCH_ALL

Definition at line 533 of file ppl_prolog_common_defs.hh.

#define NOISY_PROLOG_TRACK_ALLOCATION 0

Definition at line 41 of file ppl_prolog_common_defs.hh.

#define PPL_CHECK ( x )

Definition at line 128 of file ppl_prolog_common_defs.hh.

#define PPL_NO_AUTOMATIC_INITIALIZATION

Definition at line 27 of file ppl_prolog_common_defs.hh.

#define PPL_REGISTER ( x )

Definition at line 125 of file ppl_prolog_common_defs.hh.

Referenced by ppl_new_MIP_Problem(), ppl_new_MIP_Problem_from_MIP_Problem(), ppl_new_MIP_Problem_from_space_dimension(), ppl_new_PIP_Problem(), ppl_new_PIP_Problem_from_PIP_Problem(), and ppl_new_PIP_Problem_from_space_dimension().

#define PPL_UNREGISTER ( x )

Definition at line 127 of file ppl_prolog_common_defs.hh.

Referenced by ppl_delete_MIP_Problem(), and ppl_delete_PIP_Problem().

#define PPL_WEAK_REGISTER ( x )

Definition at line 126 of file ppl_prolog_common_defs.hh.

Referenced by ppl_PIP_Problem_optimizing_solution(), ppl_PIP_Problem_solution(), ppl_PIP_Tree_Node_false_child(), and ppl_PIP_Tree_Node_true_child().

#define PROLOG_TRACK_ALLOCATION 0

Definition at line 38 of file ppl_prolog_common_defs.hh.

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

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.

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_tree_node,
		Prolog_term_ref	t_clist
	)

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_dec,
		Prolog_term_ref	t_pip_tree
	)

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

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

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

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

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

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_dec,
		Prolog_term_ref	t_pip_tree
	)

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

Classes

Namespaces

Macros

Enumerations

Functions

Variables

Macro Definition Documentation

Function Documentation