ppl_Pointset_Powerset_BD_Shape_int64_t_tag Interface Reference

Types and functions for ppl_Pointset_Powerset_BD_Shape_int64_t_tag. More...

#include <ppl_c.h>

List of all members.

Related Functions

(Note that these are not member functions.)



int ppl_delete_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_space_dimension (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_dimension_type d, int empty)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Pointset_Powerset_BD_Shape_int64_t (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_BD_Shape_int64_t (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_BD_Shape_int64_t_t ph)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Pointset_Powerset_BD_Shape_int64_t_with_complexity (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, int complexity)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_BD_Shape_int64_t_with_complexity (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Constraint_System (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_Constraint_System_t cs)
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Congruence_System (ppl_Pointset_Powerset_BD_Shape_int64_t_t *pph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_space_dimension (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_dimension (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Constraint (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Generator (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Generator_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Congruence (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_empty (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_universe (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_bounded (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_contains_integer_point (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_topologically_closed (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_discrete (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_topological_closure_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_pairwise_reduce (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_omega_reduce (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounds_from_above (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounds_from_below (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_BD_Shape_int64_t_maximize (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Pointset_Powerset_BD_Shape_int64_t_minimize (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Pointset_Powerset_BD_Shape_int64_t_maximize_with_point (ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_minimize_with_point (ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_contains_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_strictly_contains_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_disjoint_from_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_geometrically_covers_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_geometrically_equals_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_equals_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_OK (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ph)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_constraint (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_congruence (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_constraints (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_congruences (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_constraint (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_congruence (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_constraints (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_congruences (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_intersection_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_upper_bound_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_difference_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_concatenate_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_time_elapse_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_upper_bound_assign_if_exact (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_simplify_using_context_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_constrains (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_BD_Shape_int64_t_unconstrain_space_dimension (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_BD_Shape_int64_t_unconstrain_space_dimensions (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_image (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_preimage (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounded_affine_image (ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_bounded_affine_preimage (ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_image (ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_preimage (ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_space_dimensions_and_embed (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_space_dimensions_and_project (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_remove_space_dimensions (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_BD_Shape_int64_t_remove_higher_space_dimensions (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_expand_space_dimension (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type d, ppl_dimension_type m)
int ppl_Pointset_Powerset_BD_Shape_int64_t_fold_space_dimensions (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_map_space_dimensions (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type maps[], size_t n)
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_some_non_integer_points (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, int complexity)
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_BD_Shape_int64_t_t ph, ppl_dimension_type ds[], size_t n, int complexity)
int ppl_Pointset_Powerset_BD_Shape_int64_t_external_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ps, size_t *sz)
int ppl_Pointset_Powerset_BD_Shape_int64_t_total_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ps, size_t *sz)
int ppl_Pointset_Powerset_BD_Shape_int64_t_size (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t ps, size_t *sz)
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_disjunct (ppl_Pointset_Powerset_BD_Shape_int64_t_t ps, ppl_const_BD_Shape_int64_t_t d)
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_disjunct (ppl_Pointset_Powerset_BD_Shape_int64_t_t ps, ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t cit, ppl_Pointset_Powerset_BD_Shape_int64_t_iterator_t it)
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_disjuncts (ppl_Pointset_Powerset_BD_Shape_int64_t_t ps, ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t first, ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t last)
int ppl_Pointset_Powerset_BD_Shape_int64_t_BHZ03_H79_BHMZ05_widening_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_BHZ03_H79_H79_widening_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y)
int ppl_Pointset_Powerset_BD_Shape_int64_t_BGP99_BHMZ05_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y, int disjuncts)
int ppl_Pointset_Powerset_BD_Shape_int64_t_BGP99_H79_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t y, int disjuncts)
int ppl_io_print_Pointset_Powerset_BD_Shape_int64_t (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x)
int ppl_io_fprint_Pointset_Powerset_BD_Shape_int64_t (FILE *stream, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x)
int ppl_io_asprint_Pointset_Powerset_BD_Shape_int64_t (char **strp, ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x)
int ppl_Pointset_Powerset_BD_Shape_int64_t_ascii_dump (ppl_const_Pointset_Powerset_BD_Shape_int64_t_t x, FILE *stream)
int ppl_Pointset_Powerset_BD_Shape_int64_t_ascii_load (ppl_Pointset_Powerset_BD_Shape_int64_t_t x, FILE *stream)

Detailed Description

Types and functions for ppl_Pointset_Powerset_BD_Shape_int64_t_tag.


Friends And Related Function Documentation

int ppl_delete_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_space_dimension ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_dimension_type  d,
int  empty 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Pointset_Powerset_BD_Shape_int64_t ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_BD_Shape_int64_t ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_BD_Shape_int64_t_t  ph 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Pointset_Powerset_BD_Shape_int64_t_with_complexity ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_BD_Shape_int64_t_with_complexity ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_BD_Shape_int64_t_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Constraint_System ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_new_Pointset_Powerset_BD_Shape_int64_t_from_Congruence_System ( ppl_Pointset_Powerset_BD_Shape_int64_t_t pph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_space_dimension ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_dimension ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Constraint ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Generator ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Generator_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_relation_with_Congruence ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_empty ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_universe ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_bounded ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_contains_integer_point ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_topologically_closed ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_discrete ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_topological_closure_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_pairwise_reduce ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_omega_reduce ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounds_from_above ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounds_from_below ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_maximize ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_minimize ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_maximize_with_point ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_minimize_with_point ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_contains_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_strictly_contains_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_is_disjoint_from_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_geometrically_covers_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_geometrically_equals_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_equals_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_OK ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ph  )  [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_constraint ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_congruence ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_constraints ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_congruences ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_constraint ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_congruence ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_constraints ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_refine_with_congruences ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_intersection_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_upper_bound_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_difference_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_concatenate_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_time_elapse_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_upper_bound_assign_if_exact ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_simplify_using_context_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_constrains ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_unconstrain_space_dimension ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_unconstrain_space_dimensions ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_image ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_affine_preimage ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_bounded_affine_image ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_bounded_affine_preimage ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_image ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_preimage ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_image_lhs_rhs ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_generalized_affine_preimage_lhs_rhs ( ppl_Pointset_Powerset_BD_Shape_int64_t_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_BD_Shape_int64_t_add_space_dimensions_and_embed ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_space_dimensions_and_project ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_remove_space_dimensions ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_remove_higher_space_dimensions ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_expand_space_dimension ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  d,
ppl_dimension_type  m 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_fold_space_dimensions ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  ds[],
size_t  n,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_map_space_dimensions ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  maps[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_some_non_integer_points ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
int  complexity 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_some_non_integer_points_2 ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ph,
ppl_dimension_type  ds[],
size_t  n,
int  complexity 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_external_memory_in_bytes ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_total_memory_in_bytes ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_size ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_add_disjunct ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ps,
ppl_const_BD_Shape_int64_t_t  d 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_drop_disjuncts ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  ps,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t  first,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_iterator_t  last 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_BHZ03_H79_BHMZ05_widening_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_BHZ03_H79_H79_widening_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_BGP99_BHMZ05_extrapolation_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y,
int  disjuncts 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_BGP99_H79_extrapolation_assign ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  y,
int  disjuncts 
) [related]
int ppl_io_print_Pointset_Powerset_BD_Shape_int64_t ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x  )  [related]
int ppl_io_fprint_Pointset_Powerset_BD_Shape_int64_t ( FILE *  stream,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x 
) [related]
int ppl_io_asprint_Pointset_Powerset_BD_Shape_int64_t ( char **  strp,
ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_ascii_dump ( ppl_const_Pointset_Powerset_BD_Shape_int64_t_t  x,
FILE *  stream 
) [related]
int ppl_Pointset_Powerset_BD_Shape_int64_t_ascii_load ( ppl_Pointset_Powerset_BD_Shape_int64_t_t  x,
FILE *  stream 
) [related]

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