, including all inherited members.
| ppl_all_affine_ranking_functions_MS_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset, ppl_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_all_affine_ranking_functions_MS_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after, ppl_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_all_affine_ranking_functions_PR_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset, ppl_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_all_affine_ranking_functions_PR_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after, ppl_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_assign_Octagonal_Shape_float_from_Octagonal_Shape_float(ppl_Octagonal_Shape_float_t dst, ppl_const_Octagonal_Shape_float_t src) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_delete_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_double(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_double_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_double_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_double_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_float(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_float_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_float_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int16_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int16_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int16_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int32_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int32_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int32_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int64_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int64_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int64_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int8_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int8_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_int8_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_long_double(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_long_double_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_long_double_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_mpq_class(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_mpq_class_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_mpq_class_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_mpz_class(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_mpz_class_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_BD_Shape_mpz_class_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_C_Polyhedron(ppl_Octagonal_Shape_float_t *pph, ppl_const_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_C_Polyhedron_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Polyhedron_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Congruence_System(ppl_Octagonal_Shape_float_t *pph, ppl_const_Congruence_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Constraint_System(ppl_Octagonal_Shape_float_t *pph, ppl_const_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Double_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Double_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Double_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Double_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Float_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Float_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Float_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Float_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Generator_System(ppl_Octagonal_Shape_float_t *pph, ppl_const_Generator_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Grid(ppl_Octagonal_Shape_float_t *pph, ppl_const_Grid_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Grid_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Grid_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int16_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int16_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int16_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int16_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int32_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int32_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int32_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int32_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int64_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int64_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int64_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int64_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int8_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int8_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Int8_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Int8_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Long_Double_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Long_Double_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Long_Double_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Long_Double_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_NNC_Polyhedron(ppl_Octagonal_Shape_float_t *pph, ppl_const_Polyhedron_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_NNC_Polyhedron_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Polyhedron_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_double(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_double_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_double_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_float(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_float_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int16_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int16_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int32_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int32_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int64_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int64_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int8_t(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_int8_t_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_long_double(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_long_double_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_long_double_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_mpq_class(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_mpq_class_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_mpz_class(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Octagonal_Shape_mpz_class_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Rational_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Rational_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Rational_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Rational_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_space_dimension(ppl_Octagonal_Shape_float_t *pph, ppl_dimension_type d, int empty) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint16_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint16_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint16_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint16_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint32_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint32_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint32_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint32_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint64_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint64_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint64_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint64_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint8_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint8_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Uint8_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Uint8_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Z_Box(ppl_Octagonal_Shape_float_t *pph, ppl_const_Z_Box_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_from_Z_Box_with_complexity(ppl_Octagonal_Shape_float_t *pph, ppl_const_Z_Box_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_recycle_Congruence_System(ppl_Octagonal_Shape_float_t *pph, ppl_Congruence_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_recycle_Constraint_System(ppl_Octagonal_Shape_float_t *pph, ppl_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_new_Octagonal_Shape_float_recycle_Generator_System(ppl_Octagonal_Shape_float_t *pph, ppl_Generator_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_congruence(ppl_Octagonal_Shape_float_t ph, ppl_const_Congruence_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_congruences(ppl_Octagonal_Shape_float_t ph, ppl_const_Congruence_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_constraint(ppl_Octagonal_Shape_float_t ph, ppl_const_Constraint_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_constraints(ppl_Octagonal_Shape_float_t ph, ppl_const_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_recycled_congruences(ppl_Octagonal_Shape_float_t ph, ppl_Congruence_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_recycled_constraints(ppl_Octagonal_Shape_float_t ph, ppl_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_space_dimensions_and_embed(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_add_space_dimensions_and_project(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_affine_dimension(ppl_const_Octagonal_Shape_float_t ph, ppl_dimension_type *m) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_affine_image(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_affine_preimage(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_BHMZ05_widening_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_BHMZ05_widening_assign_with_tokens(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, unsigned *tp) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_bounded_affine_image(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_bounded_affine_preimage(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_bounds_from_above(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_bounds_from_below(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_CC76_extrapolation_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_CC76_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, unsigned *tp) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_CC76_narrowing_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_concatenate_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_constrains(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_contains_integer_point(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_contains_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_difference_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_drop_some_non_integer_points(ppl_Octagonal_Shape_float_t ph, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_drop_some_non_integer_points_2(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type ds[], size_t n, int complexity) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_equals_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_expand_space_dimension(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type d, ppl_dimension_type m) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_external_memory_in_bytes(ppl_const_Octagonal_Shape_float_t ps, size_t *sz) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_fold_space_dimensions(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_frequency(ppl_const_Octagonal_Shape_float_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) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_generalized_affine_image(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_generalized_affine_image_lhs_rhs(ppl_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_generalized_affine_preimage(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_generalized_affine_preimage_lhs_rhs(ppl_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_get_congruences(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Congruence_System_t *pcs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_get_constraints(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Constraint_System_t *pcs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_get_minimized_congruences(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Congruence_System_t *pcs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_get_minimized_constraints(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Constraint_System_t *pcs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_intersection_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_bounded(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_discrete(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_disjoint_from_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_empty(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_topologically_closed(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_is_universe(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_limited_BHMZ05_extrapolation_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, ppl_const_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_limited_BHMZ05_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_limited_CC76_extrapolation_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, ppl_const_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_limited_CC76_extrapolation_assign_with_tokens(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, ppl_const_Constraint_System_t cs, unsigned *tp) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_linear_partition(ppl_const_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, ppl_Octagonal_Shape_float_t *p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t *p_rest) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_map_space_dimensions(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type maps[], size_t n) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_maximize(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_maximize_with_point(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_minimize(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_minimize_with_point(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_OK(ppl_const_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_refine_with_congruence(ppl_Octagonal_Shape_float_t ph, ppl_const_Congruence_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_refine_with_congruences(ppl_Octagonal_Shape_float_t ph, ppl_const_Congruence_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_refine_with_constraint(ppl_Octagonal_Shape_float_t ph, ppl_const_Constraint_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_refine_with_constraints(ppl_Octagonal_Shape_float_t ph, ppl_const_Constraint_System_t cs) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_relation_with_Congruence(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Congruence_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_relation_with_Constraint(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Constraint_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_relation_with_Generator(ppl_const_Octagonal_Shape_float_t ph, ppl_const_Generator_t c) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_remove_higher_space_dimensions(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type d) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_remove_space_dimensions(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type ds[], size_t n) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_simplify_using_context_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_space_dimension(ppl_const_Octagonal_Shape_float_t ph, ppl_dimension_type *m) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_strictly_contains_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_time_elapse_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_topological_closure_assign(ppl_Octagonal_Shape_float_t ph) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_total_memory_in_bytes(ppl_const_Octagonal_Shape_float_t ps, size_t *sz) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_unconstrain_space_dimension(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type var) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_unconstrain_space_dimensions(ppl_Octagonal_Shape_float_t ph, ppl_dimension_type ds[], size_t n) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_upper_bound_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_upper_bound_assign_if_exact(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_widening_assign(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_widening_assign_with_tokens(ppl_Octagonal_Shape_float_t x, ppl_const_Octagonal_Shape_float_t y, unsigned *tp) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_Octagonal_Shape_float_wrap_assign(ppl_Octagonal_Shape_float_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) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_one_affine_ranking_function_MS_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_one_affine_ranking_function_MS_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_one_affine_ranking_function_PR_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_one_affine_ranking_function_PR_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after, ppl_Generator_t point) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_termination_test_MS_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_termination_test_MS_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_termination_test_PR_Octagonal_Shape_float(ppl_const_Octagonal_Shape_float_t pset) | ppl_Octagonal_Shape_float_tag | [related] |
| ppl_termination_test_PR_Octagonal_Shape_float_2(ppl_const_Octagonal_Shape_float_t pset_before, ppl_const_Octagonal_Shape_float_t pset_after) | ppl_Octagonal_Shape_float_tag | [related] |