Related Functions |
(Note that these are not member functions.)
|
| int | ppl_new_C_Polyhedron_from_Int8_Box (ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Int8_Box (ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Int16_Box (ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Int16_Box (ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Int32_Box (ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Int32_Box (ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Int64_Box (ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Int64_Box (ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Uint8_Box (ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Uint8_Box (ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Uint16_Box (ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Uint16_Box (ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Uint32_Box (ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Uint32_Box (ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Uint64_Box (ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Uint64_Box (ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Z_Box (ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Z_Box (ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_Rational_Box (ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Rational_Box (ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int8_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int8_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int16_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int16_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int32_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int32_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int64_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int64_t (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_mpz_class (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_mpz_class (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_mpq_class (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_mpq_class (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int8_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int8_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int16_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int16_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int32_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int32_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int64_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int64_t (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_mpz_class (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpz_class (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_mpq_class (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpq_class (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph) |
| int | ppl_new_C_Polyhedron_from_Grid (ppl_Polyhedron_t *pph, ppl_const_Grid_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Grid (ppl_Polyhedron_t *pph, ppl_const_Grid_t ph) |
| int | ppl_new_C_Polyhedron_from_Float_Box (ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Float_Box (ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_float (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_float (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_float (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_float (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph) |
| int | ppl_new_C_Polyhedron_from_Double_Box (ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Double_Box (ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_double (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_double (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_double (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_double (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph) |
| int | ppl_new_C_Polyhedron_from_Long_Double_Box (ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Long_Double_Box (ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_long_double (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_long_double (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_long_double (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_long_double (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph) |
| int | ppl_new_C_Polyhedron_from_Int8_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Int8_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int8_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Int16_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Int16_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int16_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Int32_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Int32_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int32_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Int64_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Int64_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Int64_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Uint8_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Uint8_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint8_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Uint16_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Uint16_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint16_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Uint32_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Uint32_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint32_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Uint64_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Uint64_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Uint64_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Z_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Z_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Z_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Rational_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Rational_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Rational_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int8_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int8_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int16_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int16_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int32_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int32_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_int64_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_int64_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_mpz_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_mpz_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_mpq_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_mpq_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int8_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int8_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int16_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int16_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int32_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int32_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_int64_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_int64_t_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_mpz_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpz_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_mpq_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_mpq_class_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Grid_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Grid_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Grid_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Grid_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Float_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Float_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Float_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_float_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_float_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_float_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_float_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_float_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Double_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Double_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Double_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_double_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Long_Double_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Long_Double_Box_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Long_Double_Box_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_BD_Shape_long_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_BD_Shape_long_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_new_C_Polyhedron_from_Octagonal_Shape_long_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity) |
| int | ppl_new_NNC_Polyhedron_from_Octagonal_Shape_long_double_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity) |
| int | ppl_Polyhedron_relation_with_Congruence (ppl_const_Polyhedron_t ph, ppl_const_Congruence_t c) |
| int | ppl_Polyhedron_minimize (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) |
| int | ppl_Polyhedron_frequency (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_fn, ppl_Coefficient_t ext_fd, ppl_Coefficient_t ext_vn, ppl_Coefficient_t ext_vd) |
| int | ppl_Polyhedron_upper_bound_assign_if_exact (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| int | ppl_Polyhedron_poly_hull_assign_if_exact (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| int | ppl_Polyhedron_drop_some_non_integer_points (ppl_Polyhedron_t ph, int complexity) |
| int | ppl_Polyhedron_drop_some_non_integer_points_2 (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, int complexity) |
| int | ppl_Polyhedron_widening_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp) |
| int | ppl_Polyhedron_widening_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| int | ppl_Polyhedron_linear_partition (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_Polyhedron_t *p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t *p_rest) |
| int | ppl_Polyhedron_wrap_assign (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, enum ppl_enum_Bounded_Integer_Type_Width w, enum ppl_enum_Bounded_Integer_Type_Representation r, enum ppl_enum_Bounded_Integer_Type_Overflow o, const ppl_const_Constraint_System_t *pcs, unsigned complexity_threshold, int wrap_individually) |
| int | ppl_termination_test_MS_C_Polyhedron (ppl_const_Polyhedron_t pset) |
| int | ppl_termination_test_PR_C_Polyhedron (ppl_const_Polyhedron_t pset) |
| int | ppl_termination_test_MS_NNC_Polyhedron (ppl_const_Polyhedron_t pset) |
| int | ppl_termination_test_PR_NNC_Polyhedron (ppl_const_Polyhedron_t pset) |
| int | ppl_one_affine_ranking_function_MS_C_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_C_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_MS_NNC_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_NNC_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Generator_t point) |
| int | ppl_all_affine_ranking_functions_MS_C_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_C_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_MS_NNC_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_NNC_Polyhedron (ppl_const_Polyhedron_t pset, ppl_Polyhedron_t ph) |
| int | ppl_termination_test_MS_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after) |
| int | ppl_termination_test_PR_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after) |
| int | ppl_termination_test_MS_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after) |
| int | ppl_termination_test_PR_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after) |
| int | ppl_one_affine_ranking_function_MS_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_MS_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Generator_t point) |
| int | ppl_all_affine_ranking_functions_MS_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_C_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_MS_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_NNC_Polyhedron_2 (ppl_const_Polyhedron_t pset_before, ppl_const_Polyhedron_t pset_after, ppl_Polyhedron_t ph) |
|
|
| int | ppl_new_C_Polyhedron_from_space_dimension (ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty) |
| | Builds a C polyhedron of dimension d and writes an handle to it at address pph. If empty is different from zero, the newly created polyhedron will be empty; otherwise, it will be a universe polyhedron.
|
| int | ppl_new_C_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) |
| | Builds a C polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_from_C_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| | Builds a C polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_from_Constraint_System (ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs) |
| | Builds a new C polyhedron from the system of constraints cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_recycle_Constraint_System (ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs) |
| | Builds a new C polyhedron recycling the system of constraints cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_from_Congruence_System (ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs) |
| | Builds a new C polyhedron from the system of congruences cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_recycle_Congruence_System (ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs) |
| | Builds a new C polyhedron recycling the system of congruences cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_assign_C_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src) |
| | Assigns a copy of the C polyhedron src to the C polyhedron dst.
|
|
|
| int | ppl_new_NNC_Polyhedron_from_space_dimension (ppl_Polyhedron_t *pph, ppl_dimension_type d, int empty) |
| | Builds an NNC polyhedron of dimension d and writes an handle to it at address pph. If empty is different from zero, the newly created polyhedron will be empty; otherwise, it will be a universe polyhedron.
|
| int | ppl_new_NNC_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) |
| | Builds an NNC polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_NNC_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| | Builds an NNC polyhedron that is a copy of ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_Constraint_System (ppl_Polyhedron_t *pph, ppl_const_Constraint_System_t cs) |
| | Builds a new NNC polyhedron from the system of constraints cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_recycle_Constraint_System (ppl_Polyhedron_t *pph, ppl_Constraint_System_t cs) |
| | Builds a new NNC polyhedron recycling the system of constraints cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_Congruence_System (ppl_Polyhedron_t *pph, ppl_const_Congruence_System_t cs) |
| | Builds a new NNC polyhedron from the system of congruences cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_recycle_Congruence_System (ppl_Polyhedron_t *pph, ppl_Congruence_System_t cs) |
| | Builds a new NNC polyhedron recycling the system of congruences cs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_assign_NNC_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t dst, ppl_const_Polyhedron_t src) |
| | Assigns a copy of the NNC polyhedron src to the NNC polyhedron dst.
|
|
Besides the conversions listed here below, the library also provides conversion operators that build a semantic geometric description starting from any other semantic geometric description (e.g., ppl_new_Grid_from_C_Polyhedron, ppl_new_C_Polyhedron_from_BD_Shape_mpq_class, etc.). Clearly, the conversion operators are only available if both the source and the target semantic geometric descriptions have been enabled when configuring the library. The conversions also taking as argument a complexity class sometimes provide non-trivial precision/efficiency trade-offs.
|
| int | ppl_new_C_Polyhedron_from_NNC_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) |
| | Builds a C polyhedron that is a copy of the topological closure of the NNC polyhedron ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_from_NNC_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| | Builds a C polyhedron that approximates NNC_Polyhedron ph, using an algorithm whose complexity does not exceed complexity; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_C_Polyhedron (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) |
| | Builds an NNC polyhedron that is a copy of the C polyhedron ph; writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_C_Polyhedron_with_complexity (ppl_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| | Builds an NNC polyhedron that approximates C_Polyhedron ph, using an algorithm whose complexity does not exceed complexity; writes a handle for the newly created polyhedron at address pph.
|
|
|
| int | ppl_delete_Polyhedron (ppl_const_Polyhedron_t ph) |
| | Invalidates the handle ph: this makes sure the corresponding resources will eventually be released.
|
|
|
| int | ppl_Polyhedron_space_dimension (ppl_const_Polyhedron_t ph, ppl_dimension_type *m) |
| | Writes to m the dimension of the vector space enclosing ph.
|
| int | ppl_Polyhedron_affine_dimension (ppl_const_Polyhedron_t ph, ppl_dimension_type *m) |
| | Writes to m the affine dimension of ph (not to be confused with the dimension of its enclosing vector space) or 0, if ph is empty.
|
| int | ppl_Polyhedron_relation_with_Constraint (ppl_const_Polyhedron_t ph, ppl_const_Constraint_t c) |
| | Checks the relation between the polyhedron ph and the constraint c.
|
| int | ppl_Polyhedron_relation_with_Generator (ppl_const_Polyhedron_t ph, ppl_const_Generator_t g) |
| | Checks the relation between the polyhedron ph and the generator g.
|
| int | ppl_Polyhedron_get_constraints (ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs) |
| | Writes a const handle to the constraint system defining the polyhedron ph at address pcs.
|
| int | ppl_Polyhedron_get_congruences (ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs) |
| | Writes at address pcs a const handle to a system of congruences approximating the polyhedron ph.
|
| int | ppl_Polyhedron_get_minimized_constraints (ppl_const_Polyhedron_t ph, ppl_const_Constraint_System_t *pcs) |
| | Writes a const handle to the minimized constraint system defining the polyhedron ph at address pcs.
|
| int | ppl_Polyhedron_get_minimized_congruences (ppl_const_Polyhedron_t ph, ppl_const_Congruence_System_t *pcs) |
| | Writes at address pcs a const handle to a system of minimized congruences approximating the polyhedron ph.
|
| int | ppl_Polyhedron_is_empty (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is empty; returns 0 if ph is not empty.
|
| int | ppl_Polyhedron_is_universe (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is a universe polyhedron; returns 0 if it is not.
|
| int | ppl_Polyhedron_is_bounded (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is bounded; returns 0 if ph is unbounded.
|
| int | ppl_Polyhedron_contains_integer_point (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph contains at least one integer point; returns 0 otherwise.
|
| int | ppl_Polyhedron_is_topologically_closed (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is topologically closed; returns 0 if ph is not topologically closed.
|
| int | ppl_Polyhedron_is_discrete (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is a discrete set; returns 0 if ph is not a discrete set.
|
| int | ppl_Polyhedron_constrains (ppl_Polyhedron_t ph, ppl_dimension_type var) |
| | Returns a positive integer if ph constrains var; returns 0 if ph does not constrain var.
|
| int | ppl_Polyhedron_bounds_from_above (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le) |
| | Returns a positive integer if le is bounded from above in ph; returns 0 otherwise.
|
| int | ppl_Polyhedron_bounds_from_below (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le) |
| | Returns a positive integer if le is bounded from below in ph; returns 0 otherwise.
|
| int | ppl_Polyhedron_maximize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t sup_n, ppl_Coefficient_t sup_d, int *pmaximum, ppl_Generator_t point) |
| | Returns a positive integer if ph is not empty and le is bounded from above in ph, in which case the supremum value and a point where le reaches it are computed.
|
| int | ppl_Polyhedron_maximize (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t sup_n, ppl_Coefficient_t sup_d, int *pmaximum) |
| | The same as ppl_Polyhedron_maximize_with_point, but without the output argument for the location where the supremum value is reached.
|
| int | ppl_Polyhedron_minimize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t inf_n, ppl_Coefficient_t inf_d, int *pminimum, ppl_Generator_t point) |
| | Returns a positive integer if ph is not empty and le is bounded from below in ph, in which case the infimum value and a point where le reaches it are computed.
|
|
int | ppl_Polyhedron_minimize_with_point (ppl_const_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t inf_n, ppl_Coefficient_t inf_d, int *pminimum) |
| | The same as ppl_Polyhedron_minimize_with_point, but without the output argument for the location where the infimum value is reached.
|
| int | ppl_Polyhedron_contains_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Returns a positive integer if x contains or is equal to y; returns 0 if it does not.
|
| int | ppl_Polyhedron_strictly_contains_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Returns a positive integer if x strictly contains y; returns 0 if it does not.
|
| int | ppl_Polyhedron_is_disjoint_from_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Returns a positive integer if x and y are disjoint; returns 0 if they are not.
|
| int | ppl_Polyhedron_equals_Polyhedron (ppl_const_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Returns a positive integer if x and y are the same polyhedron; returns 0 if they are different.
|
| int | ppl_Polyhedron_OK (ppl_const_Polyhedron_t ph) |
| | Returns a positive integer if ph is well formed, i.e., if it satisfies all its implementation invariants; returns 0 and perhaps makes some noise if ph is broken. Useful for debugging purposes.
|
| int | ppl_Polyhedron_external_memory_in_bytes (ppl_const_Polyhedron_t ph, size_t *sz) |
| | Writes to sz a lower bound to the size in bytes of the memory managed by ph.
|
| int | ppl_Polyhedron_total_memory_in_bytes (ppl_const_Polyhedron_t ph, size_t *sz) |
| | Writes to sz a lower bound to the size in bytes of the memory managed by ph.
|
|
|
| int | ppl_Polyhedron_add_constraint (ppl_Polyhedron_t ph, ppl_const_Constraint_t c) |
| | Adds a copy of the constraint c to the system of constraints of ph.
|
| int | ppl_Polyhedron_add_congruence (ppl_Polyhedron_t ph, ppl_const_Congruence_t c) |
| | Adds a copy of the congruence c to polyhedron of ph.
|
| int | ppl_Polyhedron_add_constraints (ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs) |
| | Adds a copy of the system of constraints cs to the system of constraints of ph.
|
| int | ppl_Polyhedron_add_congruences (ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs) |
| | Adds a copy of the system of congruences cs to the polyhedron ph.
|
| int | ppl_Polyhedron_add_recycled_constraints (ppl_Polyhedron_t ph, ppl_Constraint_System_t cs) |
| | Adds the system of constraints cs to the system of constraints of ph.
|
| int | ppl_Polyhedron_add_recycled_congruences (ppl_Polyhedron_t ph, ppl_Congruence_System_t cs) |
| | Adds the system of congruences cs to the polyhedron ph.
|
| int | ppl_Polyhedron_refine_with_constraint (ppl_Polyhedron_t ph, ppl_const_Constraint_t c) |
| | Refines ph using constraint c.
|
| int | ppl_Polyhedron_refine_with_congruence (ppl_Polyhedron_t ph, ppl_const_Congruence_t c) |
| | Refines ph using congruence c.
|
| int | ppl_Polyhedron_refine_with_constraints (ppl_Polyhedron_t ph, ppl_const_Constraint_System_t cs) |
| | Refines ph using the constraints in cs.
|
| int | ppl_Polyhedron_refine_with_congruences (ppl_Polyhedron_t ph, ppl_const_Congruence_System_t cs) |
| | Refines ph using the congruences in cs.
|
| int | ppl_Polyhedron_intersection_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Intersects x with polyhedron y and assigns the result to x.
|
| int | ppl_Polyhedron_upper_bound_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Assigns to x an upper bound of x and y.
|
| int | ppl_Polyhedron_difference_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Same as ppl_Polyhedron_poly_difference_assign(x, y).
|
| int | ppl_Polyhedron_simplify_using_context_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Assigns to x the meet-preserving simplification of x with respect to context y. Returns a positive integer if x and y have a nonempty intersection; returns 0 if they are disjoint.
|
| int | ppl_Polyhedron_time_elapse_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Assigns to x the time-elapse between the polyhedra x and y.
|
| int | ppl_Polyhedron_topological_closure_assign (ppl_Polyhedron_t ph) |
| | Assigns to ph its topological closure.
|
| int | ppl_Polyhedron_unconstrain_space_dimension (ppl_Polyhedron_t ph, ppl_dimension_type var) |
| | Modifies ph by unconstraining the space dimension var.
|
| int | ppl_Polyhedron_unconstrain_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) |
| | Modifies ph by unconstraining the space dimensions that are specified in the first n positions of the array ds. The presence of duplicates in ds is a waste but an innocuous one.
|
| int | ppl_Polyhedron_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| | Transforms the polyhedron ph, assigning an affine expression to the specified variable.
|
| int | ppl_Polyhedron_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| | Transforms the polyhedron ph, substituting an affine expression to the specified variable.
|
| int | ppl_Polyhedron_bounded_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) |
| | Assigns to ph the image of ph with respect to the generalized affine transfer relation .
|
| int | ppl_Polyhedron_bounded_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) |
| | Assigns to ph the preimage of ph with respect to the generalized affine transfer relation .
|
| int | ppl_Polyhedron_generalized_affine_image (ppl_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| | Assigns to ph the image of ph with respect to the generalized affine transfer relation , where is the relation symbol encoded by relsym.
|
| int | ppl_Polyhedron_generalized_affine_preimage (ppl_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| | Assigns to ph the preimage of ph with respect to the generalized affine transfer relation , where is the relation symbol encoded by relsym.
|
| int | ppl_Polyhedron_generalized_affine_image_lhs_rhs (ppl_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) |
| | Assigns to ph the image of ph with respect to the generalized affine transfer relation , where is the relation symbol encoded by relsym.
|
| int | ppl_Polyhedron_generalized_affine_preimage_lhs_rhs (ppl_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) |
| | Assigns to ph the preimage of ph with respect to the generalized affine transfer relation , where is the relation symbol encoded by relsym.
|
|
|
| int | ppl_Polyhedron_concatenate_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Seeing a polyhedron as a set of tuples (its points), assigns to x all the tuples that can be obtained by concatenating, in the order given, a tuple of x with a tuple of y.
|
| int | ppl_Polyhedron_add_space_dimensions_and_embed (ppl_Polyhedron_t ph, ppl_dimension_type d) |
| | Adds d new dimensions to the space enclosing the polyhedron ph and to ph itself.
|
| int | ppl_Polyhedron_add_space_dimensions_and_project (ppl_Polyhedron_t ph, ppl_dimension_type d) |
| | Adds d new dimensions to the space enclosing the polyhedron ph.
|
| int | ppl_Polyhedron_remove_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) |
| | Removes from the vector space enclosing ph the space dimensions that are specified in first n positions of the array ds. The presence of duplicates in ds is a waste but an innocuous one.
|
| int | ppl_Polyhedron_remove_higher_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type d) |
| | Removes the higher dimensions from the vector space enclosing ph so that, upon successful return, the new space dimension is d.
|
| int | ppl_Polyhedron_map_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type maps[], size_t n) |
| | Remaps the dimensions of the vector space according to a partial function. This function is specified by means of the maps array, which has n entries.
|
| int | ppl_Polyhedron_expand_space_dimension (ppl_Polyhedron_t ph, ppl_dimension_type d, ppl_dimension_type m) |
| | Expands the -th dimension of the vector space enclosing ph to m new space dimensions.
|
| int | ppl_Polyhedron_fold_space_dimensions (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) |
| | Modifies ph by folding the space dimensions contained in the first n positions of the array ds into dimension d. The presence of duplicates in ds is a waste but an innocuous one.
|
|
|
| int | ppl_io_print_Polyhedron (ppl_const_Polyhedron_t x) |
| | Prints x to stdout.
|
| int | ppl_io_fprint_Polyhedron (FILE *stream, ppl_const_Polyhedron_t x) |
| | Prints x to the given output stream.
|
| int | ppl_io_asprint_Polyhedron (char **strp, ppl_const_Polyhedron_t x) |
| | Prints x to a malloc-allocated string, a pointer to which is returned via strp.
|
| int | ppl_Polyhedron_ascii_dump (ppl_const_Polyhedron_t x, FILE *stream) |
| | Dumps an ascii representation of x on stream.
|
| int | ppl_Polyhedron_ascii_load (ppl_Polyhedron_t x, FILE *stream) |
| | Loads an ascii representation of x from stream.
|
|
The functions listed here below, being specific of the polyhedron domains, do not have a correspondence in other semantic geometric descriptions.
|
| int | ppl_new_C_Polyhedron_from_Generator_System (ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs) |
| | Builds a new C polyhedron from the system of generators gs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_C_Polyhedron_recycle_Generator_System (ppl_Polyhedron_t *pph, ppl_Generator_System_t gs) |
| | Builds a new C polyhedron recycling the system of generators gs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_from_Generator_System (ppl_Polyhedron_t *pph, ppl_const_Generator_System_t gs) |
| | Builds a new NNC polyhedron from the system of generators gs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_new_NNC_Polyhedron_recycle_Generator_System (ppl_Polyhedron_t *pph, ppl_Generator_System_t gs) |
| | Builds a new NNC polyhedron recycling the system of generators gs and writes a handle for the newly created polyhedron at address pph.
|
| int | ppl_Polyhedron_get_generators (ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs) |
| | Writes a const handle to the generator system defining the polyhedron ph at address pgs.
|
| int | ppl_Polyhedron_get_minimized_generators (ppl_const_Polyhedron_t ph, ppl_const_Generator_System_t *pgs) |
| | Writes a const handle to the minimized generator system defining the polyhedron ph at address pgs.
|
| int | ppl_Polyhedron_add_generator (ppl_Polyhedron_t ph, ppl_const_Generator_t g) |
| | Adds a copy of the generator g to the system of generators of ph.
|
| int | ppl_Polyhedron_add_generators (ppl_Polyhedron_t ph, ppl_const_Generator_System_t gs) |
| | Adds a copy of the system of generators gs to the system of generators of ph.
|
| int | ppl_Polyhedron_add_recycled_generators (ppl_Polyhedron_t ph, ppl_Generator_System_t gs) |
| | Adds the system of generators gs to the system of generators of ph.
|
| int | ppl_Polyhedron_poly_hull_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Assigns to x the poly-hull of x and y.
|
| int | ppl_Polyhedron_poly_difference_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | Assigns to x the poly-difference of x and y.
|
| int | wrap_assign (ppl_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_enum_Bounded_Integer_Type_Width w, ppl_enum_Bounded_Integer_Type_Representation r, ppl_enum_Bounded_Integer_Type_Overflow o, const ppl_const_Constraint_System_t *pcs, unsigned complexity_threshold, int wrap_individually) |
| | Assigns to ph the polyhedron obtained from ph by "wrapping" the vector space defined by the first n space dimensions in ds[].
|
| int | ppl_Polyhedron_BHRZ03_widening_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_H79_widening_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_BHRZ03_widening_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y.
|
| int | ppl_Polyhedron_H79_widening_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y.
|
| int | ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_limited_H79_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_limited_BHRZ03_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x.
|
| int | ppl_Polyhedron_limited_H79_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x.
|
| int | ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x, further intersected with all the constraints of the form and , with , that are satisfied by all the points of x. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_bounded_H79_extrapolation_assign_with_tokens (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x, further intersected with all the constraints of the form and , with , that are satisfied by all the points of x. If tp is not the null pointer, the widening with tokens delay technique is applied with *tp available tokens.
|
| int | ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the BHRZ03-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x, further intersected with all the constraints of the form and , with , that are satisfied by all the points of x.
|
| int | ppl_Polyhedron_bounded_H79_extrapolation_assign (ppl_Polyhedron_t x, ppl_const_Polyhedron_t y, ppl_const_Constraint_System_t cs) |
| | If the polyhedron y is contained in (or equal to) the polyhedron x, assigns to x the H79-widening of x and y intersected with the constraints in cs that are satisfied by all the points of x, further intersected with all the constraints of the form and , with , that are satisfied by all the points of x.
|
Types and functions for the domains of C and NNC convex polyhedra.
The types and functions for convex polyhedra provide a single interface for accessing both topologically closed (C) and not necessarily closed (NNC) convex polyhedra. The distinction between C and NNC polyhedra need only be explicitly stated when creating or assigning a polyhedron object, by means of one of the functions ppl_new_* and ppl_assign_*.
Having a single datatype does not mean that C and NNC polyhedra can be freely interchanged: as specified in the main manual, most library functions require their arguments to be topologically and/or space-dimension compatible.