Types and functions for the Pointset_Powerset of C_Polyhedron objects. More...
#include <ppl_c.h>
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) |
Ad Hoc Functions for Pointset_Powerset domains | |
| 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.
Types and functions for ppl_Pointset_Powerset_C_Polyhedron_tag.
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.
| int ppl_delete_Pointset_Powerset_C_Polyhedron | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_new_Pointset_Powerset_C_Polyhedron_from_C_Polyhedron | ( | ppl_Pointset_Powerset_C_Polyhedron_t * | pph, | |
| ppl_const_Polyhedron_t | ph | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_new_Pointset_Powerset_C_Polyhedron_from_Congruence_System | ( | ppl_Pointset_Powerset_C_Polyhedron_t * | pph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_new_Pointset_Powerset_C_Polyhedron_from_Constraint_System | ( | ppl_Pointset_Powerset_C_Polyhedron_t * | pph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_new_Pointset_Powerset_C_Polyhedron_from_space_dimension | ( | ppl_Pointset_Powerset_C_Polyhedron_t * | pph, | |
| ppl_dimension_type | d, | |||
| int | empty | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_congruence | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_congruences | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_constraint | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_constraints | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_disjunct | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ps, | |
| ppl_const_Polyhedron_t | d | |||
| ) | [related] |
Adds to ps a copy of disjunct d.
| int ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_embed | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_add_space_dimensions_and_project | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_affine_dimension | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_bounds_from_above | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_bounds_from_below | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_concatenate_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | x, | |
| ppl_const_Pointset_Powerset_C_Polyhedron_t | y | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_constrains | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | var | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_contains_integer_point | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_difference_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | x, | |
| ppl_const_Pointset_Powerset_C_Polyhedron_t | y | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
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 | |||
| ) | [related] |
Drops from ps all the disjuncts from first to last (excluded).
| int ppl_Pointset_Powerset_C_Polyhedron_drop_some_non_integer_points | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| int | complexity | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_expand_space_dimension | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | d, | |||
| ppl_dimension_type | m | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_external_memory_in_bytes | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ps, | |
| size_t * | sz | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
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 | |||
| ) | [related] |
Returns a positive integer if powerset x is geometrically equal to powerset y; returns 0 otherwise.
| int ppl_Pointset_Powerset_C_Polyhedron_intersection_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | x, | |
| ppl_const_Pointset_Powerset_C_Polyhedron_t | y | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_is_bounded | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_is_discrete | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_is_empty | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_is_topologically_closed | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_is_universe | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_map_space_dimensions | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | maps[], | |||
| size_t | n | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_OK | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_omega_reduce | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_omega_reduce | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ps | ) | [related] |
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_pairwise_reduce | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ps | ) | [related] |
Modifies ps by (recursively) merging together the pairs of disjuncts whose upper-bound is the same as their set-theoretical union.
| int ppl_Pointset_Powerset_C_Polyhedron_refine_with_congruence | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_refine_with_congruences | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_refine_with_constraint | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_refine_with_constraints | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_relation_with_Congruence | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_relation_with_Constraint | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_relation_with_Generator | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_const_Generator_t | c | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_remove_higher_space_dimensions | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_remove_space_dimensions | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_size | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ps, | |
| size_t * | sz | |||
| ) | [related] |
Writes to sz the number of disjuncts in ps.
| int ppl_Pointset_Powerset_C_Polyhedron_space_dimension | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_time_elapse_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | x, | |
| ppl_const_Pointset_Powerset_C_Polyhedron_t | y | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_topological_closure_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph | ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_total_memory_in_bytes | ( | ppl_const_Pointset_Powerset_C_Polyhedron_t | ps, | |
| size_t * | sz | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_unconstrain_space_dimension | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | var | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_unconstrain_space_dimensions | ( | ppl_Pointset_Powerset_C_Polyhedron_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
| int ppl_Pointset_Powerset_C_Polyhedron_upper_bound_assign | ( | ppl_Pointset_Powerset_C_Polyhedron_t | x, | |
| ppl_const_Pointset_Powerset_C_Polyhedron_t | y | |||
| ) | [related] |
| 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 | |||
| ) | [related] |
1.6.3