#include "ppl_ocaml_common.defs.hh"#include "ppl.hh"#include "interfaced_boxes.hh"#include "marked_pointers.hh"#include "caml/mlvalues.h"#include "caml/memory.h"#include "caml/custom.h"#include "caml/fail.h"#include "caml/callback.h"#include "caml/alloc.h"

Go to the source code of this file.
| value build_ocaml_artificial_parameter | ( | const PIP_Tree_Node::Artificial_Parameter & | ppl_artificial_parameter | ) |
Definition at line 1489 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter::denominator().
Referenced by ppl_PIP_Tree_Node_artificials().
| catch | ( | std::bad_alloc & | ) |
Definition at line 1475 of file ppl_ocaml_common.cc.
| catch | ( | ... | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | deterministic_timeout_exception & | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | timeout_exception & | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::exception & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::runtime_error & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::logic_error & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::length_error & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::domain_error & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::overflow_error & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| catch | ( | std::invalid_argument & | e | ) |
Definition at line 1876 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_banner | ( | value | unit | ) |
Definition at line 1674 of file ppl_ocaml_common.cc.
References banner().
| CAMLprim value ppl_Coefficient_bits | ( | value | unit | ) |
Definition at line 1705 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_Coefficient_is_bounded | ( | value | unit | ) |
Definition at line 1713 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_Coefficient_max | ( | value | unit | ) |
Definition at line 1735 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_Coefficient_min | ( | value | unit | ) |
Definition at line 1722 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_io_wrap_string | ( | value | src, | |
| value | indent_depth, | |||
| value | preferred_first_line_length, | |||
| value | preferred_line_length | |||
| ) |
Definition at line 1682 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_irrational_precision | ( | value | unit | ) |
Definition at line 1794 of file ppl_ocaml_common.cc.
References irrational_precision.
| CAMLprim value ppl_Linear_Expression_all_homogeneous_terms_are_zero | ( | value | ocaml_le | ) |
Definition at line 1766 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_Linear_Expression_is_zero | ( | value | ocaml_le | ) |
Definition at line 1757 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_max_space_dimension | ( | value | unit | ) |
Definition at line 1748 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_MIP_Problem_add_constraint | ( | value | caml_mip, | |
| value | caml_constraint | |||
| ) |
Definition at line 958 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_constraint().
| CAMLprim value ppl_MIP_Problem_add_constraints | ( | value | caml_mip, | |
| value | caml_constraints | |||
| ) |
Definition at line 969 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_constraints().
| CAMLprim value ppl_MIP_Problem_add_space_dimensions_and_embed | ( | value | caml_mip, | |
| value | dim | |||
| ) |
Definition at line 936 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_space_dimensions_and_embed().
| CAMLprim value ppl_MIP_Problem_add_to_integer_space_dimensions | ( | value | caml_mip, | |
| value | caml_ivars | |||
| ) |
Definition at line 947 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions().
| CAMLprim value ppl_MIP_Problem_ascii_dump | ( | value | caml_mip | ) |
Definition at line 1190 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::ascii_dump().
| CAMLprim value ppl_MIP_Problem_clear | ( | value | caml_mip | ) |
Definition at line 1158 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::clear().
| CAMLprim value ppl_MIP_Problem_constraints | ( | value | caml_mip | ) |
Definition at line 922 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), Parma_Polyhedra_Library::MIP_Problem::constraints_end(), and Parma_Polyhedra_Library::Constraint_System::insert().
| CAMLprim value ppl_MIP_Problem_evaluate_objective_function | ( | value | caml_mip, | |
| value | caml_generator | |||
| ) |
Definition at line 1112 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::evaluate_objective_function(), and PPL_DIRTY_TEMP_COEFFICIENT.
| CAMLprim value ppl_MIP_Problem_feasible_point | ( | value | caml_mip | ) |
Definition at line 1078 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::feasible_point().
| CAMLprim value ppl_MIP_Problem_get_control_parameter | ( | value | caml_mip, | |
| value | caml_cp_name | |||
| ) |
Definition at line 1053 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::get_control_parameter().
| CAMLprim value ppl_MIP_Problem_integer_space_dimensions | ( | value | caml_mip | ) |
Definition at line 903 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::integer_space_dimensions().
| CAMLprim value ppl_MIP_Problem_is_satisfiable | ( | value | caml_mip | ) |
Definition at line 991 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::is_satisfiable().
| CAMLprim value ppl_MIP_Problem_objective_function | ( | value | caml_mip | ) |
Definition at line 1139 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::Linear_Expression::inhomogeneous_term(), and Parma_Polyhedra_Library::MIP_Problem::objective_function().
| CAMLprim value ppl_MIP_Problem_OK | ( | value | caml_mip | ) |
Definition at line 1130 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::OK().
| CAMLprim value ppl_MIP_Problem_optimal_value | ( | value | caml_mip | ) |
Definition at line 1096 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::optimal_value(), and PPL_DIRTY_TEMP_COEFFICIENT.
| CAMLprim value ppl_MIP_Problem_optimization_mode | ( | value | caml_mip | ) |
Definition at line 1021 of file ppl_ocaml_common.cc.
References MAXIMIZATION, MINIMIZATION, and Parma_Polyhedra_Library::MIP_Problem::optimization_mode().
| CAMLprim value ppl_MIP_Problem_optimizing_point | ( | value | caml_mip | ) |
Definition at line 1087 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::optimizing_point().
| CAMLprim value ppl_MIP_Problem_set_control_parameter | ( | value | caml_mip, | |
| value | caml_cp_value | |||
| ) |
Definition at line 1040 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::set_control_parameter().
| CAMLprim value ppl_MIP_Problem_set_objective_function | ( | value | caml_mip, | |
| value | caml_cost | |||
| ) |
Definition at line 980 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::set_objective_function().
| CAMLprim value ppl_MIP_Problem_set_optimization_mode | ( | value | caml_mip, | |
| value | caml_opt_mode | |||
| ) |
Definition at line 1168 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::set_optimization_mode().
| CAMLprim value ppl_MIP_Problem_solve | ( | value | caml_mip | ) |
Definition at line 1000 of file ppl_ocaml_common.cc.
References OPTIMIZED_MIP_PROBLEM, Parma_Polyhedra_Library::MIP_Problem::solve(), UNBOUNDED_MIP_PROBLEM, and UNFEASIBLE_MIP_PROBLEM.
| CAMLprim value ppl_MIP_Problem_space_dimension | ( | value | ph | ) |
Definition at line 893 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::space_dimension().
| CAMLprim value ppl_MIP_Problem_swap | ( | value | caml_mip1, | |
| value | caml_mip2 | |||
| ) |
Definition at line 1179 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::swap().
| CAMLprim value ppl_new_MIP_Problem | ( | value | d, | |
| value | caml_cs, | |||
| value | caml_cost, | |||
| value | caml_opt_mode | |||
| ) |
Definition at line 878 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_new_MIP_Problem_from_space_dimension | ( | value | d | ) |
Definition at line 868 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_new_PIP_Problem | ( | value | d, | |
| value | caml_cs, | |||
| value | caml_vset | |||
| ) |
Definition at line 1211 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::Constraint_System::begin(), Parma_Polyhedra_Library::Constraint_System::end(), and Parma_Polyhedra_Library::Variables_Set::insert().
| CAMLprim value ppl_new_PIP_Problem_from_space_dimension | ( | value | d | ) |
Definition at line 1201 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_PIP_Problem_add_constraint | ( | value | caml_pip, | |
| value | caml_constraint | |||
| ) |
Definition at line 1301 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_constraint().
| CAMLprim value ppl_PIP_Problem_add_constraints | ( | value | caml_pip, | |
| value | caml_constraints | |||
| ) |
Definition at line 1312 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_constraints().
| CAMLprim value ppl_PIP_Problem_add_space_dimensions_and_embed | ( | value | caml_pip, | |
| value | vdim, | |||
| value | pdim | |||
| ) |
Definition at line 1276 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_space_dimensions_and_embed().
| CAMLprim value ppl_PIP_Problem_add_to_parameter_space_dimensions | ( | value | caml_pip, | |
| value | caml_ivars | |||
| ) |
Definition at line 1289 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_to_parameter_space_dimensions().
| CAMLprim value ppl_PIP_Problem_ascii_dump | ( | value | caml_pip | ) |
Definition at line 1479 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::ascii_dump().
| CAMLprim value ppl_PIP_Problem_clear | ( | value | caml_pip | ) |
Definition at line 1458 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::clear().
| CAMLprim value ppl_PIP_Problem_constraints | ( | value | caml_pip | ) |
Definition at line 1262 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), Parma_Polyhedra_Library::PIP_Problem::constraints_end(), and Parma_Polyhedra_Library::Constraint_System::insert().
| CAMLprim value ppl_PIP_Problem_get_big_parameter_dimension | ( | value | caml_pip | ) |
Definition at line 1335 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::get_big_parameter_dimension(), and not_a_dimension().
| CAMLprim value ppl_PIP_Problem_get_control_parameter | ( | value | caml_pip, | |
| value | caml_cp_name | |||
| ) |
Definition at line 1400 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::get_control_parameter().
| CAMLprim value ppl_PIP_Problem_has_big_parameter_dimension | ( | value | caml_pip | ) |
Definition at line 1349 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::get_big_parameter_dimension(), and not_a_dimension().
| CAMLprim value ppl_PIP_Problem_is_satisfiable | ( | value | caml_pip | ) |
Definition at line 1359 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::is_satisfiable().
| CAMLprim value ppl_PIP_Problem_OK | ( | value | caml_pip | ) |
Definition at line 1449 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::OK().
| CAMLprim value ppl_PIP_Problem_optimizing_solution | ( | value | caml_pip | ) |
Definition at line 1439 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::optimizing_solution().
| CAMLprim value ppl_PIP_Problem_parameter_space_dimensions | ( | value | caml_pip | ) |
Definition at line 1243 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions().
| CAMLprim value ppl_PIP_Problem_set_big_parameter_dimension | ( | value | caml_pip, | |
| value | caml_dim | |||
| ) |
Definition at line 1323 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::set_big_parameter_dimension().
| CAMLprim value ppl_PIP_Problem_set_control_parameter | ( | value | caml_pip, | |
| value | caml_cp_value | |||
| ) |
Definition at line 1387 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::set_control_parameter().
| CAMLprim value ppl_PIP_Problem_solution | ( | value | caml_pip | ) |
Definition at line 1429 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::solution().
| CAMLprim value ppl_PIP_Problem_solve | ( | value | caml_pip | ) |
Definition at line 1368 of file ppl_ocaml_common.cc.
References OPTIMIZED_PIP_PROBLEM, Parma_Polyhedra_Library::PIP_Problem::solve(), and UNFEASIBLE_PIP_PROBLEM.
| CAMLprim value ppl_PIP_Problem_space_dimension | ( | value | pip | ) |
Definition at line 1233 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::space_dimension().
| CAMLprim value ppl_PIP_Problem_swap | ( | value | caml_pip1, | |
| value | caml_pip2 | |||
| ) |
Definition at line 1468 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::swap().
| CAMLprim value ppl_PIP_Tree_Node_artificials | ( | value | caml_node | ) |
Definition at line 1546 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_begin(), Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_end(), and build_ocaml_artificial_parameter().
| CAMLprim value ppl_PIP_Tree_Node_ascii_dump | ( | value | caml_node | ) |
Definition at line 1579 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::ascii_dump().
| CAMLprim value ppl_PIP_Tree_Node_constraints | ( | value | caml_node | ) |
Definition at line 1504 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::constraints().
| CAMLprim value ppl_PIP_Tree_Node_false_child | ( | value | caml_node | ) |
Definition at line 1624 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_PIP_Tree_Node_is_bottom | ( | value | caml_node | ) |
Definition at line 1517 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_PIP_Tree_Node_is_decision | ( | value | caml_node | ) |
Definition at line 1536 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::as_decision().
| CAMLprim value ppl_PIP_Tree_Node_is_solution | ( | value | caml_node | ) |
Definition at line 1526 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::as_solution().
| CAMLprim value ppl_PIP_Tree_Node_OK | ( | value | caml_node | ) |
Definition at line 1567 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::OK().
| CAMLprim value ppl_PIP_Tree_Node_parametric_values | ( | value | caml_node, | |
| value | caml_dim | |||
| ) |
Definition at line 1593 of file ppl_ocaml_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::as_solution(), and Parma_Polyhedra_Library::PIP_Solution_Node::parametric_values().
| CAMLprim value ppl_PIP_Tree_Node_true_child | ( | value | caml_node | ) |
Definition at line 1614 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_reset_deterministic_timeout | ( | value | unit | ) |
Definition at line 1866 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_reset_timeout | ( | value | unit | ) |
Definition at line 1832 of file ppl_ocaml_common.cc.
| CAMLprim value ppl_restore_pre_PPL_rounding | ( | value | unit | ) |
Definition at line 1785 of file ppl_ocaml_common.cc.
References restore_pre_PPL_rounding().
| CAMLprim value ppl_set_deterministic_timeout | ( | value | weight | ) |
Definition at line 1846 of file ppl_ocaml_common.cc.
References abandon_expensive_computations.
| CAMLprim value ppl_set_irrational_precision | ( | value | p | ) |
Definition at line 1802 of file ppl_ocaml_common.cc.
References set_irrational_precision().
| CAMLprim value ppl_set_rounding_for_PPL | ( | value | unit | ) |
Definition at line 1776 of file ppl_ocaml_common.cc.
References set_rounding_for_PPL().
| CAMLprim value ppl_set_timeout | ( | value | time | ) |
Definition at line 1812 of file ppl_ocaml_common.cc.
References abandon_expensive_computations.
| CAMLprim value ppl_version | ( | value | unit | ) |
Definition at line 1666 of file ppl_ocaml_common.cc.
References version().
| CAMLprim value ppl_version_beta | ( | value | unit | ) |
Definition at line 1658 of file ppl_ocaml_common.cc.
References version_beta().
| CAMLprim value ppl_version_major | ( | value | unit | ) |
Definition at line 1634 of file ppl_ocaml_common.cc.
References version_major().
| CAMLprim value ppl_version_minor | ( | value | unit | ) |
Definition at line 1642 of file ppl_ocaml_common.cc.
References version_minor().
| CAMLprim value ppl_version_revision | ( | value | unit | ) |
Definition at line 1650 of file ppl_ocaml_common.cc.
References version_revision().
1.6.3