ppl_Pointset_Powerset_C_Polyhedron_tag Interface Reference

Types and functions for the Pointset_Powerset of C_Polyhedron objects. More...

#include <ppl_c.h>

List of all members.

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.

Detailed Description

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.


Friends And Related Function Documentation

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.

Note:
If present, Omega-redundant elements will be counted too.
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]

The documentation for this interface was generated from the following files:
Generated on Sun Feb 27 16:28:34 2011 for PPL Configured C Language Interface by  doxygen 1.6.3