ppl_c_implementation_common.cc File Reference

#include "ppl_c_implementation_common.defs.hh"
#include "ppl.hh"
#include "ppl_c.h"
#include <stdexcept>
Include dependency graph for ppl_c_implementation_common.cc:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

namespace  Parma_Polyhedra_Library
namespace  Parma_Polyhedra_Library::Interfaces
namespace  Parma_Polyhedra_Library::Interfaces::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_typeParma_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 Documentation

#define CONVERSION   (unsigned)
#define FORMAT   "%u"

Function Documentation

catch (   ...  ) 

Definition at line 2677 of file ppl_c_implementation_common.cc.

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]
int ppl_Artificial_Parameter_denominator ( ppl_const_Artificial_Parameter_t  ap,
ppl_Coefficient_t  n 
) [related]
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 
)
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]
int ppl_Congruence_inhomogeneous_term ( ppl_const_Congruence_t  c,
ppl_Coefficient_t  n 
) [related]
int ppl_Congruence_modulus ( ppl_const_Congruence_t  c,
ppl_Coefficient_t  m 
) [related]
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]
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]
int ppl_Congruence_System_end ( ppl_const_Congruence_System_t  cs,
ppl_Congruence_System_const_iterator_t  cit 
) [related]
int ppl_Congruence_System_insert_Congruence ( ppl_Congruence_System_t  cs,
ppl_const_Congruence_t  c 
) [related]
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]
int ppl_Constraint_inhomogeneous_term ( ppl_const_Constraint_t  c,
ppl_Coefficient_t  n 
) [related]
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]
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]
int ppl_Constraint_System_end ( ppl_const_Constraint_System_t  cs,
ppl_Constraint_System_const_iterator_t  cit 
) [related]
int ppl_Constraint_System_has_strict_inequalities ( ppl_const_Constraint_System_t  cs  )  [related]
int ppl_Constraint_System_insert_Constraint ( ppl_Constraint_System_t  cs,
ppl_const_Constraint_t  c 
) [related]
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]
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]
int ppl_Generator_divisor ( ppl_const_Generator_t  g,
ppl_Coefficient_t  n 
) [related]
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]
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]
int ppl_Generator_System_end ( ppl_const_Generator_System_t  gs,
ppl_Generator_System_const_iterator_t  git 
) [related]
int ppl_Generator_System_insert_Generator ( ppl_Generator_System_t  gs,
ppl_const_Generator_t  g 
) [related]
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]
int ppl_Grid_Generator_coefficient ( ppl_const_Grid_Generator_t  g,
ppl_dimension_type  var,
ppl_Coefficient_t  n 
) [related]
int ppl_Grid_Generator_divisor ( ppl_const_Grid_Generator_t  g,
ppl_Coefficient_t  n 
) [related]
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]
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]
int ppl_Grid_Generator_System_end ( ppl_const_Grid_Generator_System_t  gs,
ppl_Grid_Generator_System_const_iterator_t  git 
) [related]
int ppl_Grid_Generator_System_insert_Grid_Generator ( ppl_Grid_Generator_System_t  gs,
ppl_const_Grid_Generator_t  g 
) [related]
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]
int ppl_Linear_Expression_add_to_coefficient ( ppl_Linear_Expression_t  le,
ppl_dimension_type  var,
ppl_const_Coefficient_t  n 
) [related]
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]
int ppl_Linear_Expression_inhomogeneous_term ( ppl_const_Linear_Expression_t  le,
ppl_Coefficient_t  n 
) [related]
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]
int ppl_MIP_Problem_add_constraints ( ppl_MIP_Problem_t  mip,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_MIP_Problem_add_space_dimensions_and_embed ( ppl_MIP_Problem_t  mip,
ppl_dimension_type  d 
) [related]
int ppl_MIP_Problem_add_to_integer_space_dimensions ( ppl_MIP_Problem_t  mip,
ppl_dimension_type  ds[],
size_t  n 
) [related]
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]
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]
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]
int ppl_MIP_Problem_number_of_integer_space_dimensions ( ppl_const_MIP_Problem_t  mip,
ppl_dimension_type m 
) [related]
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]
int ppl_MIP_Problem_set_optimization_mode ( ppl_MIP_Problem_t  mip,
int  mode 
) [related]
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]
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]
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]
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]
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]
int ppl_PIP_Problem_add_constraints ( ppl_PIP_Problem_t  pip,
ppl_const_Constraint_System_t  cs 
) [related]
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]
int ppl_PIP_Problem_add_to_parameter_space_dimensions ( ppl_PIP_Problem_t  pip,
ppl_dimension_type  ds[],
size_t  n 
) [related]
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]
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]
int ppl_PIP_Problem_number_of_parameter_space_dimensions ( ppl_const_PIP_Problem_t  pip,
ppl_dimension_type m 
) [related]
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]
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]
int ppl_PIP_Tree_Node_number_of_artificials ( ppl_const_PIP_Tree_Node_t  pip_tree,
ppl_dimension_type m 
) [related]
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.


Variable Documentation

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.

Definition at line 158 of file ppl_c_implementation_common.cc.

Definition at line 153 of file ppl_c_implementation_common.cc.

Definition at line 152 of file ppl_c_implementation_common.cc.

Definition at line 151 of file ppl_c_implementation_common.cc.

Definition at line 172 of file ppl_c_implementation_common.cc.

Definition at line 171 of file ppl_c_implementation_common.cc.

Definition at line 166 of file ppl_c_implementation_common.cc.

Definition at line 165 of file ppl_c_implementation_common.cc.

Definition at line 164 of file ppl_c_implementation_common.cc.

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.

Definition at line 161 of file ppl_c_implementation_common.cc.

Definition at line 160 of file ppl_c_implementation_common.cc.

Generated on Sun Feb 27 16:22:49 2011 for PPL C Language Interface by  doxygen 1.6.3