Related Functions |
(Note that these are not member functions.)
|
| int | ppl_delete_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_dimension_type d, int empty) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Polyhedron_t ph) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_Pointset_Powerset_C_Polyhedron_with_complexity (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Pointset_Powerset_C_Polyhedron_t ph, int complexity) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron_with_complexity (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_Constraint_System (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Constraint_System_t cs) |
| int | ppl_new_Pointset_Powerset_C_Polyhedron_from_Congruence_System (ppl_Pointset_Powerset_C_Polyhedron_t *pph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_space_dimension (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type *m) |
| int | ppl_Pointset_Powerset_C_Polyhedron_affine_dimension (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type *m) |
| int | ppl_Pointset_Powerset_C_Polyhedron_relation_with_Constraint (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_relation_with_Generator (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Generator_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_relation_with_Congruence (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_empty (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_universe (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_bounded (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_contains_integer_point (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_topologically_closed (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_discrete (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_topological_closure_assign (ppl_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_omega_reduce (ppl_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_bounds_from_above (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_Pointset_Powerset_C_Polyhedron_bounds_from_below (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_Pointset_Powerset_C_Polyhedron_maximize (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) |
| int | ppl_Pointset_Powerset_C_Polyhedron_minimize (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum) |
| int | ppl_Pointset_Powerset_C_Polyhedron_maximize_with_point (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point) |
| int | ppl_Pointset_Powerset_C_Polyhedron_minimize_with_point (ppl_const_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point) |
| int | ppl_Pointset_Powerset_C_Polyhedron_contains_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_strictly_contains_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_is_disjoint_from_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_equals_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_OK (ppl_const_Pointset_Powerset_C_Polyhedron_t ph) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_constraint (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_congruence (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_constraints (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_congruences (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_refine_with_constraint (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_refine_with_congruence (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_C_Polyhedron_refine_with_constraints (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_refine_with_congruences (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_intersection_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_difference_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_concatenate_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_time_elapse_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign_if_exact (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_simplify_using_context_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_constrains (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var) |
| int | ppl_Pointset_Powerset_C_Polyhedron_unconstrain_space_dimension (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var) |
| int | ppl_Pointset_Powerset_C_Polyhedron_unconstrain_space_dimensions (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_Pointset_Powerset_C_Polyhedron_affine_image (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_affine_preimage (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_bounded_affine_image (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_bounded_affine_preimage (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_generalized_affine_image (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_generalized_affine_preimage (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_embed (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_project (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_remove_space_dimensions (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_Pointset_Powerset_C_Polyhedron_remove_higher_space_dimensions (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_expand_space_dimension (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type d, ppl_dimension_type m) |
| int | ppl_Pointset_Powerset_C_Polyhedron_fold_space_dimensions (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_C_Polyhedron_map_space_dimensions (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type maps[], size_t n) |
| int | ppl_Pointset_Powerset_C_Polyhedron_drop_some_non_integer_points (ppl_Pointset_Powerset_C_Polyhedron_t ph, int complexity) |
| int | ppl_Pointset_Powerset_C_Polyhedron_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_C_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, int complexity) |
| int | ppl_Pointset_Powerset_C_Polyhedron_external_memory_in_bytes (ppl_const_Pointset_Powerset_C_Polyhedron_t ps, size_t *sz) |
| int | ppl_Pointset_Powerset_C_Polyhedron_total_memory_in_bytes (ppl_const_Pointset_Powerset_C_Polyhedron_t ps, size_t *sz) |
| int | ppl_Pointset_Powerset_C_Polyhedron_BHZ03_BHRZ03_BHRZ03_widening_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_BHZ03_H79_H79_widening_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| int | ppl_Pointset_Powerset_C_Polyhedron_BGP99_BHRZ03_extrapolation_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y, int disjuncts) |
| int | ppl_Pointset_Powerset_C_Polyhedron_BGP99_H79_extrapolation_assign (ppl_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y, int disjuncts) |
| int | ppl_io_print_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x) |
| int | ppl_io_fprint_Pointset_Powerset_C_Polyhedron (FILE *stream, ppl_const_Pointset_Powerset_C_Polyhedron_t x) |
| int | ppl_io_asprint_Pointset_Powerset_C_Polyhedron (char **strp, ppl_const_Pointset_Powerset_C_Polyhedron_t x) |
| int | ppl_Pointset_Powerset_C_Polyhedron_ascii_dump (ppl_const_Pointset_Powerset_C_Polyhedron_t x, FILE *stream) |
| int | ppl_Pointset_Powerset_C_Polyhedron_ascii_load (ppl_Pointset_Powerset_C_Polyhedron_t x, FILE *stream) |
|
|
|
int | ppl_Pointset_Powerset_C_Polyhedron_omega_reduce (ppl_const_Pointset_Powerset_C_Polyhedron_t ps) |
| | Drops from the sequence of disjuncts in ps all the non-maximal elements so that ps is non-redundant.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_size (ppl_const_Pointset_Powerset_C_Polyhedron_t ps, size_t *sz) |
| | Writes to sz the number of disjuncts in ps.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_geometrically_covers_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| | Returns a positive integer if powerset x geometrically covers powerset y; returns 0 otherwise.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_geometrically_equals_Pointset_Powerset_C_Polyhedron (ppl_const_Pointset_Powerset_C_Polyhedron_t x, ppl_const_Pointset_Powerset_C_Polyhedron_t y) |
| | Returns a positive integer if powerset x is geometrically equal to powerset y; returns 0 otherwise.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_add_disjunct (ppl_Pointset_Powerset_C_Polyhedron_t ps, ppl_const_Polyhedron_t d) |
| | Adds to ps a copy of disjunct d.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_drop_disjunct (ppl_Pointset_Powerset_C_Polyhedron_t ps, ppl_const_Pointset_Powerset_C_Polyhedron_iterator_t cit, ppl_Pointset_Powerset_C_Polyhedron_iterator_t it) |
| | Drops from ps the disjunct pointed to by cit, assigning to it an iterator to the disjunct following cit.
|
| int | ppl_Pointset_Powerset_C_Polyhedron_drop_disjuncts (ppl_Pointset_Powerset_C_Polyhedron_t ps, ppl_const_Pointset_Powerset_C_Polyhedron_iterator_t first, ppl_const_Pointset_Powerset_C_Polyhedron_iterator_t last) |
| | Drops from ps all the disjuncts from first to last (excluded).
|
| int | ppl_Pointset_Powerset_C_Polyhedron_pairwise_reduce (ppl_Pointset_Powerset_C_Polyhedron_t ps) |
| | Modifies ps by (recursively) merging together the pairs of disjuncts whose upper-bound is the same as their set-theoretical union.
|
Types and functions for the Pointset_Powerset of C_Polyhedron objects.
The powerset domains can be instantiated by taking as a base domain any fixed semantic geometric description (C and NNC polyhedra, BD and octagonal shapes, boxes and grids). An element of the powerset domain represents a disjunctive collection of base objects (its disjuncts), all having the same space dimension.
Besides the functions that are available in all semantic geometric descriptions (whose documentation is not repeated here), the powerset domain also provides several ad hoc functions. In particular, the iterator types allow for the examination and manipulation of the collection of disjuncts.