#include "ppl_c_implementation_common.defs.hh"#include "ppl.hh"#include "ppl_c.h"#include <stdexcept>

Go to the source code of this file.
Namespaces | |
| namespace | Parma_Polyhedra_Library |
| namespace | Parma_Polyhedra_Library::Interfaces |
| namespace | Parma_Polyhedra_Library::Interfaces::C |
Defines | |
| #define | FORMAT "%u" |
| #define | CONVERSION (unsigned) |
Typedefs | |
| typedef const char * | Parma_Polyhedra_Library::Interfaces::C::c_variable_output_function_type (ppl_dimension_type var) |
Functions | |
| const char * | Parma_Polyhedra_Library::Interfaces::C::c_variable_default_output_function (ppl_dimension_type var) |
| void | Parma_Polyhedra_Library::Interfaces::C::cxx_Variable_output_function (std::ostream &s, const Variable &v) |
| void | Parma_Polyhedra_Library::Interfaces::C::notify_error (enum ppl_enum_error_code code, const char *description) |
| void | Parma_Polyhedra_Library::Interfaces::C::reset_timeout () |
| void | Parma_Polyhedra_Library::Interfaces::C::reset_deterministic_timeout () |
| int | ppl_set_error_handler (error_handler_type h) |
| int | ppl_initialize (void) |
| Initializes the Parma Polyhedra Library. This function must be called before any other function. | |
| catch (const std::invalid_argument &e) | |
| catch (const std::domain_error &e) | |
| catch (const std::length_error &e) | |
| catch (const std::logic_error &e) | |
| catch (const std::overflow_error &e) | |
| catch (const std::runtime_error &e) | |
| catch (const std::exception &e) | |
| catch (timeout_exception &) | |
| catch (deterministic_timeout_exception &) | |
| catch (...) | |
| int | ppl_finalize (void) |
| Finalizes the Parma Polyhedra Library. This function must be called after any other function. | |
| int | ppl_set_timeout (unsigned time) |
| Sets the timeout for computations whose completion could require an exponential amount of time. | |
| int | ppl_reset_timeout (void) |
| Resets the timeout time so that the computation is not interrupted. | |
| int | ppl_set_deterministic_timeout (unsigned weight) |
| Sets a threshold for computations whose completion could require an exponential amount of time. | |
| int | ppl_reset_deterministic_timeout (void) |
| Resets the deterministic timeout so that the computation is not interrupted. | |
| int | ppl_set_rounding_for_PPL (void) |
| Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. | |
| int | ppl_restore_pre_PPL_rounding (void) |
| Sets the FPU rounding mode as it was before initialization of the PPL. | |
| int | ppl_irrational_precision (unsigned *p) |
Writes to p the precision parameter used for irrational calculations. | |
| int | ppl_set_irrational_precision (unsigned p) |
| Sets the precision parameter used for irrational calculations. | |
| int | ppl_version_major (void) |
| Returns the major number of the PPL version. | |
| int | ppl_version_minor (void) |
| Returns the minor number of the PPL version. | |
| int | ppl_version_revision (void) |
| Returns the revision number of the PPL version. | |
| int | ppl_version_beta (void) |
| Returns the beta number of the PPL version. | |
| int | ppl_version (const char **p) |
Writes to *p a pointer to a character string containing the PPL version. | |
| int | ppl_banner (const char **p) |
Writes to *p a pointer to a character string containing the PPL banner. | |
| int | ppl_max_space_dimension (ppl_dimension_type *m) |
Writes to m the maximum space dimension this library can handle. | |
| int | ppl_not_a_dimension (ppl_dimension_type *m) |
Writes to m a value that does not designate a valid dimension. | |
| int | ppl_new_Coefficient (ppl_Coefficient_t *pc) |
| int | ppl_new_Coefficient_from_mpz_t (ppl_Coefficient_t *pc, mpz_t z) |
| int | ppl_new_Coefficient_from_Coefficient (ppl_Coefficient_t *pc, ppl_const_Coefficient_t c) |
| int | ppl_Coefficient_to_mpz_t (ppl_const_Coefficient_t c, mpz_t z) |
| int | ppl_delete_Coefficient (ppl_const_Coefficient_t c) |
| int | ppl_assign_Coefficient_from_mpz_t (ppl_Coefficient_t dst, mpz_t z) |
| int | ppl_assign_Coefficient_from_Coefficient (ppl_Coefficient_t dst, ppl_const_Coefficient_t src) |
| int | ppl_Coefficient_OK (ppl_const_Coefficient_t) |
| int | ppl_Coefficient_is_bounded (void) |
| int | ppl_Coefficient_min (mpz_t min) |
| int | ppl_Coefficient_max (mpz_t max) |
| int | ppl_new_Linear_Expression (ppl_Linear_Expression_t *ple) |
| int | ppl_new_Linear_Expression_with_dimension (ppl_Linear_Expression_t *ple, ppl_dimension_type d) |
| int | ppl_new_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t *ple, ppl_const_Linear_Expression_t le) |
| int | ppl_delete_Linear_Expression (ppl_const_Linear_Expression_t le) |
| int | ppl_assign_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src) |
| int | ppl_Linear_Expression_add_to_coefficient (ppl_Linear_Expression_t le, ppl_dimension_type var, ppl_const_Coefficient_t n) |
| int | ppl_Linear_Expression_add_to_inhomogeneous (ppl_Linear_Expression_t le, ppl_const_Coefficient_t n) |
| int | ppl_add_Linear_Expression_to_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src) |
| int | ppl_subtract_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src) |
| int | ppl_multiply_Linear_Expression_by_Coefficient (ppl_Linear_Expression_t le, ppl_const_Coefficient_t n) |
| int | ppl_Linear_Expression_space_dimension (ppl_const_Linear_Expression_t le, ppl_dimension_type *m) |
| int | ppl_Linear_Expression_coefficient (ppl_const_Linear_Expression_t le, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Linear_Expression_inhomogeneous_term (ppl_const_Linear_Expression_t le, ppl_Coefficient_t n) |
| int | ppl_Linear_Expression_OK (ppl_const_Linear_Expression_t le) |
| int | ppl_Linear_Expression_is_zero (ppl_const_Linear_Expression_t le) |
| int | ppl_Linear_Expression_all_homogeneous_terms_are_zero (ppl_const_Linear_Expression_t le) |
| int | ppl_new_Constraint (ppl_Constraint_t *pc, ppl_const_Linear_Expression_t le, enum ppl_enum_Constraint_Type t) |
| int | ppl_new_Constraint_zero_dim_false (ppl_Constraint_t *pc) |
| int | ppl_new_Constraint_zero_dim_positivity (ppl_Constraint_t *pc) |
| int | ppl_new_Constraint_from_Constraint (ppl_Constraint_t *pc, ppl_const_Constraint_t c) |
| int | ppl_delete_Constraint (ppl_const_Constraint_t le) |
| int | ppl_assign_Constraint_from_Constraint (ppl_Constraint_t dst, ppl_const_Constraint_t src) |
| int | ppl_Constraint_space_dimension (ppl_const_Constraint_t c, ppl_dimension_type *m) |
| int | ppl_Constraint_type (ppl_const_Constraint_t c) |
| int | ppl_Constraint_coefficient (ppl_const_Constraint_t c, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Constraint_inhomogeneous_term (ppl_const_Constraint_t c, ppl_Coefficient_t n) |
| int | ppl_Constraint_OK (ppl_const_Constraint_t c) |
| int | ppl_new_Linear_Expression_from_Constraint (ppl_Linear_Expression_t *ple, ppl_const_Constraint_t c) |
| int | ppl_new_Constraint_System (ppl_Constraint_System_t *pcs) |
| int | ppl_new_Constraint_System_zero_dim_empty (ppl_Constraint_System_t *pcs) |
| int | ppl_new_Constraint_System_from_Constraint (ppl_Constraint_System_t *pcs, ppl_const_Constraint_t c) |
| int | ppl_new_Constraint_System_from_Constraint_System (ppl_Constraint_System_t *pcs, ppl_const_Constraint_System_t cs) |
| int | ppl_delete_Constraint_System (ppl_const_Constraint_System_t cs) |
| int | ppl_assign_Constraint_System_from_Constraint_System (ppl_Constraint_System_t dst, ppl_const_Constraint_System_t src) |
| int | ppl_Constraint_System_space_dimension (ppl_const_Constraint_System_t cs, ppl_dimension_type *m) |
| int | ppl_Constraint_System_empty (ppl_const_Constraint_System_t cs) |
| int | ppl_Constraint_System_has_strict_inequalities (ppl_const_Constraint_System_t cs) |
| int | ppl_Constraint_System_clear (ppl_Constraint_System_t cs) |
| int | ppl_Constraint_System_insert_Constraint (ppl_Constraint_System_t cs, ppl_const_Constraint_t c) |
| int | ppl_Constraint_System_OK (ppl_const_Constraint_System_t cs) |
| int | ppl_new_Constraint_System_const_iterator (ppl_Constraint_System_const_iterator_t *pcit) |
| int | ppl_new_Constraint_System_const_iterator_from_Constraint_System_const_iterator (ppl_Constraint_System_const_iterator_t *pcit, ppl_const_Constraint_System_const_iterator_t cit) |
| int | ppl_delete_Constraint_System_const_iterator (ppl_const_Constraint_System_const_iterator_t cit) |
| int | ppl_assign_Constraint_System_const_iterator_from_Constraint_System_const_iterator (ppl_Constraint_System_const_iterator_t dst, ppl_const_Constraint_System_const_iterator_t src) |
| int | ppl_Constraint_System_begin (ppl_const_Constraint_System_t cs, ppl_Constraint_System_const_iterator_t cit) |
| int | ppl_Constraint_System_end (ppl_const_Constraint_System_t cs, ppl_Constraint_System_const_iterator_t cit) |
| int | ppl_Constraint_System_const_iterator_dereference (ppl_const_Constraint_System_const_iterator_t cit, ppl_const_Constraint_t *pc) |
| int | ppl_Constraint_System_const_iterator_increment (ppl_Constraint_System_const_iterator_t cit) |
| int | ppl_Constraint_System_const_iterator_equal_test (ppl_const_Constraint_System_const_iterator_t x, ppl_const_Constraint_System_const_iterator_t y) |
| int | ppl_new_Generator (ppl_Generator_t *pg, ppl_const_Linear_Expression_t le, enum ppl_enum_Generator_Type t, ppl_const_Coefficient_t d) |
| int | ppl_new_Generator_zero_dim_point (ppl_Generator_t *pg) |
| int | ppl_new_Generator_zero_dim_closure_point (ppl_Generator_t *pg) |
| int | ppl_new_Generator_from_Generator (ppl_Generator_t *pg, ppl_const_Generator_t g) |
| int | ppl_delete_Generator (ppl_const_Generator_t le) |
| int | ppl_assign_Generator_from_Generator (ppl_Generator_t dst, ppl_const_Generator_t src) |
| int | ppl_Generator_space_dimension (ppl_const_Generator_t g, ppl_dimension_type *m) |
| int | ppl_Generator_type (ppl_const_Generator_t g) |
| int | ppl_Generator_coefficient (ppl_const_Generator_t g, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Generator_divisor (ppl_const_Generator_t g, ppl_Coefficient_t n) |
| int | ppl_Generator_OK (ppl_const_Generator_t g) |
| int | ppl_new_Linear_Expression_from_Generator (ppl_Linear_Expression_t *ple, ppl_const_Generator_t g) |
| int | ppl_new_Generator_System (ppl_Generator_System_t *pgs) |
| int | ppl_new_Generator_System_zero_dim_univ (ppl_Generator_System_t *pgs) |
| int | ppl_new_Generator_System_from_Generator (ppl_Generator_System_t *pgs, ppl_const_Generator_t g) |
| int | ppl_new_Generator_System_from_Generator_System (ppl_Generator_System_t *pgs, ppl_const_Generator_System_t gs) |
| int | ppl_delete_Generator_System (ppl_const_Generator_System_t gs) |
| int | ppl_assign_Generator_System_from_Generator_System (ppl_Generator_System_t dst, ppl_const_Generator_System_t src) |
| int | ppl_Generator_System_space_dimension (ppl_const_Generator_System_t gs, ppl_dimension_type *m) |
| int | ppl_Generator_System_empty (ppl_const_Generator_System_t gs) |
| int | ppl_Generator_System_clear (ppl_Generator_System_t gs) |
| int | ppl_Generator_System_insert_Generator (ppl_Generator_System_t gs, ppl_const_Generator_t g) |
| int | ppl_Generator_System_OK (ppl_const_Generator_System_t gs) |
| int | ppl_new_Generator_System_const_iterator (ppl_Generator_System_const_iterator_t *pgit) |
| int | ppl_new_Generator_System_const_iterator_from_Generator_System_const_iterator (ppl_Generator_System_const_iterator_t *pgit, ppl_const_Generator_System_const_iterator_t git) |
| int | ppl_delete_Generator_System_const_iterator (ppl_const_Generator_System_const_iterator_t git) |
| int | ppl_assign_Generator_System_const_iterator_from_Generator_System_const_iterator (ppl_Generator_System_const_iterator_t dst, ppl_const_Generator_System_const_iterator_t src) |
| int | ppl_Generator_System_begin (ppl_const_Generator_System_t gs, ppl_Generator_System_const_iterator_t git) |
| int | ppl_Generator_System_end (ppl_const_Generator_System_t gs, ppl_Generator_System_const_iterator_t git) |
| int | ppl_Generator_System_const_iterator_dereference (ppl_const_Generator_System_const_iterator_t git, ppl_const_Generator_t *pg) |
| int | ppl_Generator_System_const_iterator_increment (ppl_Generator_System_const_iterator_t git) |
| int | ppl_Generator_System_const_iterator_equal_test (ppl_const_Generator_System_const_iterator_t x, ppl_const_Generator_System_const_iterator_t y) |
| int | ppl_new_Congruence (ppl_Congruence_t *pc, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t m) |
| int | ppl_new_Congruence_zero_dim_false (ppl_Congruence_t *pc) |
| int | ppl_new_Congruence_zero_dim_integrality (ppl_Congruence_t *pc) |
| int | ppl_new_Congruence_from_Congruence (ppl_Congruence_t *pc, ppl_const_Congruence_t c) |
| int | ppl_delete_Congruence (ppl_const_Congruence_t le) |
| int | ppl_assign_Congruence_from_Congruence (ppl_Congruence_t dst, ppl_const_Congruence_t src) |
| int | ppl_Congruence_space_dimension (ppl_const_Congruence_t c, ppl_dimension_type *m) |
| int | ppl_Congruence_coefficient (ppl_const_Congruence_t c, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Congruence_inhomogeneous_term (ppl_const_Congruence_t c, ppl_Coefficient_t n) |
| int | ppl_Congruence_modulus (ppl_const_Congruence_t c, ppl_Coefficient_t m) |
| int | ppl_Congruence_OK (ppl_const_Congruence_t c) |
| int | ppl_new_Linear_Expression_from_Congruence (ppl_Linear_Expression_t *ple, ppl_const_Congruence_t c) |
| int | ppl_new_Congruence_System (ppl_Congruence_System_t *pcs) |
| int | ppl_new_Congruence_System_zero_dim_empty (ppl_Congruence_System_t *pcs) |
| int | ppl_new_Congruence_System_from_Congruence (ppl_Congruence_System_t *pcs, ppl_const_Congruence_t c) |
| int | ppl_new_Congruence_System_from_Congruence_System (ppl_Congruence_System_t *pcs, ppl_const_Congruence_System_t cs) |
| int | ppl_delete_Congruence_System (ppl_const_Congruence_System_t cs) |
| int | ppl_assign_Congruence_System_from_Congruence_System (ppl_Congruence_System_t dst, ppl_const_Congruence_System_t src) |
| int | ppl_Congruence_System_space_dimension (ppl_const_Congruence_System_t cs, ppl_dimension_type *m) |
| int | ppl_Congruence_System_empty (ppl_const_Congruence_System_t cs) |
| int | ppl_Congruence_System_clear (ppl_Congruence_System_t cs) |
| int | ppl_Congruence_System_insert_Congruence (ppl_Congruence_System_t cs, ppl_const_Congruence_t c) |
| int | ppl_Congruence_System_OK (ppl_const_Congruence_System_t cs) |
| int | ppl_new_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t *pcit) |
| int | ppl_new_Congruence_System_const_iterator_from_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t *pcit, ppl_const_Congruence_System_const_iterator_t cit) |
| int | ppl_delete_Congruence_System_const_iterator (ppl_const_Congruence_System_const_iterator_t cit) |
| int | ppl_assign_Congruence_System_const_iterator_from_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t dst, ppl_const_Congruence_System_const_iterator_t src) |
| int | ppl_Congruence_System_begin (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit) |
| int | ppl_Congruence_System_end (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit) |
| int | ppl_Congruence_System_const_iterator_dereference (ppl_const_Congruence_System_const_iterator_t cit, ppl_const_Congruence_t *pc) |
| int | ppl_Congruence_System_const_iterator_increment (ppl_Congruence_System_const_iterator_t cit) |
| int | ppl_Congruence_System_const_iterator_equal_test (ppl_const_Congruence_System_const_iterator_t x, ppl_const_Congruence_System_const_iterator_t y) |
| int | ppl_new_Grid_Generator (ppl_Grid_Generator_t *pg, ppl_const_Linear_Expression_t le, enum ppl_enum_Grid_Generator_Type t, ppl_const_Coefficient_t d) |
| int | ppl_new_Grid_Generator_zero_dim_point (ppl_Grid_Generator_t *pg) |
| int | ppl_new_Grid_Generator_from_Grid_Generator (ppl_Grid_Generator_t *pg, ppl_const_Grid_Generator_t g) |
| int | ppl_delete_Grid_Generator (ppl_const_Grid_Generator_t le) |
| int | ppl_assign_Grid_Generator_from_Grid_Generator (ppl_Grid_Generator_t dst, ppl_const_Grid_Generator_t src) |
| int | ppl_Grid_Generator_space_dimension (ppl_const_Grid_Generator_t g, ppl_dimension_type *m) |
| int | ppl_Grid_Generator_type (ppl_const_Grid_Generator_t g) |
| int | ppl_Grid_Generator_coefficient (ppl_const_Grid_Generator_t g, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Grid_Generator_divisor (ppl_const_Grid_Generator_t g, ppl_Coefficient_t n) |
| int | ppl_Grid_Generator_OK (ppl_const_Grid_Generator_t g) |
| int | ppl_new_Grid_Generator_System (ppl_Grid_Generator_System_t *pgs) |
| int | ppl_new_Grid_Generator_System_zero_dim_univ (ppl_Grid_Generator_System_t *pgs) |
| int | ppl_new_Grid_Generator_System_from_Grid_Generator (ppl_Grid_Generator_System_t *pgs, ppl_const_Grid_Generator_t g) |
| int | ppl_new_Grid_Generator_System_from_Grid_Generator_System (ppl_Grid_Generator_System_t *pgs, ppl_const_Grid_Generator_System_t gs) |
| int | ppl_delete_Grid_Generator_System (ppl_const_Grid_Generator_System_t gs) |
| int | ppl_assign_Grid_Generator_System_from_Grid_Generator_System (ppl_Grid_Generator_System_t dst, ppl_const_Grid_Generator_System_t src) |
| int | ppl_Grid_Generator_System_space_dimension (ppl_const_Grid_Generator_System_t gs, ppl_dimension_type *m) |
| int | ppl_Grid_Generator_System_empty (ppl_const_Grid_Generator_System_t gs) |
| int | ppl_Grid_Generator_System_clear (ppl_Grid_Generator_System_t gs) |
| int | ppl_Grid_Generator_System_insert_Grid_Generator (ppl_Grid_Generator_System_t gs, ppl_const_Grid_Generator_t g) |
| int | ppl_Grid_Generator_System_OK (ppl_const_Grid_Generator_System_t gs) |
| int | ppl_new_Grid_Generator_System_const_iterator (ppl_Grid_Generator_System_const_iterator_t *pgit) |
| int | ppl_new_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator (ppl_Grid_Generator_System_const_iterator_t *pgit, ppl_const_Grid_Generator_System_const_iterator_t git) |
| int | ppl_delete_Grid_Generator_System_const_iterator (ppl_const_Grid_Generator_System_const_iterator_t git) |
| int | ppl_assign_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator (ppl_Grid_Generator_System_const_iterator_t dst, ppl_const_Grid_Generator_System_const_iterator_t src) |
| int | ppl_Grid_Generator_System_begin (ppl_const_Grid_Generator_System_t gs, ppl_Grid_Generator_System_const_iterator_t git) |
| int | ppl_Grid_Generator_System_end (ppl_const_Grid_Generator_System_t gs, ppl_Grid_Generator_System_const_iterator_t git) |
| int | ppl_Grid_Generator_System_const_iterator_dereference (ppl_const_Grid_Generator_System_const_iterator_t git, ppl_const_Grid_Generator_t *pg) |
| int | ppl_Grid_Generator_System_const_iterator_increment (ppl_Grid_Generator_System_const_iterator_t git) |
| int | ppl_Grid_Generator_System_const_iterator_equal_test (ppl_const_Grid_Generator_System_const_iterator_t x, ppl_const_Grid_Generator_System_const_iterator_t y) |
| int | ppl_new_MIP_Problem_from_space_dimension (ppl_MIP_Problem_t *pmip, ppl_dimension_type d) |
| int | ppl_new_MIP_Problem (ppl_MIP_Problem_t *pmip, ppl_dimension_type d, ppl_const_Constraint_System_t cs, ppl_const_Linear_Expression_t le, int m) |
| int | ppl_new_MIP_Problem_from_MIP_Problem (ppl_MIP_Problem_t *pmip, ppl_const_MIP_Problem_t mip) |
| int | ppl_delete_MIP_Problem (ppl_const_MIP_Problem_t mip) |
| int | ppl_assign_MIP_Problem_from_MIP_Problem (ppl_MIP_Problem_t dst, ppl_const_MIP_Problem_t src) |
| int | ppl_MIP_Problem_space_dimension (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m) |
| int | ppl_MIP_Problem_number_of_integer_space_dimensions (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m) |
| int | ppl_MIP_Problem_integer_space_dimensions (ppl_const_MIP_Problem_t mip, ppl_dimension_type ds[]) |
| int | ppl_MIP_Problem_number_of_constraints (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m) |
| int | ppl_MIP_Problem_constraint_at_index (ppl_const_MIP_Problem_t mip, ppl_dimension_type i, ppl_const_Constraint_t *pc) |
| int | ppl_MIP_Problem_objective_function (ppl_const_MIP_Problem_t mip, ppl_const_Linear_Expression_t *ple) |
| int | ppl_MIP_Problem_optimization_mode (ppl_const_MIP_Problem_t mip) |
| int | ppl_MIP_Problem_clear (ppl_MIP_Problem_t mip) |
| int | ppl_MIP_Problem_add_space_dimensions_and_embed (ppl_MIP_Problem_t mip, ppl_dimension_type d) |
| int | ppl_MIP_Problem_add_to_integer_space_dimensions (ppl_MIP_Problem_t mip, ppl_dimension_type ds[], size_t n) |
| int | ppl_MIP_Problem_add_constraint (ppl_MIP_Problem_t mip, ppl_const_Constraint_t c) |
| int | ppl_MIP_Problem_add_constraints (ppl_MIP_Problem_t mip, ppl_const_Constraint_System_t cs) |
| int | ppl_MIP_Problem_set_objective_function (ppl_MIP_Problem_t mip, ppl_const_Linear_Expression_t le) |
| int | ppl_MIP_Problem_set_optimization_mode (ppl_MIP_Problem_t mip, int mode) |
| int | ppl_MIP_Problem_is_satisfiable (ppl_const_MIP_Problem_t mip) |
| int | ppl_MIP_Problem_solve (ppl_const_MIP_Problem_t mip) |
| int | ppl_MIP_Problem_evaluate_objective_function (ppl_const_MIP_Problem_t mip, ppl_const_Generator_t g, ppl_Coefficient_t num, ppl_Coefficient_t den) |
| int | ppl_MIP_Problem_feasible_point (ppl_const_MIP_Problem_t mip, ppl_const_Generator_t *pg) |
| int | ppl_MIP_Problem_optimizing_point (ppl_const_MIP_Problem_t mip, ppl_const_Generator_t *pg) |
| int | ppl_MIP_Problem_optimal_value (ppl_const_MIP_Problem_t mip, ppl_Coefficient_t num, ppl_Coefficient_t den) |
| int | ppl_MIP_Problem_get_control_parameter (ppl_const_MIP_Problem_t mip, int name) |
| int | ppl_MIP_Problem_set_control_parameter (ppl_MIP_Problem_t mip, int value) |
| int | ppl_MIP_Problem_OK (ppl_const_MIP_Problem_t mip) |
| int | ppl_MIP_Problem_total_memory_in_bytes (ppl_const_MIP_Problem_t mip, size_t *sz) |
| int | ppl_MIP_Problem_external_memory_in_bytes (ppl_const_MIP_Problem_t mip, size_t *sz) |
| int | ppl_new_PIP_Problem_from_space_dimension (ppl_PIP_Problem_t *ppip, ppl_dimension_type d) |
| int | ppl_new_PIP_Problem_from_PIP_Problem (ppl_PIP_Problem_t *dpip, ppl_const_PIP_Problem_t pip) |
| int | ppl_new_PIP_Problem_from_constraints (ppl_PIP_Problem_t *ppip, ppl_dimension_type d, ppl_Constraint_System_const_iterator_t first, ppl_Constraint_System_const_iterator_t last, size_t n, ppl_dimension_type ds[]) |
| int | ppl_assign_PIP_Problem_from_PIP_Problem (ppl_PIP_Problem_t dst, ppl_const_PIP_Problem_t src) |
| int | ppl_delete_PIP_Problem (ppl_const_PIP_Problem_t pip) |
| int | ppl_PIP_Problem_space_dimension (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m) |
| int | ppl_PIP_Problem_number_of_parameter_space_dimensions (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m) |
| int | ppl_PIP_Problem_parameter_space_dimensions (ppl_const_PIP_Problem_t pip, ppl_dimension_type ds[]) |
| int | ppl_PIP_Problem_number_of_constraints (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m) |
| int | ppl_PIP_Problem_constraint_at_index (ppl_const_PIP_Problem_t pip, ppl_dimension_type i, ppl_const_Constraint_t *pc) |
| int | ppl_PIP_Problem_clear (ppl_PIP_Problem_t pip) |
| int | ppl_PIP_Problem_add_space_dimensions_and_embed (ppl_PIP_Problem_t pip, ppl_dimension_type pip_vars, ppl_dimension_type pip_params) |
| int | ppl_PIP_Problem_add_to_parameter_space_dimensions (ppl_PIP_Problem_t pip, ppl_dimension_type ds[], size_t n) |
| int | ppl_PIP_Problem_add_constraint (ppl_PIP_Problem_t pip, ppl_const_Constraint_t c) |
| int | ppl_PIP_Problem_add_constraints (ppl_PIP_Problem_t pip, ppl_const_Constraint_System_t cs) |
| int | ppl_PIP_Problem_is_satisfiable (ppl_const_PIP_Problem_t pip) |
| int | ppl_PIP_Problem_solve (ppl_const_PIP_Problem_t pip) |
| int | ppl_PIP_Problem_solution (ppl_const_PIP_Problem_t pip, ppl_const_PIP_Tree_Node_t *ppip_tree) |
| int | ppl_PIP_Problem_optimizing_solution (ppl_const_PIP_Problem_t pip, ppl_const_PIP_Tree_Node_t *ppip_tree) |
| int | ppl_PIP_Problem_OK (ppl_const_PIP_Problem_t pip) |
| int | ppl_PIP_Problem_get_control_parameter (ppl_const_PIP_Problem_t pip, int name) |
| int | ppl_PIP_Problem_set_control_parameter (ppl_PIP_Problem_t pip, int value) |
| int | ppl_PIP_Problem_get_big_parameter_dimension (ppl_const_PIP_Problem_t pip, ppl_dimension_type *pd) |
| int | ppl_PIP_Problem_set_big_parameter_dimension (ppl_PIP_Problem_t pip, ppl_dimension_type d) |
| int | ppl_PIP_Problem_total_memory_in_bytes (ppl_const_PIP_Problem_t pip, size_t *sz) |
| int | ppl_PIP_Problem_external_memory_in_bytes (ppl_const_PIP_Problem_t pip, size_t *sz) |
| int | ppl_PIP_Tree_Node_as_solution (ppl_const_PIP_Tree_Node_t spip_tree, ppl_const_PIP_Solution_Node_t *dpip_tree) |
| int | ppl_PIP_Tree_Node_as_decision (ppl_const_PIP_Tree_Node_t spip_tree, ppl_const_PIP_Decision_Node_t *dpip_tree) |
| int | ppl_PIP_Tree_Node_get_constraints (ppl_const_PIP_Tree_Node_t pip_tree, ppl_const_Constraint_System_t *pcs) |
| int | ppl_PIP_Tree_Node_OK (ppl_const_PIP_Tree_Node_t pip_tree) |
| int | ppl_PIP_Tree_Node_number_of_artificials (ppl_const_PIP_Tree_Node_t pip_tree, ppl_dimension_type *m) |
| int | ppl_PIP_Tree_Node_begin (ppl_const_PIP_Tree_Node_t pip_tree, ppl_Artificial_Parameter_Sequence_const_iterator_t pit) |
| int | ppl_PIP_Tree_Node_end (ppl_const_PIP_Tree_Node_t pip_tree, ppl_Artificial_Parameter_Sequence_const_iterator_t pit) |
| int | ppl_PIP_Solution_Node_get_parametric_values (ppl_const_PIP_Solution_Node_t pip_sol, ppl_dimension_type var, ppl_const_Linear_Expression_t *le) |
| int | ppl_PIP_Solution_Node_OK (ppl_const_PIP_Solution_Node_t pip_sol) |
| int | ppl_PIP_Decision_Node_OK (ppl_const_PIP_Decision_Node_t pip_dec) |
| int | ppl_PIP_Decision_Node_get_child_node (ppl_const_PIP_Decision_Node_t pip_dec, int b, ppl_const_PIP_Tree_Node_t *pip_tree) |
| int | ppl_Artificial_Parameter_get_Linear_Expression (ppl_const_Artificial_Parameter_t ap, ppl_Linear_Expression_t le) |
| int | ppl_Artificial_Parameter_coefficient (ppl_const_Artificial_Parameter_t ap, ppl_dimension_type var, ppl_Coefficient_t n) |
| int | ppl_Artificial_Parameter_inhomogeneous_term (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n) |
| int | ppl_Artificial_Parameter_denominator (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n) |
| int | ppl_new_Artificial_Parameter_Sequence_const_iterator (ppl_Artificial_Parameter_Sequence_const_iterator_t *papit) |
| int | ppl_new_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator (ppl_Artificial_Parameter_Sequence_const_iterator_t *papit, ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit) |
| int | ppl_delete_Artificial_Parameter_Sequence_const_iterator (ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit) |
| int | ppl_assign_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator (ppl_Artificial_Parameter_Sequence_const_iterator_t dst, ppl_const_Artificial_Parameter_Sequence_const_iterator_t src) |
| int | ppl_Artificial_Parameter_Sequence_const_iterator_dereference (ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit, ppl_const_Artificial_Parameter_t *pap) |
| int | ppl_Artificial_Parameter_Sequence_const_iterator_increment (ppl_Artificial_Parameter_Sequence_const_iterator_t apit) |
| int | ppl_Artificial_Parameter_Sequence_const_iterator_equal_test (ppl_const_Artificial_Parameter_Sequence_const_iterator_t x, ppl_const_Artificial_Parameter_Sequence_const_iterator_t y) |
| int | ppl_io_print_variable (ppl_dimension_type var) |
Pretty-prints var to stdout. | |
| int | ppl_io_fprint_variable (FILE *stream, ppl_dimension_type var) |
Pretty-prints var to the given output stream. | |
| int | ppl_io_asprint_variable (char **strp, ppl_dimension_type var) |
Pretty-prints var to a malloc-allocated string, a pointer to which is returned via strp. | |
| char * | ppl_io_wrap_string (const char *src, unsigned indent_depth, unsigned preferred_first_line_length, unsigned preferred_line_length) |
| Utility function for the wrapping of lines of text. | |
| int | ppl_io_set_variable_output_function (ppl_io_variable_output_function_type *p) |
Sets the output function to be used for printing variables to p. | |
| int | ppl_io_get_variable_output_function (ppl_io_variable_output_function_type **pp) |
Writes a pointer to the current variable output function to pp. | |
Variables | |
| error_handler_type | Parma_Polyhedra_Library::Interfaces::C::user_error_handler = 0 |
| ppl_io_variable_output_function_type * | Parma_Polyhedra_Library::Interfaces::C::c_variable_output_function |
| Variable::output_function_type * | Parma_Polyhedra_Library::Interfaces::C::saved_cxx_Variable_output_function |
| unsigned int | PPL_POLY_CON_RELATION_IS_DISJOINT |
| Individual bit saying that the polyhedron and the set of points satisfying the constraint are disjoint. | |
| unsigned int | PPL_POLY_CON_RELATION_STRICTLY_INTERSECTS |
| Individual bit saying that the polyhedron intersects the set of points satisfying the constraint, but it is not included in it. | |
| unsigned int | PPL_POLY_CON_RELATION_IS_INCLUDED |
| Individual bit saying that the polyhedron is included in the set of points satisfying the constraint. | |
| unsigned int | PPL_POLY_CON_RELATION_SATURATES |
| Individual bit saying that the polyhedron is included in the set of points saturating the constraint. | |
| unsigned int | PPL_POLY_GEN_RELATION_SUBSUMES |
| Individual bit saying that adding the generator would not change the polyhedron. | |
| unsigned int | PPL_COMPLEXITY_CLASS_POLYNOMIAL |
| Code of the worst-case polynomial complexity class. | |
| unsigned int | PPL_COMPLEXITY_CLASS_SIMPLEX |
| Code of the worst-case exponential but typically polynomial complexity class. | |
| unsigned int | PPL_COMPLEXITY_CLASS_ANY |
| Code of the universal complexity class. | |
| int | PPL_MIP_PROBLEM_STATUS_UNFEASIBLE |
| int | PPL_MIP_PROBLEM_STATUS_UNBOUNDED |
| int | PPL_MIP_PROBLEM_STATUS_OPTIMIZED |
| int | PPL_MIP_PROBLEM_CONTROL_PARAMETER_NAME_PRICING |
| int | PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_FLOAT |
| int | PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_EXACT |
| int | PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_TEXTBOOK |
| int | PPL_PIP_PROBLEM_STATUS_UNFEASIBLE |
| int | PPL_PIP_PROBLEM_STATUS_OPTIMIZED |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_CUTTING_STRATEGY |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_FIRST |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_DEEPEST |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_ALL |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_PIVOT_ROW_STRATEGY |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_FIRST |
| int | PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_MAX_COLUMN |
| int | PPL_OPTIMIZATION_MODE_MINIMIZATION |
| int | PPL_OPTIMIZATION_MODE_MAXIMIZATION |
| #define CONVERSION (unsigned) |
| #define FORMAT "%u" |
| catch | ( | ... | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | deterministic_timeout_exception & | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | timeout_exception & | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::exception & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::runtime_error & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::overflow_error & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::logic_error & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::length_error & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::domain_error & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| catch | ( | const std::invalid_argument & | e | ) |
Definition at line 2677 of file ppl_c_implementation_common.cc.
| int ppl_add_Linear_Expression_to_Linear_Expression | ( | ppl_Linear_Expression_t | dst, | |
| ppl_const_Linear_Expression_t | src | |||
| ) | [related] |
Definition at line 557 of file ppl_c_implementation_common.cc.
| int ppl_Artificial_Parameter_coefficient | ( | ppl_const_Artificial_Parameter_t | ap, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 2488 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Linear_Expression::coefficient().
| int ppl_Artificial_Parameter_denominator | ( | ppl_const_Artificial_Parameter_t | ap, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 2510 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::Artificial_Parameter::denominator().
| int ppl_Artificial_Parameter_get_Linear_Expression | ( | ppl_const_Artificial_Parameter_t | ap, | |
| ppl_Linear_Expression_t | le | |||
| ) | [related] |
Definition at line 2478 of file ppl_c_implementation_common.cc.
| int ppl_Artificial_Parameter_inhomogeneous_term | ( | ppl_const_Artificial_Parameter_t | ap, | |
| ppl_Coefficient_t | n | |||
| ) |
Definition at line 2500 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Linear_Expression::inhomogeneous_term().
| int ppl_Artificial_Parameter_Sequence_const_iterator_dereference | ( | ppl_const_Artificial_Parameter_Sequence_const_iterator_t | apit, | |
| ppl_const_Artificial_Parameter_t * | pap | |||
| ) | [related] |
Definition at line 2561 of file ppl_c_implementation_common.cc.
| int ppl_Artificial_Parameter_Sequence_const_iterator_equal_test | ( | ppl_const_Artificial_Parameter_Sequence_const_iterator_t | x, | |
| ppl_const_Artificial_Parameter_Sequence_const_iterator_t | y | |||
| ) | [related] |
Definition at line 2581 of file ppl_c_implementation_common.cc.
| int ppl_Artificial_Parameter_Sequence_const_iterator_increment | ( | ppl_Artificial_Parameter_Sequence_const_iterator_t | apit | ) | [related] |
Definition at line 2572 of file ppl_c_implementation_common.cc.
| int ppl_assign_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator | ( | ppl_Artificial_Parameter_Sequence_const_iterator_t | dst, | |
| ppl_const_Artificial_Parameter_Sequence_const_iterator_t | src | |||
| ) | [related] |
Definition at line 2550 of file ppl_c_implementation_common.cc.
| int ppl_assign_Coefficient_from_Coefficient | ( | ppl_Coefficient_t | dst, | |
| ppl_const_Coefficient_t | src | |||
| ) | [related] |
Definition at line 442 of file ppl_c_implementation_common.cc.
| int ppl_assign_Coefficient_from_mpz_t | ( | ppl_Coefficient_t | dst, | |
| mpz_t | z | |||
| ) | [related] |
Definition at line 434 of file ppl_c_implementation_common.cc.
| int ppl_assign_Congruence_from_Congruence | ( | ppl_Congruence_t | dst, | |
| ppl_const_Congruence_t | src | |||
| ) | [related] |
Definition at line 1311 of file ppl_c_implementation_common.cc.
| int ppl_assign_Congruence_System_const_iterator_from_Congruence_System_const_iterator | ( | ppl_Congruence_System_const_iterator_t | dst, | |
| ppl_const_Congruence_System_const_iterator_t | src | |||
| ) | [related] |
Definition at line 1496 of file ppl_c_implementation_common.cc.
| int ppl_assign_Congruence_System_from_Congruence_System | ( | ppl_Congruence_System_t | dst, | |
| ppl_const_Congruence_System_t | src | |||
| ) | [related] |
Definition at line 1419 of file ppl_c_implementation_common.cc.
| int ppl_assign_Constraint_from_Constraint | ( | ppl_Constraint_t | dst, | |
| ppl_const_Constraint_t | src | |||
| ) | [related] |
Definition at line 697 of file ppl_c_implementation_common.cc.
| int ppl_assign_Constraint_System_const_iterator_from_Constraint_System_const_iterator | ( | ppl_Constraint_System_const_iterator_t | dst, | |
| ppl_const_Constraint_System_const_iterator_t | src | |||
| ) | [related] |
Definition at line 895 of file ppl_c_implementation_common.cc.
| int ppl_assign_Constraint_System_from_Constraint_System | ( | ppl_Constraint_System_t | dst, | |
| ppl_const_Constraint_System_t | src | |||
| ) | [related] |
Definition at line 810 of file ppl_c_implementation_common.cc.
| int ppl_assign_Generator_from_Generator | ( | ppl_Generator_t | dst, | |
| ppl_const_Generator_t | src | |||
| ) | [related] |
Definition at line 1017 of file ppl_c_implementation_common.cc.
| int ppl_assign_Generator_System_const_iterator_from_Generator_System_const_iterator | ( | ppl_Generator_System_const_iterator_t | dst, | |
| ppl_const_Generator_System_const_iterator_t | src | |||
| ) | [related] |
Definition at line 1206 of file ppl_c_implementation_common.cc.
| int ppl_assign_Generator_System_from_Generator_System | ( | ppl_Generator_System_t | dst, | |
| ppl_const_Generator_System_t | src | |||
| ) | [related] |
Definition at line 1130 of file ppl_c_implementation_common.cc.
| int ppl_assign_Grid_Generator_from_Grid_Generator | ( | ppl_Grid_Generator_t | dst, | |
| ppl_const_Grid_Generator_t | src | |||
| ) | [related] |
Definition at line 1609 of file ppl_c_implementation_common.cc.
| int ppl_assign_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator | ( | ppl_Grid_Generator_System_const_iterator_t | dst, | |
| ppl_const_Grid_Generator_System_const_iterator_t | src | |||
| ) | [related] |
Definition at line 1802 of file ppl_c_implementation_common.cc.
| int ppl_assign_Grid_Generator_System_from_Grid_Generator_System | ( | ppl_Grid_Generator_System_t | dst, | |
| ppl_const_Grid_Generator_System_t | src | |||
| ) | [related] |
Definition at line 1724 of file ppl_c_implementation_common.cc.
| int ppl_assign_Linear_Expression_from_Linear_Expression | ( | ppl_Linear_Expression_t | dst, | |
| ppl_const_Linear_Expression_t | src | |||
| ) | [related] |
Definition at line 526 of file ppl_c_implementation_common.cc.
| int ppl_assign_MIP_Problem_from_MIP_Problem | ( | ppl_MIP_Problem_t | dst, | |
| ppl_const_MIP_Problem_t | src | |||
| ) | [related] |
Definition at line 1902 of file ppl_c_implementation_common.cc.
| int ppl_assign_PIP_Problem_from_PIP_Problem | ( | ppl_PIP_Problem_t | dst, | |
| ppl_const_PIP_Problem_t | src | |||
| ) | [related] |
Definition at line 2180 of file ppl_c_implementation_common.cc.
| int ppl_Coefficient_is_bounded | ( | void | ) | [related] |
Definition at line 458 of file ppl_c_implementation_common.cc.
| int ppl_Coefficient_max | ( | mpz_t | max | ) | [related] |
Definition at line 477 of file ppl_c_implementation_common.cc.
References assign_r().
| int ppl_Coefficient_min | ( | mpz_t | min | ) | [related] |
Definition at line 464 of file ppl_c_implementation_common.cc.
References assign_r().
| int ppl_Coefficient_OK | ( | ppl_const_Coefficient_t | ) | [related] |
Definition at line 452 of file ppl_c_implementation_common.cc.
| int ppl_Coefficient_to_mpz_t | ( | ppl_const_Coefficient_t | c, | |
| mpz_t | z | |||
| ) | [related] |
Definition at line 420 of file ppl_c_implementation_common.cc.
References assign_r().
| int ppl_Congruence_coefficient | ( | ppl_const_Congruence_t | c, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1329 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence::coefficient().
| int ppl_Congruence_inhomogeneous_term | ( | ppl_const_Congruence_t | c, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1340 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence::inhomogeneous_term().
| int ppl_Congruence_modulus | ( | ppl_const_Congruence_t | c, | |
| ppl_Coefficient_t | m | |||
| ) | [related] |
Definition at line 1350 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence::modulus().
| int ppl_Congruence_OK | ( | ppl_const_Congruence_t | c | ) | [related] |
Definition at line 1360 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_space_dimension | ( | ppl_const_Congruence_t | c, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1321 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_begin | ( | ppl_const_Congruence_System_t | cs, | |
| ppl_Congruence_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 1506 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence_System::begin().
| int ppl_Congruence_System_clear | ( | ppl_Congruence_System_t | cs | ) | [related] |
Definition at line 1444 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_const_iterator_dereference | ( | ppl_const_Congruence_System_const_iterator_t | cit, | |
| ppl_const_Congruence_t * | pc | |||
| ) | [related] |
Definition at line 1527 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_const_iterator_equal_test | ( | ppl_const_Congruence_System_const_iterator_t | x, | |
| ppl_const_Congruence_System_const_iterator_t | y | |||
| ) | [related] |
Definition at line 1547 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_const_iterator_increment | ( | ppl_Congruence_System_const_iterator_t | cit | ) | [related] |
Definition at line 1538 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_empty | ( | ppl_const_Congruence_System_t | cs | ) | [related] |
Definition at line 1437 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence_System::empty().
| int ppl_Congruence_System_end | ( | ppl_const_Congruence_System_t | cs, | |
| ppl_Congruence_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 1516 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence_System::end().
| int ppl_Congruence_System_insert_Congruence | ( | ppl_Congruence_System_t | cs, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
Definition at line 1451 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Congruence_System::insert().
| int ppl_Congruence_System_OK | ( | ppl_const_Congruence_System_t | cs | ) | [related] |
Definition at line 1461 of file ppl_c_implementation_common.cc.
| int ppl_Congruence_System_space_dimension | ( | ppl_const_Congruence_System_t | cs, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1428 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_coefficient | ( | ppl_const_Constraint_t | c, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 730 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint::coefficient().
| int ppl_Constraint_inhomogeneous_term | ( | ppl_const_Constraint_t | c, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 741 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint::inhomogeneous_term().
| int ppl_Constraint_OK | ( | ppl_const_Constraint_t | c | ) | [related] |
Definition at line 751 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_space_dimension | ( | ppl_const_Constraint_t | c, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 707 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_begin | ( | ppl_const_Constraint_System_t | cs, | |
| ppl_Constraint_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 905 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint_System::begin().
| int ppl_Constraint_System_clear | ( | ppl_Constraint_System_t | cs | ) | [related] |
Definition at line 843 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_const_iterator_dereference | ( | ppl_const_Constraint_System_const_iterator_t | cit, | |
| ppl_const_Constraint_t * | pc | |||
| ) | [related] |
Definition at line 926 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_const_iterator_equal_test | ( | ppl_const_Constraint_System_const_iterator_t | x, | |
| ppl_const_Constraint_System_const_iterator_t | y | |||
| ) | [related] |
Definition at line 946 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_const_iterator_increment | ( | ppl_Constraint_System_const_iterator_t | cit | ) | [related] |
Definition at line 937 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_empty | ( | ppl_const_Constraint_System_t | cs | ) | [related] |
Definition at line 828 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint_System::empty().
| int ppl_Constraint_System_end | ( | ppl_const_Constraint_System_t | cs, | |
| ppl_Constraint_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 915 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint_System::end().
| int ppl_Constraint_System_has_strict_inequalities | ( | ppl_const_Constraint_System_t | cs | ) | [related] |
Definition at line 836 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint_System::has_strict_inequalities().
| int ppl_Constraint_System_insert_Constraint | ( | ppl_Constraint_System_t | cs, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 850 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Constraint_System::insert().
| int ppl_Constraint_System_OK | ( | ppl_const_Constraint_System_t | cs | ) | [related] |
Definition at line 860 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_System_space_dimension | ( | ppl_const_Constraint_System_t | cs, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 819 of file ppl_c_implementation_common.cc.
| int ppl_Constraint_type | ( | ppl_const_Constraint_t | c | ) | [related] |
Definition at line 715 of file ppl_c_implementation_common.cc.
References PPL_CONSTRAINT_TYPE_EQUAL, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL, and PPL_CONSTRAINT_TYPE_GREATER_THAN.
| int ppl_delete_Artificial_Parameter_Sequence_const_iterator | ( | ppl_const_Artificial_Parameter_Sequence_const_iterator_t | apit | ) | [related] |
Definition at line 2541 of file ppl_c_implementation_common.cc.
| int ppl_delete_Coefficient | ( | ppl_const_Coefficient_t | c | ) | [related] |
Definition at line 427 of file ppl_c_implementation_common.cc.
| int ppl_delete_Congruence | ( | ppl_const_Congruence_t | le | ) | [related] |
Definition at line 1304 of file ppl_c_implementation_common.cc.
| int ppl_delete_Congruence_System | ( | ppl_const_Congruence_System_t | cs | ) | [related] |
Definition at line 1411 of file ppl_c_implementation_common.cc.
| int ppl_delete_Congruence_System_const_iterator | ( | ppl_const_Congruence_System_const_iterator_t | cit | ) | [related] |
Definition at line 1487 of file ppl_c_implementation_common.cc.
| int ppl_delete_Constraint | ( | ppl_const_Constraint_t | le | ) | [related] |
Definition at line 690 of file ppl_c_implementation_common.cc.
| int ppl_delete_Constraint_System | ( | ppl_const_Constraint_System_t | cs | ) | [related] |
Definition at line 802 of file ppl_c_implementation_common.cc.
| int ppl_delete_Constraint_System_const_iterator | ( | ppl_const_Constraint_System_const_iterator_t | cit | ) | [related] |
Definition at line 886 of file ppl_c_implementation_common.cc.
| int ppl_delete_Generator | ( | ppl_const_Generator_t | le | ) | [related] |
Definition at line 1010 of file ppl_c_implementation_common.cc.
| int ppl_delete_Generator_System | ( | ppl_const_Generator_System_t | gs | ) | [related] |
Definition at line 1122 of file ppl_c_implementation_common.cc.
| int ppl_delete_Generator_System_const_iterator | ( | ppl_const_Generator_System_const_iterator_t | git | ) | [related] |
Definition at line 1198 of file ppl_c_implementation_common.cc.
| int ppl_delete_Grid_Generator | ( | ppl_const_Grid_Generator_t | le | ) | [related] |
Definition at line 1601 of file ppl_c_implementation_common.cc.
| int ppl_delete_Grid_Generator_System | ( | ppl_const_Grid_Generator_System_t | gs | ) | [related] |
Definition at line 1716 of file ppl_c_implementation_common.cc.
| int ppl_delete_Grid_Generator_System_const_iterator | ( | ppl_const_Grid_Generator_System_const_iterator_t | git | ) | [related] |
Definition at line 1794 of file ppl_c_implementation_common.cc.
| int ppl_delete_Linear_Expression | ( | ppl_const_Linear_Expression_t | le | ) | [related] |
Definition at line 518 of file ppl_c_implementation_common.cc.
| int ppl_delete_MIP_Problem | ( | ppl_const_MIP_Problem_t | mip | ) | [related] |
Definition at line 1895 of file ppl_c_implementation_common.cc.
| int ppl_delete_PIP_Problem | ( | ppl_const_PIP_Problem_t | pip | ) | [related] |
Definition at line 2190 of file ppl_c_implementation_common.cc.
| int ppl_Generator_coefficient | ( | ppl_const_Generator_t | g, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1052 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator::coefficient().
| int ppl_Generator_divisor | ( | ppl_const_Generator_t | g, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1063 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator::divisor().
| int ppl_Generator_OK | ( | ppl_const_Generator_t | g | ) | [related] |
Definition at line 1073 of file ppl_c_implementation_common.cc.
| int ppl_Generator_space_dimension | ( | ppl_const_Generator_t | g, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1027 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_begin | ( | ppl_const_Generator_System_t | gs, | |
| ppl_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1216 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator_System::begin().
| int ppl_Generator_System_clear | ( | ppl_Generator_System_t | gs | ) | [related] |
Definition at line 1155 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_const_iterator_dereference | ( | ppl_const_Generator_System_const_iterator_t | git, | |
| ppl_const_Generator_t * | pg | |||
| ) | [related] |
Definition at line 1237 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_const_iterator_equal_test | ( | ppl_const_Generator_System_const_iterator_t | x, | |
| ppl_const_Generator_System_const_iterator_t | y | |||
| ) | [related] |
Definition at line 1257 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_const_iterator_increment | ( | ppl_Generator_System_const_iterator_t | git | ) | [related] |
Definition at line 1248 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_empty | ( | ppl_const_Generator_System_t | gs | ) | [related] |
Definition at line 1148 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator_System::empty().
| int ppl_Generator_System_end | ( | ppl_const_Generator_System_t | gs, | |
| ppl_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1226 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator_System::end().
| int ppl_Generator_System_insert_Generator | ( | ppl_Generator_System_t | gs, | |
| ppl_const_Generator_t | g | |||
| ) | [related] |
Definition at line 1162 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Generator_System::insert().
| int ppl_Generator_System_OK | ( | ppl_const_Generator_System_t | gs | ) | [related] |
Definition at line 1172 of file ppl_c_implementation_common.cc.
| int ppl_Generator_System_space_dimension | ( | ppl_const_Generator_System_t | gs, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1139 of file ppl_c_implementation_common.cc.
| int ppl_Generator_type | ( | ppl_const_Generator_t | g | ) | [related] |
Definition at line 1035 of file ppl_c_implementation_common.cc.
References PPL_GENERATOR_TYPE_CLOSURE_POINT, PPL_GENERATOR_TYPE_LINE, PPL_GENERATOR_TYPE_POINT, and PPL_GENERATOR_TYPE_RAY.
| int ppl_Grid_Generator_coefficient | ( | ppl_const_Grid_Generator_t | g, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1642 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator::coefficient().
| int ppl_Grid_Generator_divisor | ( | ppl_const_Grid_Generator_t | g, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 1653 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator::divisor().
| int ppl_Grid_Generator_OK | ( | ppl_const_Grid_Generator_t | g | ) | [related] |
Definition at line 1663 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_space_dimension | ( | ppl_const_Grid_Generator_t | g, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1619 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_begin | ( | ppl_const_Grid_Generator_System_t | gs, | |
| ppl_Grid_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1813 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator_System::begin().
| int ppl_Grid_Generator_System_clear | ( | ppl_Grid_Generator_System_t | gs | ) | [related] |
Definition at line 1749 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_const_iterator_dereference | ( | ppl_const_Grid_Generator_System_const_iterator_t | git, | |
| ppl_const_Grid_Generator_t * | pg | |||
| ) | [related] |
Definition at line 1835 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_const_iterator_equal_test | ( | ppl_const_Grid_Generator_System_const_iterator_t | x, | |
| ppl_const_Grid_Generator_System_const_iterator_t | y | |||
| ) | [related] |
Definition at line 1855 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_const_iterator_increment | ( | ppl_Grid_Generator_System_const_iterator_t | git | ) | [related] |
Definition at line 1846 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_empty | ( | ppl_const_Grid_Generator_System_t | gs | ) | [related] |
Definition at line 1742 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator_System::empty().
| int ppl_Grid_Generator_System_end | ( | ppl_const_Grid_Generator_System_t | gs, | |
| ppl_Grid_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1824 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator_System::end().
| int ppl_Grid_Generator_System_insert_Grid_Generator | ( | ppl_Grid_Generator_System_t | gs, | |
| ppl_const_Grid_Generator_t | g | |||
| ) | [related] |
Definition at line 1757 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Grid_Generator_System::insert().
| int ppl_Grid_Generator_System_OK | ( | ppl_const_Grid_Generator_System_t | gs | ) | [related] |
Definition at line 1767 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_System_space_dimension | ( | ppl_const_Grid_Generator_System_t | gs, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1733 of file ppl_c_implementation_common.cc.
| int ppl_Grid_Generator_type | ( | ppl_const_Grid_Generator_t | g | ) | [related] |
Definition at line 1627 of file ppl_c_implementation_common.cc.
References PPL_GRID_GENERATOR_TYPE_LINE, PPL_GRID_GENERATOR_TYPE_PARAMETER, and PPL_GRID_GENERATOR_TYPE_POINT.
| int ppl_Linear_Expression_add_to_coefficient | ( | ppl_Linear_Expression_t | le, | |
| ppl_dimension_type | var, | |||
| ppl_const_Coefficient_t | n | |||
| ) | [related] |
Definition at line 535 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::add_mul_assign().
| int ppl_Linear_Expression_add_to_inhomogeneous | ( | ppl_Linear_Expression_t | le, | |
| ppl_const_Coefficient_t | n | |||
| ) | [related] |
Definition at line 546 of file ppl_c_implementation_common.cc.
| int ppl_Linear_Expression_all_homogeneous_terms_are_zero | ( | ppl_const_Linear_Expression_t | le | ) | [related] |
Definition at line 628 of file ppl_c_implementation_common.cc.
| int ppl_Linear_Expression_coefficient | ( | ppl_const_Linear_Expression_t | le, | |
| ppl_dimension_type | var, | |||
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 594 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Linear_Expression::coefficient().
| int ppl_Linear_Expression_inhomogeneous_term | ( | ppl_const_Linear_Expression_t | le, | |
| ppl_Coefficient_t | n | |||
| ) | [related] |
Definition at line 605 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Linear_Expression::inhomogeneous_term().
| int ppl_Linear_Expression_is_zero | ( | ppl_const_Linear_Expression_t | le | ) | [related] |
Definition at line 621 of file ppl_c_implementation_common.cc.
| int ppl_Linear_Expression_OK | ( | ppl_const_Linear_Expression_t | le | ) | [related] |
Definition at line 615 of file ppl_c_implementation_common.cc.
| int ppl_Linear_Expression_space_dimension | ( | ppl_const_Linear_Expression_t | le, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 586 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_add_constraint | ( | ppl_MIP_Problem_t | mip, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 2010 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_constraint().
| int ppl_MIP_Problem_add_constraints | ( | ppl_MIP_Problem_t | mip, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
Definition at line 2020 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_constraints().
| int ppl_MIP_Problem_add_space_dimensions_and_embed | ( | ppl_MIP_Problem_t | mip, | |
| ppl_dimension_type | d | |||
| ) | [related] |
Definition at line 1988 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_space_dimensions_and_embed().
| int ppl_MIP_Problem_add_to_integer_space_dimensions | ( | ppl_MIP_Problem_t | mip, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
Definition at line 1997 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions(), and Parma_Polyhedra_Library::Variables_Set::insert().
| int ppl_MIP_Problem_clear | ( | ppl_MIP_Problem_t | mip | ) | [related] |
Definition at line 1981 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_constraint_at_index | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_dimension_type | i, | |||
| ppl_const_Constraint_t * | pc | |||
| ) | [related] |
Definition at line 1950 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), and ppl_MIP_Problem_tag::ppl_MIP_Problem_number_of_constraints().
| int ppl_MIP_Problem_evaluate_objective_function | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_const_Generator_t | g, | |||
| ppl_Coefficient_t | num, | |||
| ppl_Coefficient_t | den | |||
| ) | [related] |
Definition at line 2062 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::evaluate_objective_function().
| int ppl_MIP_Problem_external_memory_in_bytes | ( | ppl_const_MIP_Problem_t | mip, | |
| size_t * | sz | |||
| ) | [related] |
Definition at line 2138 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_feasible_point | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_const_Generator_t * | pg | |||
| ) | [related] |
Definition at line 2076 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_get_control_parameter | ( | ppl_const_MIP_Problem_t | mip, | |
| int | name | |||
| ) | [related] |
Definition at line 2105 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_integer_space_dimensions | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_dimension_type | ds[] | |||
| ) | [related] |
Definition at line 1929 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_is_satisfiable | ( | ppl_const_MIP_Problem_t | mip | ) | [related] |
Definition at line 2050 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_number_of_constraints | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1941 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::MIP_Problem::constraints_end().
| int ppl_MIP_Problem_number_of_integer_space_dimensions | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1920 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::integer_space_dimensions().
| int ppl_MIP_Problem_objective_function | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_const_Linear_Expression_t * | ple | |||
| ) | [related] |
Definition at line 1966 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_OK | ( | ppl_const_MIP_Problem_t | mip | ) | [related] |
Definition at line 2124 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_optimal_value | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_Coefficient_t | num, | |||
| ppl_Coefficient_t | den | |||
| ) | [related] |
Definition at line 2094 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_optimization_mode | ( | ppl_const_MIP_Problem_t | mip | ) | [related] |
Definition at line 1975 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_optimizing_point | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_const_Generator_t * | pg | |||
| ) | [related] |
Definition at line 2085 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_set_control_parameter | ( | ppl_MIP_Problem_t | mip, | |
| int | value | |||
| ) | [related] |
Definition at line 2114 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_set_objective_function | ( | ppl_MIP_Problem_t | mip, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
Definition at line 2030 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::MIP_Problem::set_objective_function().
| int ppl_MIP_Problem_set_optimization_mode | ( | ppl_MIP_Problem_t | mip, | |
| int | mode | |||
| ) | [related] |
Definition at line 2040 of file ppl_c_implementation_common.cc.
References MAXIMIZATION, MINIMIZATION, and Parma_Polyhedra_Library::MIP_Problem::set_optimization_mode().
| int ppl_MIP_Problem_solve | ( | ppl_const_MIP_Problem_t | mip | ) | [related] |
Definition at line 2056 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_space_dimension | ( | ppl_const_MIP_Problem_t | mip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 1912 of file ppl_c_implementation_common.cc.
| int ppl_MIP_Problem_total_memory_in_bytes | ( | ppl_const_MIP_Problem_t | mip, | |
| size_t * | sz | |||
| ) | [related] |
Definition at line 2130 of file ppl_c_implementation_common.cc.
| int ppl_multiply_Linear_Expression_by_Coefficient | ( | ppl_Linear_Expression_t | le, | |
| ppl_const_Coefficient_t | n | |||
| ) | [related] |
Definition at line 576 of file ppl_c_implementation_common.cc.
| int ppl_new_Artificial_Parameter_Sequence_const_iterator | ( | ppl_Artificial_Parameter_Sequence_const_iterator_t * | papit | ) | [related] |
Definition at line 2524 of file ppl_c_implementation_common.cc.
| int ppl_new_Artificial_Parameter_Sequence_const_iterator_from_Artificial_Parameter_Sequence_const_iterator | ( | ppl_Artificial_Parameter_Sequence_const_iterator_t * | papit, | |
| ppl_const_Artificial_Parameter_Sequence_const_iterator_t | apit | |||
| ) | [related] |
Definition at line 2532 of file ppl_c_implementation_common.cc.
| int ppl_new_Coefficient | ( | ppl_Coefficient_t * | pc | ) | [related] |
Definition at line 397 of file ppl_c_implementation_common.cc.
| int ppl_new_Coefficient_from_Coefficient | ( | ppl_Coefficient_t * | pc, | |
| ppl_const_Coefficient_t | c | |||
| ) | [related] |
Definition at line 411 of file ppl_c_implementation_common.cc.
| int ppl_new_Coefficient_from_mpz_t | ( | ppl_Coefficient_t * | pc, | |
| mpz_t | z | |||
| ) | [related] |
Definition at line 404 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence | ( | ppl_Congruence_t * | pc, | |
| ppl_const_Linear_Expression_t | le, | |||
| ppl_const_Coefficient_t | m | |||
| ) | [related] |
Definition at line 1268 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_from_Congruence | ( | ppl_Congruence_t * | pc, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
Definition at line 1295 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System | ( | ppl_Congruence_System_t * | pcs | ) | [related] |
Definition at line 1377 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System_const_iterator | ( | ppl_Congruence_System_const_iterator_t * | pcit | ) | [related] |
Definition at line 1470 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System_const_iterator_from_Congruence_System_const_iterator | ( | ppl_Congruence_System_const_iterator_t * | pcit, | |
| ppl_const_Congruence_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 1478 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System_from_Congruence | ( | ppl_Congruence_System_t * | pcs, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
Definition at line 1393 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System_from_Congruence_System | ( | ppl_Congruence_System_t * | pcs, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
Definition at line 1403 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_System_zero_dim_empty | ( | ppl_Congruence_System_t * | pcs | ) | [related] |
Definition at line 1384 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_zero_dim_false | ( | ppl_Congruence_t * | pc | ) | [related] |
Definition at line 1281 of file ppl_c_implementation_common.cc.
| int ppl_new_Congruence_zero_dim_integrality | ( | ppl_Congruence_t * | pc | ) | [related] |
Definition at line 1288 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint | ( | ppl_Constraint_t * | pc, | |
| ppl_const_Linear_Expression_t | le, | |||
| enum ppl_enum_Constraint_Type | t | |||
| ) | [related] |
Definition at line 636 of file ppl_c_implementation_common.cc.
References PPL_CONSTRAINT_TYPE_EQUAL, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL, PPL_CONSTRAINT_TYPE_GREATER_THAN, PPL_CONSTRAINT_TYPE_LESS_OR_EQUAL, and PPL_CONSTRAINT_TYPE_LESS_THAN.
| int ppl_new_Constraint_from_Constraint | ( | ppl_Constraint_t * | pc, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 681 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System | ( | ppl_Constraint_System_t * | pcs | ) | [related] |
Definition at line 768 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System_const_iterator | ( | ppl_Constraint_System_const_iterator_t * | pcit | ) | [related] |
Definition at line 869 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System_const_iterator_from_Constraint_System_const_iterator | ( | ppl_Constraint_System_const_iterator_t * | pcit, | |
| ppl_const_Constraint_System_const_iterator_t | cit | |||
| ) | [related] |
Definition at line 877 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System_from_Constraint | ( | ppl_Constraint_System_t * | pcs, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 784 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System_from_Constraint_System | ( | ppl_Constraint_System_t * | pcs, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
Definition at line 794 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_System_zero_dim_empty | ( | ppl_Constraint_System_t * | pcs | ) | [related] |
Definition at line 775 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_zero_dim_false | ( | ppl_Constraint_t * | pc | ) | [related] |
Definition at line 667 of file ppl_c_implementation_common.cc.
| int ppl_new_Constraint_zero_dim_positivity | ( | ppl_Constraint_t * | pc | ) | [related] |
Definition at line 674 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator | ( | ppl_Generator_t * | pg, | |
| ppl_const_Linear_Expression_t | le, | |||
| enum ppl_enum_Generator_Type | t, | |||
| ppl_const_Coefficient_t | d | |||
| ) | [related] |
Definition at line 957 of file ppl_c_implementation_common.cc.
References PPL_GENERATOR_TYPE_CLOSURE_POINT, PPL_GENERATOR_TYPE_LINE, PPL_GENERATOR_TYPE_POINT, and PPL_GENERATOR_TYPE_RAY.
| int ppl_new_Generator_from_Generator | ( | ppl_Generator_t * | pg, | |
| ppl_const_Generator_t | g | |||
| ) | [related] |
Definition at line 1001 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System | ( | ppl_Generator_System_t * | pgs | ) | [related] |
Definition at line 1090 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System_const_iterator | ( | ppl_Generator_System_const_iterator_t * | pgit | ) | [related] |
Definition at line 1181 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System_const_iterator_from_Generator_System_const_iterator | ( | ppl_Generator_System_const_iterator_t * | pgit, | |
| ppl_const_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1189 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System_from_Generator | ( | ppl_Generator_System_t * | pgs, | |
| ppl_const_Generator_t | g | |||
| ) | [related] |
Definition at line 1104 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System_from_Generator_System | ( | ppl_Generator_System_t * | pgs, | |
| ppl_const_Generator_System_t | gs | |||
| ) | [related] |
Definition at line 1114 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_System_zero_dim_univ | ( | ppl_Generator_System_t * | pgs | ) |
Definition at line 1097 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_zero_dim_closure_point | ( | ppl_Generator_t * | pg | ) | [related] |
Definition at line 994 of file ppl_c_implementation_common.cc.
| int ppl_new_Generator_zero_dim_point | ( | ppl_Generator_t * | pg | ) | [related] |
Definition at line 987 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator | ( | ppl_Grid_Generator_t * | pg, | |
| ppl_const_Linear_Expression_t | le, | |||
| enum ppl_enum_Grid_Generator_Type | t, | |||
| ppl_const_Coefficient_t | d | |||
| ) | [related] |
Definition at line 1558 of file ppl_c_implementation_common.cc.
References PPL_GRID_GENERATOR_TYPE_LINE, PPL_GRID_GENERATOR_TYPE_PARAMETER, and PPL_GRID_GENERATOR_TYPE_POINT.
| int ppl_new_Grid_Generator_from_Grid_Generator | ( | ppl_Grid_Generator_t * | pg, | |
| ppl_const_Grid_Generator_t | g | |||
| ) | [related] |
Definition at line 1592 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System | ( | ppl_Grid_Generator_System_t * | pgs | ) | [related] |
Definition at line 1682 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System_const_iterator | ( | ppl_Grid_Generator_System_const_iterator_t * | pgit | ) | [related] |
Definition at line 1776 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System_const_iterator_from_Grid_Generator_System_const_iterator | ( | ppl_Grid_Generator_System_const_iterator_t * | pgit, | |
| ppl_const_Grid_Generator_System_const_iterator_t | git | |||
| ) | [related] |
Definition at line 1784 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System_from_Grid_Generator | ( | ppl_Grid_Generator_System_t * | pgs, | |
| ppl_const_Grid_Generator_t | g | |||
| ) | [related] |
Definition at line 1699 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System_from_Grid_Generator_System | ( | ppl_Grid_Generator_System_t * | pgs, | |
| ppl_const_Grid_Generator_System_t | gs | |||
| ) | [related] |
Definition at line 1708 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_System_zero_dim_univ | ( | ppl_Grid_Generator_System_t * | pgs | ) |
Definition at line 1690 of file ppl_c_implementation_common.cc.
| int ppl_new_Grid_Generator_zero_dim_point | ( | ppl_Grid_Generator_t * | pg | ) | [related] |
Definition at line 1585 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression | ( | ppl_Linear_Expression_t * | ple | ) | [related] |
Definition at line 492 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression_from_Congruence | ( | ppl_Linear_Expression_t * | ple, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
Definition at line 1366 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression_from_Constraint | ( | ppl_Linear_Expression_t * | ple, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 757 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression_from_Generator | ( | ppl_Linear_Expression_t * | ple, | |
| ppl_const_Generator_t | g | |||
| ) | [related] |
Definition at line 1079 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression_from_Linear_Expression | ( | ppl_Linear_Expression_t * | ple, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
Definition at line 510 of file ppl_c_implementation_common.cc.
| int ppl_new_Linear_Expression_with_dimension | ( | ppl_Linear_Expression_t * | ple, | |
| ppl_dimension_type | d | |||
| ) | [related] |
Definition at line 499 of file ppl_c_implementation_common.cc.
| int ppl_new_MIP_Problem | ( | ppl_MIP_Problem_t * | pmip, | |
| ppl_dimension_type | d, | |||
| ppl_const_Constraint_System_t | cs, | |||
| ppl_const_Linear_Expression_t | le, | |||
| int | m | |||
| ) | [related] |
Definition at line 1872 of file ppl_c_implementation_common.cc.
References MAXIMIZATION, and MINIMIZATION.
| int ppl_new_MIP_Problem_from_MIP_Problem | ( | ppl_MIP_Problem_t * | pmip, | |
| ppl_const_MIP_Problem_t | mip | |||
| ) | [related] |
Definition at line 1886 of file ppl_c_implementation_common.cc.
| int ppl_new_MIP_Problem_from_space_dimension | ( | ppl_MIP_Problem_t * | pmip, | |
| ppl_dimension_type | d | |||
| ) | [related] |
Definition at line 1864 of file ppl_c_implementation_common.cc.
| int ppl_new_PIP_Problem_from_constraints | ( | ppl_PIP_Problem_t * | ppip, | |
| ppl_dimension_type | d, | |||
| ppl_Constraint_System_const_iterator_t | first, | |||
| ppl_Constraint_System_const_iterator_t | last, | |||
| size_t | n, | |||
| ppl_dimension_type | ds[] | |||
| ) | [related] |
Definition at line 2164 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::Variables_Set::insert().
| int ppl_new_PIP_Problem_from_PIP_Problem | ( | ppl_PIP_Problem_t * | dpip, | |
| ppl_const_PIP_Problem_t | pip | |||
| ) | [related] |
Definition at line 2154 of file ppl_c_implementation_common.cc.
| int ppl_new_PIP_Problem_from_space_dimension | ( | ppl_PIP_Problem_t * | ppip, | |
| ppl_dimension_type | d | |||
| ) | [related] |
Definition at line 2146 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Decision_Node_get_child_node | ( | ppl_const_PIP_Decision_Node_t | pip_dec, | |
| int | b, | |||
| ppl_const_PIP_Tree_Node_t * | pip_tree | |||
| ) | [related] |
Definition at line 2468 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Decision_Node_OK | ( | ppl_const_PIP_Decision_Node_t | pip_dec | ) |
Definition at line 2462 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_add_constraint | ( | ppl_PIP_Problem_t | pip, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
Definition at line 2278 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_constraint().
| int ppl_PIP_Problem_add_constraints | ( | ppl_PIP_Problem_t | pip, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
Definition at line 2288 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_constraints().
| int ppl_PIP_Problem_add_space_dimensions_and_embed | ( | ppl_PIP_Problem_t | pip, | |
| ppl_dimension_type | pip_vars, | |||
| ppl_dimension_type | pip_params | |||
| ) | [related] |
Definition at line 2256 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_space_dimensions_and_embed().
| int ppl_PIP_Problem_add_to_parameter_space_dimensions | ( | ppl_PIP_Problem_t | pip, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
Definition at line 2266 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::add_to_parameter_space_dimensions(), and Parma_Polyhedra_Library::Variables_Set::insert().
| int ppl_PIP_Problem_clear | ( | ppl_PIP_Problem_t | pip | ) | [related] |
Definition at line 2250 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_constraint_at_index | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type | i, | |||
| ppl_const_Constraint_t * | pc | |||
| ) | [related] |
Definition at line 2235 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), and ppl_PIP_Problem_tag::ppl_PIP_Problem_number_of_constraints().
| int ppl_PIP_Problem_external_memory_in_bytes | ( | ppl_const_PIP_Problem_t | pip, | |
| size_t * | sz | |||
| ) | [related] |
Definition at line 2373 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_get_big_parameter_dimension | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type * | pd | |||
| ) | [related] |
Definition at line 2349 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_get_control_parameter | ( | ppl_const_PIP_Problem_t | pip, | |
| int | name | |||
| ) | [related] |
Definition at line 2330 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_is_satisfiable | ( | ppl_const_PIP_Problem_t | pip | ) | [related] |
Definition at line 2297 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_number_of_constraints | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 2226 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::PIP_Problem::constraints_end().
| int ppl_PIP_Problem_number_of_parameter_space_dimensions | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 2206 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions().
| int ppl_PIP_Problem_OK | ( | ppl_const_PIP_Problem_t | pip | ) | [related] |
Definition at line 2324 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_optimizing_solution | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_const_PIP_Tree_Node_t * | ppip_tree | |||
| ) | [related] |
Definition at line 2316 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_parameter_space_dimensions | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type | ds[] | |||
| ) | [related] |
Definition at line 2214 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_set_big_parameter_dimension | ( | ppl_PIP_Problem_t | pip, | |
| ppl_dimension_type | d | |||
| ) | [related] |
Definition at line 2357 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_set_control_parameter | ( | ppl_PIP_Problem_t | pip, | |
| int | value | |||
| ) | [related] |
Definition at line 2339 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_solution | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_const_PIP_Tree_Node_t * | ppip_tree | |||
| ) | [related] |
Definition at line 2308 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_solve | ( | ppl_const_PIP_Problem_t | pip | ) | [related] |
Definition at line 2302 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_space_dimension | ( | ppl_const_PIP_Problem_t | pip, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 2197 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Problem_total_memory_in_bytes | ( | ppl_const_PIP_Problem_t | pip, | |
| size_t * | sz | |||
| ) | [related] |
Definition at line 2365 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Solution_Node_get_parametric_values | ( | ppl_const_PIP_Solution_Node_t | pip_sol, | |
| ppl_dimension_type | var, | |||
| ppl_const_Linear_Expression_t * | le | |||
| ) | [related] |
Definition at line 2445 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Solution_Node::parametric_values().
| int ppl_PIP_Solution_Node_OK | ( | ppl_const_PIP_Solution_Node_t | pip_sol | ) |
Definition at line 2456 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Tree_Node_as_decision | ( | ppl_const_PIP_Tree_Node_t | spip_tree, | |
| ppl_const_PIP_Decision_Node_t * | dpip_tree | |||
| ) | [related] |
Definition at line 2389 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Tree_Node_as_solution | ( | ppl_const_PIP_Tree_Node_t | spip_tree, | |
| ppl_const_PIP_Solution_Node_t * | dpip_tree | |||
| ) | [related] |
Definition at line 2381 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Tree_Node_begin | ( | ppl_const_PIP_Tree_Node_t | pip_tree, | |
| ppl_Artificial_Parameter_Sequence_const_iterator_t | pit | |||
| ) | [related] |
Definition at line 2423 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Tree_Node_end | ( | ppl_const_PIP_Tree_Node_t | pip_tree, | |
| ppl_Artificial_Parameter_Sequence_const_iterator_t | pit | |||
| ) | [related] |
Definition at line 2434 of file ppl_c_implementation_common.cc.
| int ppl_PIP_Tree_Node_get_constraints | ( | ppl_const_PIP_Tree_Node_t | pip_tree, | |
| ppl_const_Constraint_System_t * | pcs | |||
| ) | [related] |
Definition at line 2397 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::constraints().
| int ppl_PIP_Tree_Node_number_of_artificials | ( | ppl_const_PIP_Tree_Node_t | pip_tree, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
Definition at line 2413 of file ppl_c_implementation_common.cc.
References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_count().
| int ppl_PIP_Tree_Node_OK | ( | ppl_const_PIP_Tree_Node_t | pip_tree | ) | [related] |
Definition at line 2407 of file ppl_c_implementation_common.cc.
| int ppl_set_error_handler | ( | error_handler_type | h | ) |
Definition at line 175 of file ppl_c_implementation_common.cc.
| int ppl_subtract_Linear_Expression_from_Linear_Expression | ( | ppl_Linear_Expression_t | dst, | |
| ppl_const_Linear_Expression_t | src | |||
| ) | [related] |
Definition at line 567 of file ppl_c_implementation_common.cc.
int PPL_MIP_PROBLEM_CONTROL_PARAMETER_NAME_PRICING [related] |
Definition at line 155 of file ppl_c_implementation_common.cc.
Definition at line 157 of file ppl_c_implementation_common.cc.
Definition at line 156 of file ppl_c_implementation_common.cc.
int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_TEXTBOOK [related] |
Definition at line 158 of file ppl_c_implementation_common.cc.
int PPL_MIP_PROBLEM_STATUS_OPTIMIZED [related] |
Definition at line 153 of file ppl_c_implementation_common.cc.
int PPL_MIP_PROBLEM_STATUS_UNBOUNDED [related] |
Definition at line 152 of file ppl_c_implementation_common.cc.
int PPL_MIP_PROBLEM_STATUS_UNFEASIBLE [related] |
Definition at line 151 of file ppl_c_implementation_common.cc.
int PPL_OPTIMIZATION_MODE_MAXIMIZATION [related] |
Definition at line 172 of file ppl_c_implementation_common.cc.
int PPL_OPTIMIZATION_MODE_MINIMIZATION [related] |
Definition at line 171 of file ppl_c_implementation_common.cc.
int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_ALL [related] |
Definition at line 166 of file ppl_c_implementation_common.cc.
Definition at line 165 of file ppl_c_implementation_common.cc.
int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_FIRST [related] |
Definition at line 164 of file ppl_c_implementation_common.cc.
int PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_CUTTING_STRATEGY [related] |
Definition at line 163 of file ppl_c_implementation_common.cc.
Definition at line 167 of file ppl_c_implementation_common.cc.
Definition at line 168 of file ppl_c_implementation_common.cc.
Definition at line 169 of file ppl_c_implementation_common.cc.
int PPL_PIP_PROBLEM_STATUS_OPTIMIZED [related] |
Definition at line 161 of file ppl_c_implementation_common.cc.
int PPL_PIP_PROBLEM_STATUS_UNFEASIBLE [related] |
Definition at line 160 of file ppl_c_implementation_common.cc.
1.6.3