ppl_c_implementation_common.cc File Reference

#include "ppl_c_implementation_common_defs.hh"

Include dependency graph for ppl_c_implementation_common.cc:

Go to the source code of this file.

Namespaces
	Parma_Polyhedra_Library
	Parma_Polyhedra_Library::Interfaces
	Parma_Polyhedra_Library::Interfaces::C

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

Typedefs
typedef const char *	Parma_Polyhedra_Library::Interfaces::C::c_variable_output_function_type(ppl_dimension_type var)
typedef Parma_Polyhedra_Library::Threshold_Watcher< Parma_Polyhedra_Library::Weightwatch_Traits >	Parma_Polyhedra_Library::Interfaces::C::Weightwatch

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. More...
	CATCH_STD_EXCEPTION (bad_alloc, PPL_ERROR_OUT_OF_MEMORY) CATCH_STD_EXCEPTION(invalid_argument
PPL_ERROR_INVALID_ARGUMENT	CATCH_STD_EXCEPTION (domain_error, PPL_ERROR_DOMAIN_ERROR) CATCH_STD_EXCEPTION(length_error
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR	CATCH_STD_EXCEPTION (logic_error, PPL_ERROR_LOGIC_ERROR) CATCH_STD_EXCEPTION(overflow_error
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW	CATCH_STD_EXCEPTION (runtime_error, PPL_ERROR_INTERNAL_ERROR) CATCH_STD_EXCEPTION(exception
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_finalize (void)
	Finalizes the Parma Polyhedra Library. This function must be called after any other function. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_set_timeout (unsigned csecs)
	Sets the timeout for computations whose completion could require an exponential amount of time. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_reset_timeout (void)
	Resets the timeout time so that the computation is not interrupted. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_set_deterministic_timeout (unsigned long unscaled_weight, unsigned scale)
	Sets a threshold for computations whose completion could require an exponential amount of time. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_reset_deterministic_timeout (void)
	Resets the deterministic timeout so that the computation is not interrupted. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_set_rounding_for_PPL (void)
	Sets the FPU rounding mode so that the PPL abstractions based on floating point numbers work correctly. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_restore_pre_PPL_rounding (void)
	Sets the FPU rounding mode as it was before initialization of the PPL. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_irrational_precision (unsigned *p)
	Writes to p the precision parameter used for irrational calculations. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_set_irrational_precision (unsigned p)
	Sets the precision parameter used for irrational calculations. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_version_major (void)
	Returns the major number of the PPL version. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_version_minor (void)
	Returns the minor number of the PPL version. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_version_revision (void)
	Returns the revision number of the PPL version. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_version_beta (void)
	Returns the beta number of the PPL version. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_version (const char **p)
	Writes to *p a pointer to a character string containing the PPL version. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_banner (const char **p)
	Writes to *p a pointer to a character string containing the PPL banner. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_max_space_dimension (ppl_dimension_type *m)
	Writes to m the maximum space dimension this library can handle. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_not_a_dimension (ppl_dimension_type *m)
	Writes to m a value that does not designate a valid dimension. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Coefficient (ppl_Coefficient_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Coefficient_from_mpz_t (ppl_Coefficient_t *pc, mpz_t z)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Coefficient_from_Coefficient (ppl_Coefficient_t *pc, ppl_const_Coefficient_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Coefficient_to_mpz_t (ppl_const_Coefficient_t c, mpz_t z)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Coefficient (ppl_const_Coefficient_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Coefficient_from_mpz_t (ppl_Coefficient_t dst, mpz_t z)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Coefficient_from_Coefficient (ppl_Coefficient_t dst, ppl_const_Coefficient_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Coefficient_OK (ppl_const_Coefficient_t)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Coefficient_is_bounded (void)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Coefficient_min (mpz_t min)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Coefficient_max (mpz_t max)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression (ppl_Linear_Expression_t *ple)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression_with_dimension (ppl_Linear_Expression_t *ple, ppl_dimension_type d)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t *ple, ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Linear_Expression (ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_add_to_coefficient (ppl_Linear_Expression_t le, ppl_dimension_type var, ppl_const_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_add_to_inhomogeneous (ppl_Linear_Expression_t le, ppl_const_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_add_Linear_Expression_to_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_subtract_Linear_Expression_from_Linear_Expression (ppl_Linear_Expression_t dst, ppl_const_Linear_Expression_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_multiply_Linear_Expression_by_Coefficient (ppl_Linear_Expression_t le, ppl_const_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_space_dimension (ppl_const_Linear_Expression_t le, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_coefficient (ppl_const_Linear_Expression_t le, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_inhomogeneous_term (ppl_const_Linear_Expression_t le, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_OK (ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_is_zero (ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Linear_Expression_all_homogeneous_terms_are_zero (ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint (ppl_Constraint_t *pc, ppl_const_Linear_Expression_t le, enum ppl_enum_Constraint_Type t)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_zero_dim_false (ppl_Constraint_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_zero_dim_positivity (ppl_Constraint_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_from_Constraint (ppl_Constraint_t *pc, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Constraint (ppl_const_Constraint_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Constraint_from_Constraint (ppl_Constraint_t dst, ppl_const_Constraint_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_space_dimension (ppl_const_Constraint_t c, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_type (ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_coefficient (ppl_const_Constraint_t c, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_inhomogeneous_term (ppl_const_Constraint_t c, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_OK (ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression_from_Constraint (ppl_Linear_Expression_t *ple, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_System (ppl_Constraint_System_t *pcs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_System_zero_dim_empty (ppl_Constraint_System_t *pcs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_System_from_Constraint (ppl_Constraint_System_t *pcs, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_System_from_Constraint_System (ppl_Constraint_System_t *pcs, ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Constraint_System (ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Constraint_System_from_Constraint_System (ppl_Constraint_System_t dst, ppl_const_Constraint_System_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_space_dimension (ppl_const_Constraint_System_t cs, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_empty (ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_has_strict_inequalities (ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_clear (ppl_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_insert_Constraint (ppl_Constraint_System_t cs, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_OK (ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Constraint_System_const_iterator (ppl_Constraint_System_const_iterator_t *pcit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Constraint_System_const_iterator (ppl_const_Constraint_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_begin (ppl_const_Constraint_System_t cs, ppl_Constraint_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_end (ppl_const_Constraint_System_t cs, ppl_Constraint_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_const_iterator_dereference (ppl_const_Constraint_System_const_iterator_t cit, ppl_const_Constraint_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_const_iterator_increment (ppl_Constraint_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Constraint_System_const_iterator_equal_test (ppl_const_Constraint_System_const_iterator_t x, ppl_const_Constraint_System_const_iterator_t y)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_zero_dim_point (ppl_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_zero_dim_closure_point (ppl_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_from_Generator (ppl_Generator_t *pg, ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Generator (ppl_const_Generator_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Generator_from_Generator (ppl_Generator_t dst, ppl_const_Generator_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_space_dimension (ppl_const_Generator_t g, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_type (ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_coefficient (ppl_const_Generator_t g, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_divisor (ppl_const_Generator_t g, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_OK (ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression_from_Generator (ppl_Linear_Expression_t *ple, ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_System (ppl_Generator_System_t *pgs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_System_zero_dim_univ (ppl_Generator_System_t *pgs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_System_from_Generator (ppl_Generator_System_t *pgs, ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_System_from_Generator_System (ppl_Generator_System_t *pgs, ppl_const_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Generator_System (ppl_const_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Generator_System_from_Generator_System (ppl_Generator_System_t dst, ppl_const_Generator_System_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_space_dimension (ppl_const_Generator_System_t gs, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_empty (ppl_const_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_clear (ppl_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_insert_Generator (ppl_Generator_System_t gs, ppl_const_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_OK (ppl_const_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Generator_System_const_iterator (ppl_Generator_System_const_iterator_t *pgit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Generator_System_const_iterator (ppl_const_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_begin (ppl_const_Generator_System_t gs, ppl_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_end (ppl_const_Generator_System_t gs, ppl_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_const_iterator_dereference (ppl_const_Generator_System_const_iterator_t git, ppl_const_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_const_iterator_increment (ppl_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Generator_System_const_iterator_equal_test (ppl_const_Generator_System_const_iterator_t x, ppl_const_Generator_System_const_iterator_t y)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence (ppl_Congruence_t *pc, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_zero_dim_false (ppl_Congruence_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_zero_dim_integrality (ppl_Congruence_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_from_Congruence (ppl_Congruence_t *pc, ppl_const_Congruence_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Congruence (ppl_const_Congruence_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Congruence_from_Congruence (ppl_Congruence_t dst, ppl_const_Congruence_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_space_dimension (ppl_const_Congruence_t c, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_coefficient (ppl_const_Congruence_t c, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_inhomogeneous_term (ppl_const_Congruence_t c, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_modulus (ppl_const_Congruence_t c, ppl_Coefficient_t m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_OK (ppl_const_Congruence_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Linear_Expression_from_Congruence (ppl_Linear_Expression_t *ple, ppl_const_Congruence_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_System (ppl_Congruence_System_t *pcs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_System_zero_dim_empty (ppl_Congruence_System_t *pcs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_System_from_Congruence (ppl_Congruence_System_t *pcs, ppl_const_Congruence_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_System_from_Congruence_System (ppl_Congruence_System_t *pcs, ppl_const_Congruence_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Congruence_System (ppl_const_Congruence_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Congruence_System_from_Congruence_System (ppl_Congruence_System_t dst, ppl_const_Congruence_System_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_space_dimension (ppl_const_Congruence_System_t cs, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_empty (ppl_const_Congruence_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_clear (ppl_Congruence_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_insert_Congruence (ppl_Congruence_System_t cs, ppl_const_Congruence_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_OK (ppl_const_Congruence_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Congruence_System_const_iterator (ppl_Congruence_System_const_iterator_t *pcit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Congruence_System_const_iterator (ppl_const_Congruence_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_begin (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_end (ppl_const_Congruence_System_t cs, ppl_Congruence_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_const_iterator_dereference (ppl_const_Congruence_System_const_iterator_t cit, ppl_const_Congruence_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_const_iterator_increment (ppl_Congruence_System_const_iterator_t cit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Congruence_System_const_iterator_equal_test (ppl_const_Congruence_System_const_iterator_t x, ppl_const_Congruence_System_const_iterator_t y)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_zero_dim_point (ppl_Grid_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_from_Grid_Generator (ppl_Grid_Generator_t *pg, ppl_const_Grid_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Grid_Generator (ppl_const_Grid_Generator_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Grid_Generator_from_Grid_Generator (ppl_Grid_Generator_t dst, ppl_const_Grid_Generator_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_space_dimension (ppl_const_Grid_Generator_t g, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_type (ppl_const_Grid_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_coefficient (ppl_const_Grid_Generator_t g, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_divisor (ppl_const_Grid_Generator_t g, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_OK (ppl_const_Grid_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_System (ppl_Grid_Generator_System_t *pgs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_System_zero_dim_univ (ppl_Grid_Generator_System_t *pgs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_System_from_Grid_Generator (ppl_Grid_Generator_System_t *pgs, ppl_const_Grid_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_System_from_Grid_Generator_System (ppl_Grid_Generator_System_t *pgs, ppl_const_Grid_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Grid_Generator_System (ppl_const_Grid_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_Grid_Generator_System_from_Grid_Generator_System (ppl_Grid_Generator_System_t dst, ppl_const_Grid_Generator_System_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_space_dimension (ppl_const_Grid_Generator_System_t gs, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_empty (ppl_const_Grid_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_clear (ppl_Grid_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_insert_Grid_Generator (ppl_Grid_Generator_System_t gs, ppl_const_Grid_Generator_t g)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_OK (ppl_const_Grid_Generator_System_t gs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Grid_Generator_System_const_iterator (ppl_Grid_Generator_System_const_iterator_t *pgit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Grid_Generator_System_const_iterator (ppl_const_Grid_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_begin (ppl_const_Grid_Generator_System_t gs, ppl_Grid_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_end (ppl_const_Grid_Generator_System_t gs, ppl_Grid_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_const_iterator_dereference (ppl_const_Grid_Generator_System_const_iterator_t git, ppl_const_Grid_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Grid_Generator_System_const_iterator_increment (ppl_Grid_Generator_System_const_iterator_t git)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_MIP_Problem_from_space_dimension (ppl_MIP_Problem_t *pmip, ppl_dimension_type d)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_MIP_Problem_from_MIP_Problem (ppl_MIP_Problem_t *pmip, ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_MIP_Problem (ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_MIP_Problem_from_MIP_Problem (ppl_MIP_Problem_t dst, ppl_const_MIP_Problem_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_space_dimension (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_number_of_integer_space_dimensions (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_integer_space_dimensions (ppl_const_MIP_Problem_t mip, ppl_dimension_type ds[])
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_number_of_constraints (ppl_const_MIP_Problem_t mip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_constraint_at_index (ppl_const_MIP_Problem_t mip, ppl_dimension_type i, ppl_const_Constraint_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_objective_function (ppl_const_MIP_Problem_t mip, ppl_const_Linear_Expression_t *ple)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_optimization_mode (ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_clear (ppl_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_add_space_dimensions_and_embed (ppl_MIP_Problem_t mip, ppl_dimension_type d)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_add_to_integer_space_dimensions (ppl_MIP_Problem_t mip, ppl_dimension_type ds[], size_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_add_constraint (ppl_MIP_Problem_t mip, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_add_constraints (ppl_MIP_Problem_t mip, ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_set_objective_function (ppl_MIP_Problem_t mip, ppl_const_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_set_optimization_mode (ppl_MIP_Problem_t mip, int mode)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_is_satisfiable (ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_solve (ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_feasible_point (ppl_const_MIP_Problem_t mip, ppl_const_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_optimizing_point (ppl_const_MIP_Problem_t mip, ppl_const_Generator_t *pg)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_optimal_value (ppl_const_MIP_Problem_t mip, ppl_Coefficient_t num, ppl_Coefficient_t den)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_get_control_parameter (ppl_const_MIP_Problem_t mip, int name)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_set_control_parameter (ppl_MIP_Problem_t mip, int value)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_OK (ppl_const_MIP_Problem_t mip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_total_memory_in_bytes (ppl_const_MIP_Problem_t mip, size_t *sz)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_MIP_Problem_external_memory_in_bytes (ppl_const_MIP_Problem_t mip, size_t *sz)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_PIP_Problem_from_space_dimension (ppl_PIP_Problem_t *ppip, ppl_dimension_type d)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_PIP_Problem_from_PIP_Problem (ppl_PIP_Problem_t *dpip, ppl_const_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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[])
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_assign_PIP_Problem_from_PIP_Problem (ppl_PIP_Problem_t dst, ppl_const_PIP_Problem_t src)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_PIP_Problem (ppl_const_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_space_dimension (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_number_of_parameter_space_dimensions (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_parameter_space_dimensions (ppl_const_PIP_Problem_t pip, ppl_dimension_type ds[])
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_number_of_constraints (ppl_const_PIP_Problem_t pip, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_constraint_at_index (ppl_const_PIP_Problem_t pip, ppl_dimension_type i, ppl_const_Constraint_t *pc)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_clear (ppl_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_add_space_dimensions_and_embed (ppl_PIP_Problem_t pip, ppl_dimension_type pip_vars, ppl_dimension_type pip_params)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_add_to_parameter_space_dimensions (ppl_PIP_Problem_t pip, ppl_dimension_type ds[], size_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_add_constraint (ppl_PIP_Problem_t pip, ppl_const_Constraint_t c)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_add_constraints (ppl_PIP_Problem_t pip, ppl_const_Constraint_System_t cs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_is_satisfiable (ppl_const_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_solve (ppl_const_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_solution (ppl_const_PIP_Problem_t pip, ppl_const_PIP_Tree_Node_t *ppip_tree)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_optimizing_solution (ppl_const_PIP_Problem_t pip, ppl_const_PIP_Tree_Node_t *ppip_tree)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_OK (ppl_const_PIP_Problem_t pip)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_get_control_parameter (ppl_const_PIP_Problem_t pip, int name)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_set_control_parameter (ppl_PIP_Problem_t pip, int value)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_get_big_parameter_dimension (ppl_const_PIP_Problem_t pip, ppl_dimension_type *pd)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_set_big_parameter_dimension (ppl_PIP_Problem_t pip, ppl_dimension_type d)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_total_memory_in_bytes (ppl_const_PIP_Problem_t pip, size_t *sz)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Problem_external_memory_in_bytes (ppl_const_PIP_Problem_t pip, size_t *sz)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_as_solution (ppl_const_PIP_Tree_Node_t spip_tree, ppl_const_PIP_Solution_Node_t *dpip_tree)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_as_decision (ppl_const_PIP_Tree_Node_t spip_tree, ppl_const_PIP_Decision_Node_t *dpip_tree)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_get_constraints (ppl_const_PIP_Tree_Node_t pip_tree, ppl_const_Constraint_System_t *pcs)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_OK (ppl_const_PIP_Tree_Node_t pip_tree)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_number_of_artificials (ppl_const_PIP_Tree_Node_t pip_tree, ppl_dimension_type *m)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_begin (ppl_const_PIP_Tree_Node_t pip_tree, ppl_Artificial_Parameter_Sequence_const_iterator_t pit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Tree_Node_end (ppl_const_PIP_Tree_Node_t pip_tree, ppl_Artificial_Parameter_Sequence_const_iterator_t pit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Solution_Node_OK (ppl_const_PIP_Solution_Node_t pip_sol)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_PIP_Decision_Node_OK (ppl_const_PIP_Decision_Node_t pip_dec)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_get_Linear_Expression (ppl_const_Artificial_Parameter_t ap, ppl_Linear_Expression_t le)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_coefficient (ppl_const_Artificial_Parameter_t ap, ppl_dimension_type var, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_inhomogeneous_term (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_denominator (ppl_const_Artificial_Parameter_t ap, ppl_Coefficient_t n)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_new_Artificial_Parameter_Sequence_const_iterator (ppl_Artificial_Parameter_Sequence_const_iterator_t *papit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_delete_Artificial_Parameter_Sequence_const_iterator (ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_Sequence_const_iterator_dereference (ppl_const_Artificial_Parameter_Sequence_const_iterator_t apit, ppl_const_Artificial_Parameter_t *pap)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_Artificial_Parameter_Sequence_const_iterator_increment (ppl_Artificial_Parameter_Sequence_const_iterator_t apit)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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)
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_io_print_variable (ppl_dimension_type var)
	Pretty-prints var to stdout. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int	ppl_io_fprint_variable (FILE *stream, ppl_dimension_type var)
	Pretty-prints var to the given output stream. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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. More...
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. More...
PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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. More...

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
Parma_Polyhedra_Library::Watchdog *	Parma_Polyhedra_Library::Interfaces::C::p_timeout_object = 0
Weightwatch *	Parma_Polyhedra_Library::Interfaces::C::p_deterministic_timeout_object = 0
unsigned int	PPL_POLY_CON_RELATION_IS_DISJOINT
	Individual bit saying that the polyhedron and the set of points satisfying the constraint are disjoint. More...
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. More...
unsigned int	PPL_POLY_CON_RELATION_IS_INCLUDED
	Individual bit saying that the polyhedron is included in the set of points satisfying the constraint. More...
unsigned int	PPL_POLY_CON_RELATION_SATURATES
	Individual bit saying that the polyhedron is included in the set of points saturating the constraint. More...
unsigned int	PPL_POLY_GEN_RELATION_SUBSUMES
	Individual bit saying that adding the generator would not change the polyhedron. More...
unsigned int	PPL_COMPLEXITY_CLASS_POLYNOMIAL
	Code of the worst-case polynomial complexity class. More...
unsigned int	PPL_COMPLEXITY_CLASS_SIMPLEX
	Code of the worst-case exponential but typically polynomial complexity class. More...
unsigned int	PPL_COMPLEXITY_CLASS_ANY
	Code of the universal complexity class. More...
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

Macro Definition Documentation

#define CONVERSION   (unsigned)

#define FORMAT   "%u"

Function Documentation

CATCH_STD_EXCEPTION	(	bad_alloc	,
		PPL_ERROR_OUT_OF_MEMORY
	)

PPL_ERROR_INVALID_ARGUMENT CATCH_STD_EXCEPTION	(	domain_error	,
		PPL_ERROR_DOMAIN_ERROR
	)

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR CATCH_STD_EXCEPTION	(	logic_error	,
		PPL_ERROR_LOGIC_ERROR
	)

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW CATCH_STD_EXCEPTION	(	runtime_error	,
		PPL_ERROR_INTERNAL_ERROR
	)

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_add_Linear_Expression_to_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.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Artificial_Parameter_coefficient ( ppl_const_Artificial_Parameter_t  ap, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 2453 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Artificial_Parameter_denominator ( ppl_const_Artificial_Parameter_t  ap, ppl_Coefficient_t  n  )

related

Definition at line 2475 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Artificial_Parameter_get_Linear_Expression ( ppl_const_Artificial_Parameter_t  ap, ppl_Linear_Expression_t  le  )

related

Definition at line 2443 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Artificial_Parameter_inhomogeneous_term	(	ppl_const_Artificial_Parameter_t	ap,
		ppl_Coefficient_t	n
	)

Definition at line 2465 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2526 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2546 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Artificial_Parameter_Sequence_const_iterator_increment ( ppl_Artificial_Parameter_Sequence_const_iterator_t  apit )

related

Definition at line 2537 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2515 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Coefficient_from_Coefficient ( ppl_Coefficient_t  dst, ppl_const_Coefficient_t  src  )

related

Definition at line 411 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Coefficient_from_mpz_t ( ppl_Coefficient_t  dst, mpz_t  z  )

related

Definition at line 403 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Congruence_from_Congruence ( ppl_Congruence_t  dst, ppl_const_Congruence_t  src  )

related

Definition at line 1277 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1462 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Congruence_System_from_Congruence_System ( ppl_Congruence_System_t  dst, ppl_const_Congruence_System_t  src  )

related

Definition at line 1385 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Constraint_from_Constraint ( ppl_Constraint_t  dst, ppl_const_Constraint_t  src  )

related

Definition at line 666 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 863 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Constraint_System_from_Constraint_System ( ppl_Constraint_System_t  dst, ppl_const_Constraint_System_t  src  )

related

Definition at line 778 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Generator_from_Generator ( ppl_Generator_t  dst, ppl_const_Generator_t  src  )

related

Definition at line 984 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1172 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Generator_System_from_Generator_System ( ppl_Generator_System_t  dst, ppl_const_Generator_System_t  src  )

related

Definition at line 1096 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Grid_Generator_from_Grid_Generator ( ppl_Grid_Generator_t  dst, ppl_const_Grid_Generator_t  src  )

related

Definition at line 1575 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1767 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1689 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_Linear_Expression_from_Linear_Expression ( ppl_Linear_Expression_t  dst, ppl_const_Linear_Expression_t  src  )

related

Definition at line 495 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_MIP_Problem_from_MIP_Problem ( ppl_MIP_Problem_t  dst, ppl_const_MIP_Problem_t  src  )

related

Definition at line 1867 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_assign_PIP_Problem_from_PIP_Problem ( ppl_PIP_Problem_t  dst, ppl_const_PIP_Problem_t  src  )

related

Definition at line 2145 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Coefficient_is_bounded ( void  )

related

Definition at line 427 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Coefficient_max ( mpz_t  max )

related

Definition at line 446 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::assign_r(), and Parma_Polyhedra_Library::ROUND_NOT_NEEDED.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Coefficient_min ( mpz_t  min )

related

Definition at line 433 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::assign_r(), and Parma_Polyhedra_Library::ROUND_NOT_NEEDED.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Coefficient_OK ( ppl_const_Coefficient_t  )

related

Definition at line 421 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Coefficient_to_mpz_t ( ppl_const_Coefficient_t  c, mpz_t  z  )

related

Definition at line 389 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::assign_r(), and Parma_Polyhedra_Library::ROUND_NOT_NEEDED.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_coefficient ( ppl_const_Congruence_t  c, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 1295 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::coefficient().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_inhomogeneous_term ( ppl_const_Congruence_t  c, ppl_Coefficient_t  n  )

related

Definition at line 1306 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::inhomogeneous_term().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_modulus ( ppl_const_Congruence_t  c, ppl_Coefficient_t  m  )

related

Definition at line 1316 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::modulus().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_OK ( ppl_const_Congruence_t  c )

related

Definition at line 1326 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_space_dimension ( ppl_const_Congruence_t  c, ppl_dimension_type *  m  )

related

Definition at line 1287 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_begin ( ppl_const_Congruence_System_t  cs, ppl_Congruence_System_const_iterator_t  cit  )

related

Definition at line 1472 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence_System::begin().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_clear ( ppl_Congruence_System_t  cs )

related

Definition at line 1410 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_const_iterator_dereference ( ppl_const_Congruence_System_const_iterator_t  cit, ppl_const_Congruence_t *  pc  )

related

Definition at line 1493 of file ppl_c_implementation_common.cc.

References c.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1513 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_const_iterator_increment ( ppl_Congruence_System_const_iterator_t  cit )

related

Definition at line 1504 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_empty ( ppl_const_Congruence_System_t  cs )

related

Definition at line 1403 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence_System::empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_end ( ppl_const_Congruence_System_t  cs, ppl_Congruence_System_const_iterator_t  cit  )

related

Definition at line 1482 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence_System::end().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_insert_Congruence ( ppl_Congruence_System_t  cs, ppl_const_Congruence_t  c  )

related

Definition at line 1417 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence_System::insert().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_OK ( ppl_const_Congruence_System_t  cs )

related

Definition at line 1427 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Congruence_System_space_dimension ( ppl_const_Congruence_System_t  cs, ppl_dimension_type *  m  )

related

Definition at line 1394 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_coefficient ( ppl_const_Constraint_t  c, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 698 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::coefficient().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_inhomogeneous_term ( ppl_const_Constraint_t  c, ppl_Coefficient_t  n  )

related

Definition at line 709 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::inhomogeneous_term().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_OK ( ppl_const_Constraint_t  c )

related

Definition at line 719 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_space_dimension ( ppl_const_Constraint_t  c, ppl_dimension_type *  m  )

related

Definition at line 676 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_begin ( ppl_const_Constraint_System_t  cs, ppl_Constraint_System_const_iterator_t  cit  )

related

Definition at line 873 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::begin().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_clear ( ppl_Constraint_System_t  cs )

related

Definition at line 811 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_const_iterator_dereference ( ppl_const_Constraint_System_const_iterator_t  cit, ppl_const_Constraint_t *  pc  )

related

Definition at line 894 of file ppl_c_implementation_common.cc.

References c.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 914 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_const_iterator_increment ( ppl_Constraint_System_const_iterator_t  cit )

related

Definition at line 905 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_empty ( ppl_const_Constraint_System_t  cs )

related

Definition at line 796 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_end ( ppl_const_Constraint_System_t  cs, ppl_Constraint_System_const_iterator_t  cit  )

related

Definition at line 883 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::end().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_has_strict_inequalities ( ppl_const_Constraint_System_t  cs )

related

Definition at line 804 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::has_strict_inequalities().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_insert_Constraint ( ppl_Constraint_System_t  cs, ppl_const_Constraint_t  c  )

related

Definition at line 818 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::insert().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_OK ( ppl_const_Constraint_System_t  cs )

related

Definition at line 828 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_System_space_dimension ( ppl_const_Constraint_System_t  cs, ppl_dimension_type *  m  )

related

Definition at line 787 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Constraint_type ( ppl_const_Constraint_t  c )

related

Definition at line 684 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::EQUALITY, Parma_Polyhedra_Library::Constraint::NONSTRICT_INEQUALITY, PPL_CONSTRAINT_TYPE_EQUAL, PPL_CONSTRAINT_TYPE_GREATER_OR_EQUAL, PPL_CONSTRAINT_TYPE_GREATER_THAN, and Parma_Polyhedra_Library::Constraint::STRICT_INEQUALITY.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Artificial_Parameter_Sequence_const_iterator ( ppl_const_Artificial_Parameter_Sequence_const_iterator_t  apit )

related

Definition at line 2506 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Coefficient ( ppl_const_Coefficient_t  c )

related

Definition at line 396 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Congruence ( ppl_const_Congruence_t  le )

related

Definition at line 1270 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Congruence_System ( ppl_const_Congruence_System_t  cs )

related

Definition at line 1377 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Congruence_System_const_iterator ( ppl_const_Congruence_System_const_iterator_t  cit )

related

Definition at line 1453 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Constraint ( ppl_const_Constraint_t  le )

related

Definition at line 659 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Constraint_System ( ppl_const_Constraint_System_t  cs )

related

Definition at line 770 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Constraint_System_const_iterator ( ppl_const_Constraint_System_const_iterator_t  cit )

related

Definition at line 854 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Generator ( ppl_const_Generator_t  le )

related

Definition at line 977 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Generator_System ( ppl_const_Generator_System_t  gs )

related

Definition at line 1088 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Generator_System_const_iterator ( ppl_const_Generator_System_const_iterator_t  git )

related

Definition at line 1164 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Grid_Generator ( ppl_const_Grid_Generator_t  le )

related

Definition at line 1567 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Grid_Generator_System ( ppl_const_Grid_Generator_System_t  gs )

related

Definition at line 1681 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Grid_Generator_System_const_iterator ( ppl_const_Grid_Generator_System_const_iterator_t  git )

related

Definition at line 1759 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_Linear_Expression ( ppl_const_Linear_Expression_t  le )

related

Definition at line 487 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_MIP_Problem ( ppl_const_MIP_Problem_t  mip )

related

Definition at line 1860 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_delete_PIP_Problem ( ppl_const_PIP_Problem_t  pip )

related

Definition at line 2155 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_coefficient ( ppl_const_Generator_t  g, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 1018 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::coefficient().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_divisor ( ppl_const_Generator_t  g, ppl_Coefficient_t  n  )

related

Definition at line 1029 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::divisor().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_OK ( ppl_const_Generator_t  g )

related

Definition at line 1039 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_space_dimension ( ppl_const_Generator_t  g, ppl_dimension_type *  m  )

related

Definition at line 994 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_begin ( ppl_const_Generator_System_t  gs, ppl_Generator_System_const_iterator_t  git  )

related

Definition at line 1182 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator_System::begin().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_clear ( ppl_Generator_System_t  gs )

related

Definition at line 1121 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_const_iterator_dereference ( ppl_const_Generator_System_const_iterator_t  git, ppl_const_Generator_t *  pg  )

related

Definition at line 1203 of file ppl_c_implementation_common.cc.

References c.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1223 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_const_iterator_increment ( ppl_Generator_System_const_iterator_t  git )

related

Definition at line 1214 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_empty ( ppl_const_Generator_System_t  gs )

related

Definition at line 1114 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator_System::empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_end ( ppl_const_Generator_System_t  gs, ppl_Generator_System_const_iterator_t  git  )

related

Definition at line 1192 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator_System::end().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_insert_Generator ( ppl_Generator_System_t  gs, ppl_const_Generator_t  g  )

related

Definition at line 1128 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator_System::insert().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_OK ( ppl_const_Generator_System_t  gs )

related

Definition at line 1138 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_System_space_dimension ( ppl_const_Generator_System_t  gs, ppl_dimension_type *  m  )

related

Definition at line 1105 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Generator_type ( ppl_const_Generator_t  g )

related

Definition at line 1002 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::CLOSURE_POINT, Parma_Polyhedra_Library::Generator::LINE, Parma_Polyhedra_Library::Generator::POINT, PPL_GENERATOR_TYPE_CLOSURE_POINT, PPL_GENERATOR_TYPE_LINE, PPL_GENERATOR_TYPE_POINT, PPL_GENERATOR_TYPE_RAY, and Parma_Polyhedra_Library::Generator::RAY.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_coefficient ( ppl_const_Grid_Generator_t  g, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 1607 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator::coefficient().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_divisor ( ppl_const_Grid_Generator_t  g, ppl_Coefficient_t  n  )

related

Definition at line 1618 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator::divisor().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_OK ( ppl_const_Grid_Generator_t  g )

related

Definition at line 1628 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_space_dimension ( ppl_const_Grid_Generator_t  g, ppl_dimension_type *  m  )

related

Definition at line 1585 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1778 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::begin().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_clear ( ppl_Grid_Generator_System_t  gs )

related

Definition at line 1714 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1800 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1820 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_const_iterator_increment ( ppl_Grid_Generator_System_const_iterator_t  git )

related

Definition at line 1811 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_empty ( ppl_const_Grid_Generator_System_t  gs )

related

Definition at line 1707 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1789 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::end().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_insert_Grid_Generator ( ppl_Grid_Generator_System_t  gs, ppl_const_Grid_Generator_t  g  )

related

Definition at line 1722 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::insert().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_OK ( ppl_const_Grid_Generator_System_t  gs )

related

Definition at line 1732 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_System_space_dimension ( ppl_const_Grid_Generator_System_t  gs, ppl_dimension_type *  m  )

related

Definition at line 1698 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Grid_Generator_type ( ppl_const_Grid_Generator_t  g )

related

Definition at line 1593 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator::LINE, Parma_Polyhedra_Library::Grid_Generator::PARAMETER, Parma_Polyhedra_Library::Grid_Generator::POINT, PPL_GRID_GENERATOR_TYPE_LINE, PPL_GRID_GENERATOR_TYPE_PARAMETER, and PPL_GRID_GENERATOR_TYPE_POINT.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 504 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::add_mul_assign().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_add_to_inhomogeneous ( ppl_Linear_Expression_t  le, ppl_const_Coefficient_t  n  )

related

Definition at line 515 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_all_homogeneous_terms_are_zero ( ppl_const_Linear_Expression_t  le )

related

Definition at line 597 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_coefficient ( ppl_const_Linear_Expression_t  le, ppl_dimension_type  var, ppl_Coefficient_t  n  )

related

Definition at line 563 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Linear_Expression::coefficient().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_inhomogeneous_term ( ppl_const_Linear_Expression_t  le, ppl_Coefficient_t  n  )

related

Definition at line 574 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Linear_Expression::inhomogeneous_term().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_is_zero ( ppl_const_Linear_Expression_t  le )

related

Definition at line 590 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_OK ( ppl_const_Linear_Expression_t  le )

related

Definition at line 584 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_Linear_Expression_space_dimension ( ppl_const_Linear_Expression_t  le, ppl_dimension_type *  m  )

related

Definition at line 555 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_add_constraint ( ppl_MIP_Problem_t  mip, ppl_const_Constraint_t  c  )

related

Definition at line 1975 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraint().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_add_constraints ( ppl_MIP_Problem_t  mip, ppl_const_Constraint_System_t  cs  )

related

Definition at line 1985 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraints().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_add_space_dimensions_and_embed ( ppl_MIP_Problem_t  mip, ppl_dimension_type  d  )

related

Definition at line 1953 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_space_dimensions_and_embed().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1962 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().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_clear ( ppl_MIP_Problem_t  mip )

related

Definition at line 1946 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1915 of file ppl_c_implementation_common.cc.

References c, Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), num_constraints(), and ppl_MIP_Problem_number_of_constraints().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2027 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::evaluate_objective_function().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_external_memory_in_bytes ( ppl_const_MIP_Problem_t  mip, size_t *  sz  )

related

Definition at line 2103 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_feasible_point ( ppl_const_MIP_Problem_t  mip, ppl_const_Generator_t *  pg  )

related

Definition at line 2041 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_get_control_parameter ( ppl_const_MIP_Problem_t  mip, int  name  )

related

Definition at line 2070 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_integer_space_dimensions ( ppl_const_MIP_Problem_t  mip, ppl_dimension_type  ds[]  )

related

Definition at line 1894 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_is_satisfiable ( ppl_const_MIP_Problem_t  mip )

related

Definition at line 2015 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_number_of_constraints ( ppl_const_MIP_Problem_t  mip, ppl_dimension_type *  m  )

related

Definition at line 1906 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::MIP_Problem::constraints_end().

Referenced by ppl_MIP_Problem_constraint_at_index().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_number_of_integer_space_dimensions ( ppl_const_MIP_Problem_t  mip, ppl_dimension_type *  m  )

related

Definition at line 1885 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::integer_space_dimensions().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_objective_function ( ppl_const_MIP_Problem_t  mip, ppl_const_Linear_Expression_t *  ple  )

related

Definition at line 1931 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_OK ( ppl_const_MIP_Problem_t  mip )

related

Definition at line 2089 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_optimal_value ( ppl_const_MIP_Problem_t  mip, ppl_Coefficient_t  num, ppl_Coefficient_t  den  )

related

Definition at line 2059 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_optimization_mode ( ppl_const_MIP_Problem_t  mip )

related

Definition at line 1940 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_optimizing_point ( ppl_const_MIP_Problem_t  mip, ppl_const_Generator_t *  pg  )

related

Definition at line 2050 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_set_control_parameter ( ppl_MIP_Problem_t  mip, int  value  )

related

Definition at line 2079 of file ppl_c_implementation_common.cc.

References value.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_set_objective_function ( ppl_MIP_Problem_t  mip, ppl_const_Linear_Expression_t  le  )

related

Definition at line 1995 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MIP_Problem::set_objective_function().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_set_optimization_mode ( ppl_MIP_Problem_t  mip, int  mode  )

related

Definition at line 2005 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MAXIMIZATION, Parma_Polyhedra_Library::MINIMIZATION, PPL_OPTIMIZATION_MODE_MINIMIZATION, and Parma_Polyhedra_Library::MIP_Problem::set_optimization_mode().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_solve ( ppl_const_MIP_Problem_t  mip )

related

Definition at line 2021 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_space_dimension ( ppl_const_MIP_Problem_t  mip, ppl_dimension_type *  m  )

related

Definition at line 1877 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_MIP_Problem_total_memory_in_bytes ( ppl_const_MIP_Problem_t  mip, size_t *  sz  )

related

Definition at line 2095 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_multiply_Linear_Expression_by_Coefficient ( ppl_Linear_Expression_t  le, ppl_const_Coefficient_t  n  )

related

Definition at line 545 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Artificial_Parameter_Sequence_const_iterator ( ppl_Artificial_Parameter_Sequence_const_iterator_t *  papit )

related

Definition at line 2489 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2497 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Coefficient ( ppl_Coefficient_t *  pc )

related

Definition at line 366 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Coefficient_from_Coefficient ( ppl_Coefficient_t *  pc, ppl_const_Coefficient_t  c  )

related

Definition at line 380 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Coefficient_from_mpz_t ( ppl_Coefficient_t *  pc, mpz_t  z  )

related

Definition at line 373 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence ( ppl_Congruence_t *  pc, ppl_const_Linear_Expression_t  le, ppl_const_Coefficient_t  m  )

related

Definition at line 1234 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_from_Congruence ( ppl_Congruence_t *  pc, ppl_const_Congruence_t  c  )

related

Definition at line 1261 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_System ( ppl_Congruence_System_t *  pcs )

related

Definition at line 1343 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_System_const_iterator ( ppl_Congruence_System_const_iterator_t *  pcit )

related

Definition at line 1436 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1444 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_System_from_Congruence ( ppl_Congruence_System_t *  pcs, ppl_const_Congruence_t  c  )

related

Definition at line 1359 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_System_from_Congruence_System ( ppl_Congruence_System_t *  pcs, ppl_const_Congruence_System_t  cs  )

related

Definition at line 1369 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_System_zero_dim_empty ( ppl_Congruence_System_t *  pcs )

related

Definition at line 1350 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence_System::zero_dim_empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_zero_dim_false ( ppl_Congruence_t *  pc )

related

Definition at line 1247 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::zero_dim_false().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Congruence_zero_dim_integrality ( ppl_Congruence_t *  pc )

related

Definition at line 1254 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::zero_dim_integrality().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint ( ppl_Constraint_t *  pc, ppl_const_Linear_Expression_t  le, enum ppl_enum_Constraint_Type  t  )

related

Definition at line 605 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.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_from_Constraint ( ppl_Constraint_t *  pc, ppl_const_Constraint_t  c  )

related

Definition at line 650 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_System ( ppl_Constraint_System_t *  pcs )

related

Definition at line 736 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_System_const_iterator ( ppl_Constraint_System_const_iterator_t *  pcit )

related

Definition at line 837 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 845 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_System_from_Constraint ( ppl_Constraint_System_t *  pcs, ppl_const_Constraint_t  c  )

related

Definition at line 752 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_System_from_Constraint_System ( ppl_Constraint_System_t *  pcs, ppl_const_Constraint_System_t  cs  )

related

Definition at line 762 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_System_zero_dim_empty ( ppl_Constraint_System_t *  pcs )

related

Definition at line 743 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint_System::zero_dim_empty().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_zero_dim_false ( ppl_Constraint_t *  pc )

related

Definition at line 636 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::zero_dim_false().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Constraint_zero_dim_positivity ( ppl_Constraint_t *  pc )

related

Definition at line 643 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::zero_dim_positivity().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 925 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::closure_point(), Parma_Polyhedra_Library::Generator::line(), Parma_Polyhedra_Library::Generator::point(), PPL_GENERATOR_TYPE_CLOSURE_POINT, PPL_GENERATOR_TYPE_LINE, PPL_GENERATOR_TYPE_POINT, PPL_GENERATOR_TYPE_RAY, and Parma_Polyhedra_Library::Generator::ray().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_from_Generator ( ppl_Generator_t *  pg, ppl_const_Generator_t  g  )

related

Definition at line 968 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_System ( ppl_Generator_System_t *  pgs )

related

Definition at line 1056 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_System_const_iterator ( ppl_Generator_System_const_iterator_t *  pgit )

related

Definition at line 1147 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1155 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_System_from_Generator ( ppl_Generator_System_t *  pgs, ppl_const_Generator_t  g  )

related

Definition at line 1070 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_System_from_Generator_System ( ppl_Generator_System_t *  pgs, ppl_const_Generator_System_t  gs  )

related

Definition at line 1080 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_System_zero_dim_univ

(

ppl_Generator_System_t *

pgs

)

Definition at line 1063 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator_System::zero_dim_univ().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_zero_dim_closure_point ( ppl_Generator_t *  pg )

related

Definition at line 961 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::zero_dim_closure_point().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Generator_zero_dim_point ( ppl_Generator_t *  pg )

related

Definition at line 954 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::zero_dim_point().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1524 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator::grid_line(), Parma_Polyhedra_Library::Grid_Generator::grid_point(), Parma_Polyhedra_Library::Grid_Generator::parameter(), PPL_GRID_GENERATOR_TYPE_LINE, PPL_GRID_GENERATOR_TYPE_PARAMETER, and PPL_GRID_GENERATOR_TYPE_POINT.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Grid_Generator_from_Grid_Generator ( ppl_Grid_Generator_t *  pg, ppl_const_Grid_Generator_t  g  )

related

Definition at line 1558 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Grid_Generator_System ( ppl_Grid_Generator_System_t *  pgs )

related

Definition at line 1647 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Grid_Generator_System_const_iterator ( ppl_Grid_Generator_System_const_iterator_t *  pgit )

related

Definition at line 1741 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1749 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1664 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1673 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Grid_Generator_System_zero_dim_univ

(

ppl_Grid_Generator_System_t *

pgs

)

Definition at line 1655 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::zero_dim_univ().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Grid_Generator_zero_dim_point ( ppl_Grid_Generator_t *  pg )

related

Definition at line 1551 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Grid_Generator::zero_dim_point().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression ( ppl_Linear_Expression_t *  ple )

related

Definition at line 461 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression_from_Congruence ( ppl_Linear_Expression_t *  ple, ppl_const_Congruence_t  c  )

related

Definition at line 1332 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Congruence::expression().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression_from_Constraint ( ppl_Linear_Expression_t *  ple, ppl_const_Constraint_t  c  )

related

Definition at line 725 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Constraint::expression().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression_from_Generator ( ppl_Linear_Expression_t *  ple, ppl_const_Generator_t  g  )

related

Definition at line 1045 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Generator::expression().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression_from_Linear_Expression ( ppl_Linear_Expression_t *  ple, ppl_const_Linear_Expression_t  le  )

related

Definition at line 479 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_Linear_Expression_with_dimension ( ppl_Linear_Expression_t *  ple, ppl_dimension_type  d  )

related

Definition at line 468 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 1837 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::MAXIMIZATION, Parma_Polyhedra_Library::MINIMIZATION, and PPL_OPTIMIZATION_MODE_MINIMIZATION.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_MIP_Problem_from_MIP_Problem ( ppl_MIP_Problem_t *  pmip, ppl_const_MIP_Problem_t  mip  )

related

Definition at line 1851 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_MIP_Problem_from_space_dimension ( ppl_MIP_Problem_t *  pmip, ppl_dimension_type  d  )

related

Definition at line 1829 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2129 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::Variables_Set::insert().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_PIP_Problem_from_PIP_Problem ( ppl_PIP_Problem_t *  dpip, ppl_const_PIP_Problem_t  pip  )

related

Definition at line 2119 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_new_PIP_Problem_from_space_dimension ( ppl_PIP_Problem_t *  ppip, ppl_dimension_type  d  )

related

Definition at line 2111 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2433 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Decision_Node_OK

(

ppl_const_PIP_Decision_Node_t

pip_dec

)

Definition at line 2427 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_add_constraint ( ppl_PIP_Problem_t  pip, ppl_const_Constraint_t  c  )

related

Definition at line 2243 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraint().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_add_constraints ( ppl_PIP_Problem_t  pip, ppl_const_Constraint_System_t  cs  )

related

Definition at line 2253 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraints().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2221 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_space_dimensions_and_embed().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2231 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().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_clear ( ppl_PIP_Problem_t  pip )

related

Definition at line 2215 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2200 of file ppl_c_implementation_common.cc.

References c, Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), num_constraints(), and ppl_PIP_Problem_number_of_constraints().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_external_memory_in_bytes ( ppl_const_PIP_Problem_t  pip, size_t *  sz  )

related

Definition at line 2338 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_get_big_parameter_dimension ( ppl_const_PIP_Problem_t  pip, ppl_dimension_type *  pd  )

related

Definition at line 2314 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_get_control_parameter ( ppl_const_PIP_Problem_t  pip, int  name  )

related

Definition at line 2295 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_is_satisfiable ( ppl_const_PIP_Problem_t  pip )

related

Definition at line 2262 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_number_of_constraints ( ppl_const_PIP_Problem_t  pip, ppl_dimension_type *  m  )

related

Definition at line 2191 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::PIP_Problem::constraints_end().

Referenced by ppl_PIP_Problem_constraint_at_index().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_number_of_parameter_space_dimensions ( ppl_const_PIP_Problem_t  pip, ppl_dimension_type *  m  )

related

Definition at line 2171 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_OK ( ppl_const_PIP_Problem_t  pip )

related

Definition at line 2289 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_optimizing_solution ( ppl_const_PIP_Problem_t  pip, ppl_const_PIP_Tree_Node_t *  ppip_tree  )

related

Definition at line 2281 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_parameter_space_dimensions ( ppl_const_PIP_Problem_t  pip, ppl_dimension_type  ds[]  )

related

Definition at line 2179 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_set_big_parameter_dimension ( ppl_PIP_Problem_t  pip, ppl_dimension_type  d  )

related

Definition at line 2322 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_set_control_parameter ( ppl_PIP_Problem_t  pip, int  value  )

related

Definition at line 2304 of file ppl_c_implementation_common.cc.

References value.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_solution ( ppl_const_PIP_Problem_t  pip, ppl_const_PIP_Tree_Node_t *  ppip_tree  )

related

Definition at line 2273 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_solve ( ppl_const_PIP_Problem_t  pip )

related

Definition at line 2267 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_space_dimension ( ppl_const_PIP_Problem_t  pip, ppl_dimension_type *  m  )

related

Definition at line 2162 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Problem_total_memory_in_bytes ( ppl_const_PIP_Problem_t  pip, size_t *  sz  )

related

Definition at line 2330 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2410 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Solution_Node::parametric_values().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Solution_Node_OK

(

ppl_const_PIP_Solution_Node_t

pip_sol

)

Definition at line 2421 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2354 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2346 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2388 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2399 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION 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 2362 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::constraints().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Tree_Node_number_of_artificials ( ppl_const_PIP_Tree_Node_t  pip_tree, ppl_dimension_type *  m  )

related

Definition at line 2378 of file ppl_c_implementation_common.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_count().

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_PIP_Tree_Node_OK ( ppl_const_PIP_Tree_Node_t  pip_tree )

related

Definition at line 2372 of file ppl_c_implementation_common.cc.

int ppl_set_error_handler

(

error_handler_type

h

)

Definition at line 167 of file ppl_c_implementation_common.cc.

PPL_ERROR_INVALID_ARGUMENT PPL_ERROR_LENGTH_ERROR PPL_ARITHMETIC_OVERFLOW PPL_ERROR_UNKNOWN_STANDARD_EXCEPTION int ppl_subtract_Linear_Expression_from_Linear_Expression ( ppl_Linear_Expression_t  dst, ppl_const_Linear_Expression_t  src  )

related

Definition at line 536 of file ppl_c_implementation_common.cc.

Variable Documentation

int PPL_MIP_PROBLEM_CONTROL_PARAMETER_NAME_PRICING

related

Definition at line 147 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_EXACT

related

Definition at line 149 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_STEEPEST_EDGE_FLOAT

related

Definition at line 148 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_CONTROL_PARAMETER_PRICING_TEXTBOOK

related

Definition at line 150 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_STATUS_OPTIMIZED

related

Definition at line 145 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_STATUS_UNBOUNDED

related

Definition at line 144 of file ppl_c_implementation_common.cc.

int PPL_MIP_PROBLEM_STATUS_UNFEASIBLE

related

Definition at line 143 of file ppl_c_implementation_common.cc.

int PPL_OPTIMIZATION_MODE_MAXIMIZATION

related

Definition at line 164 of file ppl_c_implementation_common.cc.

int PPL_OPTIMIZATION_MODE_MINIMIZATION

related

Definition at line 163 of file ppl_c_implementation_common.cc.

Referenced by ppl_MIP_Problem_set_optimization_mode(), and ppl_new_MIP_Problem().

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_ALL

related

Definition at line 158 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_DEEPEST

related

Definition at line 157 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_CUTTING_STRATEGY_FIRST

related

Definition at line 156 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_CUTTING_STRATEGY

related

Definition at line 155 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_NAME_PIVOT_ROW_STRATEGY

related

Definition at line 159 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_FIRST

related

Definition at line 160 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_CONTROL_PARAMETER_PIVOT_ROW_STRATEGY_MAX_COLUMN

related

Definition at line 161 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_STATUS_OPTIMIZED

related

Definition at line 153 of file ppl_c_implementation_common.cc.

int PPL_PIP_PROBLEM_STATUS_UNFEASIBLE

related

Definition at line 152 of file ppl_c_implementation_common.cc.