, including all inherited members.
| ppl_delete_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_io_asprint_Pointset_Powerset_Grid(char **strp, ppl_const_Pointset_Powerset_Grid_t x) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_io_fprint_Pointset_Powerset_Grid(FILE *stream, ppl_const_Pointset_Powerset_Grid_t x) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_io_print_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Congruence_System(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Congruence_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Constraint_System(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Constraint_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Grid(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Grid_with_complexity(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Grid_t ph, int complexity) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Pointset_Powerset_Grid(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_Pointset_Powerset_Grid_with_complexity(ppl_Pointset_Powerset_Grid_t *pph, ppl_const_Pointset_Powerset_Grid_t ph, int complexity) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_new_Pointset_Powerset_Grid_from_space_dimension(ppl_Pointset_Powerset_Grid_t *pph, ppl_dimension_type d, int empty) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_congruence(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Congruence_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_congruences(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Congruence_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_constraint(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Constraint_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_constraints(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Constraint_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_disjunct(ppl_Pointset_Powerset_Grid_t ps, ppl_const_Grid_t d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_space_dimensions_and_embed(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_add_space_dimensions_and_project(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_affine_dimension(ppl_const_Pointset_Powerset_Grid_t ph, ppl_dimension_type *m) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_affine_image(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_affine_preimage(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_ascii_dump(ppl_const_Pointset_Powerset_Grid_t x, FILE *stream) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_ascii_load(ppl_Pointset_Powerset_Grid_t x, FILE *stream) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_BGP99_congruence_extrapolation_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y, int disjuncts) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_BGP99_generator_extrapolation_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y, int disjuncts) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_BHZ03_Grid_congruence_widening_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_BHZ03_Grid_generator_widening_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_bounded_affine_image(ppl_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_bounded_affine_preimage(ppl_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_bounds_from_above(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t le) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_bounds_from_below(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t le) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_concatenate_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_constrains(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type var) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_contains_integer_point(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_contains_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_difference_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_drop_disjunct(ppl_Pointset_Powerset_Grid_t ps, ppl_const_Pointset_Powerset_Grid_iterator_t cit, ppl_Pointset_Powerset_Grid_iterator_t it) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_drop_disjuncts(ppl_Pointset_Powerset_Grid_t ps, ppl_const_Pointset_Powerset_Grid_iterator_t first, ppl_const_Pointset_Powerset_Grid_iterator_t last) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_drop_some_non_integer_points(ppl_Pointset_Powerset_Grid_t ph, int complexity) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_drop_some_non_integer_points_2(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type ds[], size_t n, int complexity) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_equals_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_expand_space_dimension(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type d, ppl_dimension_type m) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_external_memory_in_bytes(ppl_const_Pointset_Powerset_Grid_t ps, size_t *sz) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_fold_space_dimensions(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_generalized_affine_image(ppl_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_generalized_affine_image_lhs_rhs(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_generalized_affine_preimage(ppl_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_generalized_affine_preimage_lhs_rhs(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_geometrically_covers_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_geometrically_equals_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_intersection_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_bounded(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_discrete(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_disjoint_from_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_empty(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_topologically_closed(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_is_universe(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_map_space_dimensions(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type maps[], size_t n) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_maximize(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_maximize_with_point(ppl_const_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_minimize(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_minimize_with_point(ppl_const_Pointset_Powerset_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_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_OK(ppl_const_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_omega_reduce(ppl_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_pairwise_reduce(ppl_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_refine_with_congruence(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Congruence_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_refine_with_congruences(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Congruence_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_refine_with_constraint(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Constraint_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_refine_with_constraints(ppl_Pointset_Powerset_Grid_t ph, ppl_const_Constraint_System_t cs) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_relation_with_Congruence(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Congruence_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_relation_with_Constraint(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Constraint_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_relation_with_Generator(ppl_const_Pointset_Powerset_Grid_t ph, ppl_const_Generator_t c) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_remove_higher_space_dimensions(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type d) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_remove_space_dimensions(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type ds[], size_t n) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_simplify_using_context_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_size(ppl_const_Pointset_Powerset_Grid_t ps, size_t *sz) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_space_dimension(ppl_const_Pointset_Powerset_Grid_t ph, ppl_dimension_type *m) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_strictly_contains_Pointset_Powerset_Grid(ppl_const_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_time_elapse_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_topological_closure_assign(ppl_Pointset_Powerset_Grid_t ph) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_total_memory_in_bytes(ppl_const_Pointset_Powerset_Grid_t ps, size_t *sz) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_unconstrain_space_dimension(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type var) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_unconstrain_space_dimensions(ppl_Pointset_Powerset_Grid_t ph, ppl_dimension_type ds[], size_t n) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_upper_bound_assign(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |
| ppl_Pointset_Powerset_Grid_upper_bound_assign_if_exact(ppl_Pointset_Powerset_Grid_t x, ppl_const_Pointset_Powerset_Grid_t y) | ppl_Pointset_Powerset_Grid_tag | [related] |