PPL Configured C Language Interface  1.2
ppl_Grid_tag Member List

This is the complete list of members for ppl_Grid_tag, including all inherited members.

ppl_all_affine_ranking_functions_MS_Grid(ppl_const_Grid_t pset, ppl_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_all_affine_ranking_functions_MS_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after, ppl_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_all_affine_ranking_functions_PR_Grid(ppl_const_Grid_t pset, ppl_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_all_affine_ranking_functions_PR_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after, ppl_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_assign_Grid_from_Grid(ppl_Grid_t dst, ppl_const_Grid_t src)ppl_Grid_tagrelated
ppl_delete_Grid(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_add_congruence(ppl_Grid_t ph, ppl_const_Congruence_t c)ppl_Grid_tagrelated
ppl_Grid_add_congruences(ppl_Grid_t ph, ppl_const_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_constraint(ppl_Grid_t ph, ppl_const_Constraint_t c)ppl_Grid_tagrelated
ppl_Grid_add_constraints(ppl_Grid_t ph, ppl_const_Constraint_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_grid_generator(ppl_Grid_t ph, ppl_const_Grid_Generator_t c)ppl_Grid_tagrelated
ppl_Grid_add_grid_generators(ppl_Grid_t ph, ppl_const_Grid_Generator_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_recycled_congruences(ppl_Grid_t ph, ppl_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_recycled_constraints(ppl_Grid_t ph, ppl_Constraint_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_recycled_grid_generators(ppl_Grid_t ph, ppl_Grid_Generator_System_t cs)ppl_Grid_tagrelated
ppl_Grid_add_space_dimensions_and_embed(ppl_Grid_t ph, ppl_dimension_type d)ppl_Grid_tagrelated
ppl_Grid_add_space_dimensions_and_project(ppl_Grid_t ph, ppl_dimension_type d)ppl_Grid_tagrelated
ppl_Grid_affine_dimension(ppl_const_Grid_t ph, ppl_dimension_type *m)ppl_Grid_tagrelated
ppl_Grid_affine_image(ppl_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_affine_preimage(ppl_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_approximate_partition(ppl_const_Grid_t x, ppl_const_Grid_t y, ppl_Grid_t *p_inters, ppl_Pointset_Powerset_Grid_t *p_rest, int *p_finite)ppl_Grid_tagrelated
ppl_Grid_ascii_dump(ppl_const_Grid_t x, FILE *stream)ppl_Grid_tagrelated
ppl_Grid_ascii_load(ppl_Grid_t x, FILE *stream)ppl_Grid_tagrelated
ppl_Grid_bounded_affine_image(ppl_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_bounded_affine_preimage(ppl_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_bounds_from_above(ppl_const_Grid_t ph, ppl_const_Linear_Expression_t le)ppl_Grid_tagrelated
ppl_Grid_bounds_from_below(ppl_const_Grid_t ph, ppl_const_Linear_Expression_t le)ppl_Grid_tagrelated
ppl_Grid_concatenate_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_congruence_widening_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_congruence_widening_assign_with_tokens(ppl_Grid_t x, ppl_const_Grid_t y, unsigned *tp)ppl_Grid_tagrelated
ppl_Grid_constrains(ppl_Grid_t ph, ppl_dimension_type var)ppl_Grid_tagrelated
ppl_Grid_contains_Grid(ppl_const_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_contains_integer_point(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_difference_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_drop_some_non_integer_points(ppl_Grid_t ph, int complexity)ppl_Grid_tagrelated
ppl_Grid_drop_some_non_integer_points_2(ppl_Grid_t ph, ppl_dimension_type ds[], size_t n, int complexity)ppl_Grid_tagrelated
ppl_Grid_equals_Grid(ppl_const_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_expand_space_dimension(ppl_Grid_t ph, ppl_dimension_type d, ppl_dimension_type m)ppl_Grid_tagrelated
ppl_Grid_external_memory_in_bytes(ppl_const_Grid_t ps, size_t *sz)ppl_Grid_tagrelated
ppl_Grid_fold_space_dimensions(ppl_Grid_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)ppl_Grid_tagrelated
ppl_Grid_frequency(ppl_const_Grid_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_Grid_tagrelated
ppl_Grid_generalized_affine_image(ppl_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_image_lhs_rhs(ppl_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_image_lhs_rhs_with_congruence(ppl_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs, ppl_const_Coefficient_t m)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_image_with_congruence(ppl_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d, ppl_const_Coefficient_t m)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_preimage(ppl_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_preimage_lhs_rhs(ppl_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_preimage_lhs_rhs_with_congruence(ppl_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs, ppl_const_Coefficient_t m)ppl_Grid_tagrelated
ppl_Grid_generalized_affine_preimage_with_congruence(ppl_Grid_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d, ppl_const_Coefficient_t m)ppl_Grid_tagrelated
ppl_Grid_generator_widening_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_generator_widening_assign_with_tokens(ppl_Grid_t x, ppl_const_Grid_t y, unsigned *tp)ppl_Grid_tagrelated
ppl_Grid_get_congruences(ppl_const_Grid_t ph, ppl_const_Congruence_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_get_constraints(ppl_const_Grid_t ph, ppl_const_Constraint_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_get_grid_generators(ppl_const_Grid_t ph, ppl_const_Grid_Generator_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_get_minimized_congruences(ppl_const_Grid_t ph, ppl_const_Congruence_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_get_minimized_constraints(ppl_const_Grid_t ph, ppl_const_Constraint_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_get_minimized_grid_generators(ppl_const_Grid_t ph, ppl_const_Grid_Generator_System_t *pcs)ppl_Grid_tagrelated
ppl_Grid_intersection_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_is_bounded(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_is_discrete(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_is_disjoint_from_Grid(ppl_const_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_is_empty(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_is_topologically_closed(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_is_universe(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_limited_congruence_extrapolation_assign(ppl_Grid_t x, ppl_const_Grid_t y, ppl_const_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_Grid_limited_congruence_extrapolation_assign_with_tokens(ppl_Grid_t x, ppl_const_Grid_t y, ppl_const_Congruence_System_t cs, unsigned *tp)ppl_Grid_tagrelated
ppl_Grid_limited_generator_extrapolation_assign(ppl_Grid_t x, ppl_const_Grid_t y, ppl_const_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_Grid_limited_generator_extrapolation_assign_with_tokens(ppl_Grid_t x, ppl_const_Grid_t y, ppl_const_Congruence_System_t cs, unsigned *tp)ppl_Grid_tagrelated
ppl_Grid_map_space_dimensions(ppl_Grid_t ph, ppl_dimension_type maps[], size_t n)ppl_Grid_tagrelated
ppl_Grid_maximize(ppl_const_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Grid_tagrelated
ppl_Grid_maximize_with_point(ppl_const_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)ppl_Grid_tagrelated
ppl_Grid_minimize(ppl_const_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Grid_tagrelated
ppl_Grid_minimize_with_point(ppl_const_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)ppl_Grid_tagrelated
ppl_Grid_OK(ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_refine_with_congruence(ppl_Grid_t ph, ppl_const_Congruence_t c)ppl_Grid_tagrelated
ppl_Grid_refine_with_congruences(ppl_Grid_t ph, ppl_const_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_Grid_refine_with_constraint(ppl_Grid_t ph, ppl_const_Constraint_t c)ppl_Grid_tagrelated
ppl_Grid_refine_with_constraints(ppl_Grid_t ph, ppl_const_Constraint_System_t cs)ppl_Grid_tagrelated
ppl_Grid_relation_with_Congruence(ppl_const_Grid_t ph, ppl_const_Congruence_t c)ppl_Grid_tagrelated
ppl_Grid_relation_with_Constraint(ppl_const_Grid_t ph, ppl_const_Constraint_t c)ppl_Grid_tagrelated
ppl_Grid_relation_with_Generator(ppl_const_Grid_t ph, ppl_const_Generator_t c)ppl_Grid_tagrelated
ppl_Grid_relation_with_Grid_Generator(ppl_const_Grid_t ph, ppl_const_Grid_Generator_t c)ppl_Grid_tagrelated
ppl_Grid_remove_higher_space_dimensions(ppl_Grid_t ph, ppl_dimension_type d)ppl_Grid_tagrelated
ppl_Grid_remove_space_dimensions(ppl_Grid_t ph, ppl_dimension_type ds[], size_t n)ppl_Grid_tagrelated
ppl_Grid_simplify_using_context_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_space_dimension(ppl_const_Grid_t ph, ppl_dimension_type *m)ppl_Grid_tagrelated
ppl_Grid_strictly_contains_Grid(ppl_const_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_time_elapse_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_topological_closure_assign(ppl_Grid_t ph)ppl_Grid_tagrelated
ppl_Grid_total_memory_in_bytes(ppl_const_Grid_t ps, size_t *sz)ppl_Grid_tagrelated
ppl_Grid_unconstrain_space_dimension(ppl_Grid_t ph, ppl_dimension_type var)ppl_Grid_tagrelated
ppl_Grid_unconstrain_space_dimensions(ppl_Grid_t ph, ppl_dimension_type ds[], size_t n)ppl_Grid_tagrelated
ppl_Grid_upper_bound_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_upper_bound_assign_if_exact(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_widening_assign(ppl_Grid_t x, ppl_const_Grid_t y)ppl_Grid_tagrelated
ppl_Grid_widening_assign_with_tokens(ppl_Grid_t x, ppl_const_Grid_t y, unsigned *tp)ppl_Grid_tagrelated
ppl_Grid_wrap_assign(ppl_Grid_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_Grid_tagrelated
ppl_io_asprint_Grid(char **strp, ppl_const_Grid_t x)ppl_Grid_tagrelated
ppl_io_fprint_Grid(FILE *stream, ppl_const_Grid_t x)ppl_Grid_tagrelated
ppl_io_print_Grid(ppl_const_Grid_t x)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_double(ppl_Grid_t *pph, ppl_const_BD_Shape_double_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_double_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_float(ppl_Grid_t *pph, ppl_const_BD_Shape_float_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_float_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int16_t(ppl_Grid_t *pph, ppl_const_BD_Shape_int16_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int16_t_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int32_t(ppl_Grid_t *pph, ppl_const_BD_Shape_int32_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int32_t_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int64_t(ppl_Grid_t *pph, ppl_const_BD_Shape_int64_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int64_t_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int8_t(ppl_Grid_t *pph, ppl_const_BD_Shape_int8_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_int8_t_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_long_double(ppl_Grid_t *pph, ppl_const_BD_Shape_long_double_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_long_double_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_mpq_class(ppl_Grid_t *pph, ppl_const_BD_Shape_mpq_class_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_mpq_class_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_mpz_class(ppl_Grid_t *pph, ppl_const_BD_Shape_mpz_class_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_BD_Shape_mpz_class_with_complexity(ppl_Grid_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_C_Polyhedron(ppl_Grid_t *pph, ppl_const_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_C_Polyhedron_with_complexity(ppl_Grid_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Congruence_System(ppl_Grid_t *pph, ppl_const_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_new_Grid_from_Constraint_System(ppl_Grid_t *pph, ppl_const_Constraint_System_t cs)ppl_Grid_tagrelated
ppl_new_Grid_from_Double_Box(ppl_Grid_t *pph, ppl_const_Double_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Double_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Double_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Float_Box(ppl_Grid_t *pph, ppl_const_Float_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Float_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Float_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Grid(ppl_Grid_t *pph, ppl_const_Grid_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Grid_Generator_System(ppl_Grid_t *pph, ppl_const_Grid_Generator_System_t cs)ppl_Grid_tagrelated
ppl_new_Grid_from_Grid_with_complexity(ppl_Grid_t *pph, ppl_const_Grid_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Int16_Box(ppl_Grid_t *pph, ppl_const_Int16_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Int16_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Int16_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Int32_Box(ppl_Grid_t *pph, ppl_const_Int32_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Int32_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Int32_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Int64_Box(ppl_Grid_t *pph, ppl_const_Int64_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Int64_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Int64_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Int8_Box(ppl_Grid_t *pph, ppl_const_Int8_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Int8_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Int8_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Long_Double_Box(ppl_Grid_t *pph, ppl_const_Long_Double_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Long_Double_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_NNC_Polyhedron(ppl_Grid_t *pph, ppl_const_Polyhedron_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_NNC_Polyhedron_with_complexity(ppl_Grid_t *pph, ppl_const_Polyhedron_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_double(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_double_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_double_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_float(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_float_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_float_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int16_t(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int16_t_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int32_t(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int32_t_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int64_t(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int64_t_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int8_t(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_int8_t_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_long_double(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_long_double_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_mpq_class(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_mpq_class_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_mpz_class(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Octagonal_Shape_mpz_class_with_complexity(ppl_Grid_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Rational_Box(ppl_Grid_t *pph, ppl_const_Rational_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Rational_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Rational_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_space_dimension(ppl_Grid_t *pph, ppl_dimension_type d, int empty)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint16_Box(ppl_Grid_t *pph, ppl_const_Uint16_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint16_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Uint16_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint32_Box(ppl_Grid_t *pph, ppl_const_Uint32_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint32_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Uint32_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint64_Box(ppl_Grid_t *pph, ppl_const_Uint64_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint64_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Uint64_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint8_Box(ppl_Grid_t *pph, ppl_const_Uint8_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Uint8_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Uint8_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_from_Z_Box(ppl_Grid_t *pph, ppl_const_Z_Box_t ph)ppl_Grid_tagrelated
ppl_new_Grid_from_Z_Box_with_complexity(ppl_Grid_t *pph, ppl_const_Z_Box_t ph, int complexity)ppl_Grid_tagrelated
ppl_new_Grid_recycle_Congruence_System(ppl_Grid_t *pph, ppl_Congruence_System_t cs)ppl_Grid_tagrelated
ppl_new_Grid_recycle_Constraint_System(ppl_Grid_t *pph, ppl_Constraint_System_t cs)ppl_Grid_tagrelated
ppl_new_Grid_recycle_Grid_Generator_System(ppl_Grid_t *pph, ppl_Grid_Generator_System_t cs)ppl_Grid_tagrelated
ppl_one_affine_ranking_function_MS_Grid(ppl_const_Grid_t pset, ppl_Generator_t point)ppl_Grid_tagrelated
ppl_one_affine_ranking_function_MS_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after, ppl_Generator_t point)ppl_Grid_tagrelated
ppl_one_affine_ranking_function_PR_Grid(ppl_const_Grid_t pset, ppl_Generator_t point)ppl_Grid_tagrelated
ppl_one_affine_ranking_function_PR_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after, ppl_Generator_t point)ppl_Grid_tagrelated
ppl_termination_test_MS_Grid(ppl_const_Grid_t pset)ppl_Grid_tagrelated
ppl_termination_test_MS_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after)ppl_Grid_tagrelated
ppl_termination_test_PR_Grid(ppl_const_Grid_t pset)ppl_Grid_tagrelated
ppl_termination_test_PR_Grid_2(ppl_const_Grid_t pset_before, ppl_const_Grid_t pset_after)ppl_Grid_tagrelated