ppl_Constraints_Product_C_Polyhedron_Grid_tag Interface Reference

Types and functions for ppl_Constraints_Product_C_Polyhedron_Grid_tag. More...

#include <ppl_c.h>

List of all members.

Related Functions

(Note that these are not member functions.)



int ppl_delete_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_space_dimension (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_dimension_type d, int empty)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int8_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int8_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int16_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int16_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int32_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int32_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int64_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int64_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint8_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint8_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint16_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint16_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint32_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint32_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint64_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint64_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Z_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Z_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Rational_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Rational_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int8_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int8_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int16_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int16_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int32_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int32_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int64_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int64_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpz_class (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_mpz_class_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpq_class (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_mpq_class_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int8_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int16_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int32_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int64_t (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpz_class (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpq_class (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_C_Polyhedron (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Polyhedron_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_NNC_Polyhedron (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Polyhedron_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Grid (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Grid_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Float_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Float_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_float (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_float_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_float (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_float_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Double_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Double_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_double (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_double_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_double (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_double_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Long_Double_Box (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Long_Double_Box_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_long_double (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_long_double_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_long_double (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraints_Product_C_Polyhedron_Grid (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int8_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int8_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int16_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int16_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int32_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int32_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int64_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Int64_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint8_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint8_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint16_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint16_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint32_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint32_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint64_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Uint64_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Z_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Z_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Rational_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Rational_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int8_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int16_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int32_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int64_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpz_class_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpq_class_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int8_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int16_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int32_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int64_t_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpz_class_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpq_class_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_C_Polyhedron_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Polyhedron_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_NNC_Polyhedron_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Polyhedron_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Grid_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Grid_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Float_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Float_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_float_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_float_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Double_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Double_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_double_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_double_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Long_Double_Box_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_long_double_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_long_double_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraints_Product_C_Polyhedron_Grid_with_complexity (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, int complexity)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraint_System (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Constraint_System_t cs)
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Congruence_System (ppl_Constraints_Product_C_Polyhedron_Grid_t *pph, ppl_const_Congruence_System_t cs)
int ppl_Constraints_Product_C_Polyhedron_Grid_space_dimension (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type *m)
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_dimension (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type *m)
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Constraint (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Constraint_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Generator (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Generator_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Congruence (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Congruence_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_empty (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_universe (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_bounded (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_topologically_closed (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_discrete (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_topological_closure_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_bounds_from_above (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le)
int ppl_Constraints_Product_C_Polyhedron_Grid_bounds_from_below (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le)
int ppl_Constraints_Product_C_Polyhedron_Grid_maximize (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Constraints_Product_C_Polyhedron_Grid_minimize (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Constraints_Product_C_Polyhedron_Grid_maximize_with_point (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)
int ppl_Constraints_Product_C_Polyhedron_Grid_minimize_with_point (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)
int ppl_Constraints_Product_C_Polyhedron_Grid_contains_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_strictly_contains_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_is_disjoint_from_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_equals_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_OK (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ph)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_constraint (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Constraint_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_congruence (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Congruence_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_constraints (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Constraint_System_t cs)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_congruences (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Congruence_System_t cs)
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_constraint (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Constraint_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_congruence (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Congruence_t c)
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_constraints (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Constraint_System_t cs)
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_congruences (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Congruence_System_t cs)
int ppl_Constraints_Product_C_Polyhedron_Grid_intersection_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_upper_bound_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_difference_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_concatenate_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_time_elapse_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_upper_bound_assign_if_exact (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_Constraints_Product_C_Polyhedron_Grid_constrains (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var)
int ppl_Constraints_Product_C_Polyhedron_Grid_unconstrain_space_dimension (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var)
int ppl_Constraints_Product_C_Polyhedron_Grid_unconstrain_space_dimensions (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_image (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_preimage (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_bounded_affine_image (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_bounded_affine_preimage (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_image (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_preimage (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_image_lhs_rhs (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_preimage_lhs_rhs (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_space_dimensions_and_embed (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type d)
int ppl_Constraints_Product_C_Polyhedron_Grid_add_space_dimensions_and_project (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type d)
int ppl_Constraints_Product_C_Polyhedron_Grid_remove_space_dimensions (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Constraints_Product_C_Polyhedron_Grid_remove_higher_space_dimensions (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type d)
int ppl_Constraints_Product_C_Polyhedron_Grid_expand_space_dimension (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type d, ppl_dimension_type m)
int ppl_Constraints_Product_C_Polyhedron_Grid_fold_space_dimensions (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)
int ppl_Constraints_Product_C_Polyhedron_Grid_map_space_dimensions (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type maps[], size_t n)
int ppl_Constraints_Product_C_Polyhedron_Grid_drop_some_non_integer_points (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, int complexity)
int ppl_Constraints_Product_C_Polyhedron_Grid_drop_some_non_integer_points_2 (ppl_Constraints_Product_C_Polyhedron_Grid_t ph, ppl_dimension_type ds[], size_t n, int complexity)
int ppl_Constraints_Product_C_Polyhedron_Grid_external_memory_in_bytes (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ps, size_t *sz)
int ppl_Constraints_Product_C_Polyhedron_Grid_total_memory_in_bytes (ppl_const_Constraints_Product_C_Polyhedron_Grid_t ps, size_t *sz)
int ppl_Constraints_Product_C_Polyhedron_Grid_widening_assign_with_tokens (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y, unsigned *tp)
int ppl_Constraints_Product_C_Polyhedron_Grid_widening_assign (ppl_Constraints_Product_C_Polyhedron_Grid_t x, ppl_const_Constraints_Product_C_Polyhedron_Grid_t y)
int ppl_io_print_Constraints_Product_C_Polyhedron_Grid (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x)
int ppl_io_fprint_Constraints_Product_C_Polyhedron_Grid (FILE *stream, ppl_const_Constraints_Product_C_Polyhedron_Grid_t x)
int ppl_io_asprint_Constraints_Product_C_Polyhedron_Grid (char **strp, ppl_const_Constraints_Product_C_Polyhedron_Grid_t x)
int ppl_Constraints_Product_C_Polyhedron_Grid_ascii_dump (ppl_const_Constraints_Product_C_Polyhedron_Grid_t x, FILE *stream)
int ppl_Constraints_Product_C_Polyhedron_Grid_ascii_load (ppl_Constraints_Product_C_Polyhedron_Grid_t x, FILE *stream)

Detailed Description

Types and functions for ppl_Constraints_Product_C_Polyhedron_Grid_tag.


Friends And Related Function Documentation

int ppl_delete_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_space_dimension ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_dimension_type  d,
int  empty 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int8_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int8_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int16_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int16_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int32_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int32_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int64_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int64_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint8_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint8_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint16_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint16_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint32_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint32_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint64_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint64_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Z_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Z_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Rational_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Rational_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int8_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int8_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int16_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int16_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int32_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int32_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int64_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int64_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpz_class ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_mpz_class_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpq_class ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_mpq_class_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int8_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int8_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int16_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int16_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int32_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int32_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int64_t ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int64_t_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpz_class ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_mpz_class_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpq_class ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_mpq_class_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_C_Polyhedron ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Polyhedron_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_NNC_Polyhedron ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Polyhedron_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Grid ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Grid_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Float_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Float_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_float ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_float_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_float ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_float_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Double_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Double_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_double ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_double_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_double ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_double_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Long_Double_Box ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Long_Double_Box_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_long_double ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_long_double_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_long_double ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_long_double_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraints_Product_C_Polyhedron_Grid ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int8_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int8_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int16_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int16_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int32_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int32_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Int64_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Int64_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint8_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint8_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint16_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint16_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint32_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint32_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Uint64_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Uint64_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Z_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Z_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Rational_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Rational_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int8_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int8_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int16_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int16_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int32_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int32_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_int64_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_int64_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpz_class_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_mpz_class_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_mpq_class_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_mpq_class_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int8_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int8_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int16_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int16_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int32_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int32_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_int64_t_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_int64_t_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpz_class_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_mpz_class_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_mpq_class_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_mpq_class_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_C_Polyhedron_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Polyhedron_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_NNC_Polyhedron_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Polyhedron_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Grid_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Grid_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Float_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Float_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_float_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_float_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_float_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_float_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Double_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Double_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_double_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_double_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_double_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_double_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Long_Double_Box_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Long_Double_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_BD_Shape_long_double_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_BD_Shape_long_double_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Octagonal_Shape_long_double_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Octagonal_Shape_long_double_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraints_Product_C_Polyhedron_Grid_with_complexity ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
int  complexity 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Constraint_System ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_new_Constraints_Product_C_Polyhedron_Grid_from_Congruence_System ( ppl_Constraints_Product_C_Polyhedron_Grid_t pph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_space_dimension ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_dimension ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Constraint ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Generator ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Generator_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_relation_with_Congruence ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_empty ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_universe ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_bounded ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_topologically_closed ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_discrete ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_topological_closure_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_bounds_from_above ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_bounds_from_below ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_maximize ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le,
ppl_Coefficient_t  ext_n,
ppl_Coefficient_t  ext_d,
int *  poptimum 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_minimize ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le,
ppl_Coefficient_t  ext_n,
ppl_Coefficient_t  ext_d,
int *  poptimum 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_maximize_with_point ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le,
ppl_Coefficient_t  ext_n,
ppl_Coefficient_t  ext_d,
int *  poptimum,
ppl_Generator_t  point 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_minimize_with_point ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  le,
ppl_Coefficient_t  ext_n,
ppl_Coefficient_t  ext_d,
int *  poptimum,
ppl_Generator_t  point 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_contains_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_strictly_contains_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_is_disjoint_from_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_equals_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_OK ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ph  )  [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_constraint ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_congruence ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_constraints ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_congruences ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_constraint ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_congruence ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_constraints ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_refine_with_congruences ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_intersection_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_upper_bound_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_difference_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_concatenate_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_time_elapse_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_upper_bound_assign_if_exact ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_constrains ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_unconstrain_space_dimension ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_unconstrain_space_dimensions ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_image ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_affine_preimage ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_bounded_affine_image ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  lb,
ppl_const_Linear_Expression_t  ub,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_bounded_affine_preimage ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  lb,
ppl_const_Linear_Expression_t  ub,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_image ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
enum ppl_enum_Constraint_Type  relsym,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_preimage ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  var,
enum ppl_enum_Constraint_Type  relsym,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_image_lhs_rhs ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  lhs,
enum ppl_enum_Constraint_Type  relsym,
ppl_const_Linear_Expression_t  rhs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_generalized_affine_preimage_lhs_rhs ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_const_Linear_Expression_t  lhs,
enum ppl_enum_Constraint_Type  relsym,
ppl_const_Linear_Expression_t  rhs 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_space_dimensions_and_embed ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_add_space_dimensions_and_project ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_remove_space_dimensions ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_remove_higher_space_dimensions ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_expand_space_dimension ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  d,
ppl_dimension_type  m 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_fold_space_dimensions ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  ds[],
size_t  n,
ppl_dimension_type  d 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_map_space_dimensions ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  maps[],
size_t  n 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_drop_some_non_integer_points ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
int  complexity 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_drop_some_non_integer_points_2 ( ppl_Constraints_Product_C_Polyhedron_Grid_t  ph,
ppl_dimension_type  ds[],
size_t  n,
int  complexity 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_external_memory_in_bytes ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ps,
size_t *  sz 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_total_memory_in_bytes ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  ps,
size_t *  sz 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_widening_assign_with_tokens ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y,
unsigned *  tp 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_widening_assign ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  y 
) [related]
int ppl_io_print_Constraints_Product_C_Polyhedron_Grid ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x  )  [related]
int ppl_io_fprint_Constraints_Product_C_Polyhedron_Grid ( FILE *  stream,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x 
) [related]
int ppl_io_asprint_Constraints_Product_C_Polyhedron_Grid ( char **  strp,
ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_ascii_dump ( ppl_const_Constraints_Product_C_Polyhedron_Grid_t  x,
FILE *  stream 
) [related]
int ppl_Constraints_Product_C_Polyhedron_Grid_ascii_load ( ppl_Constraints_Product_C_Polyhedron_Grid_t  x,
FILE *  stream 
) [related]

The documentation for this interface was generated from the following file:
Generated on Sun Feb 27 16:05:07 2011 for PPL Configured C Language Interface by  doxygen 1.6.3