ppl_Pointset_Powerset_Rational_Box_tag Interface Reference

Types and functions for ppl_Pointset_Powerset_Rational_Box_tag. More...

#include <ppl_c.h>

List of all members.

Related Functions

(Note that these are not member functions.)



int ppl_delete_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_new_Pointset_Powerset_Rational_Box_from_space_dimension (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_dimension_type d, int empty)
int ppl_new_Pointset_Powerset_Rational_Box_from_Pointset_Powerset_Rational_Box (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_new_Pointset_Powerset_Rational_Box_from_Rational_Box (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Rational_Box_t ph)
int ppl_new_Pointset_Powerset_Rational_Box_from_Pointset_Powerset_Rational_Box_with_complexity (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Pointset_Powerset_Rational_Box_t ph, int complexity)
int ppl_new_Pointset_Powerset_Rational_Box_from_Rational_Box_with_complexity (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Rational_Box_t ph, int complexity)
int ppl_new_Pointset_Powerset_Rational_Box_from_Constraint_System (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Constraint_System_t cs)
int ppl_new_Pointset_Powerset_Rational_Box_from_Congruence_System (ppl_Pointset_Powerset_Rational_Box_t *pph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_Rational_Box_space_dimension (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_Rational_Box_affine_dimension (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_Rational_Box_relation_with_Constraint (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_Rational_Box_relation_with_Generator (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Generator_t c)
int ppl_Pointset_Powerset_Rational_Box_relation_with_Congruence (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_Rational_Box_is_empty (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_is_universe (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_is_bounded (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_contains_integer_point (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_is_topologically_closed (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_is_discrete (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_topological_closure_assign (ppl_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_pairwise_reduce (ppl_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_omega_reduce (ppl_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_bounds_from_above (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_Rational_Box_bounds_from_below (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_Rational_Box_maximize (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Pointset_Powerset_Rational_Box_minimize (ppl_const_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)
int ppl_Pointset_Powerset_Rational_Box_maximize_with_point (ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_minimize_with_point (ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_contains_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_strictly_contains_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_is_disjoint_from_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_geometrically_covers_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_geometrically_equals_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_equals_Pointset_Powerset_Rational_Box (ppl_const_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_OK (ppl_const_Pointset_Powerset_Rational_Box_t ph)
int ppl_Pointset_Powerset_Rational_Box_add_constraint (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_Rational_Box_add_congruence (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_Rational_Box_add_constraints (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_Rational_Box_add_congruences (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_Rational_Box_refine_with_constraint (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_Rational_Box_refine_with_congruence (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_Rational_Box_refine_with_constraints (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_Rational_Box_refine_with_congruences (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_Rational_Box_intersection_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_upper_bound_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_difference_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_concatenate_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_time_elapse_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_upper_bound_assign_if_exact (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_simplify_using_context_assign (ppl_Pointset_Powerset_Rational_Box_t x, ppl_const_Pointset_Powerset_Rational_Box_t y)
int ppl_Pointset_Powerset_Rational_Box_constrains (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_Rational_Box_unconstrain_space_dimension (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_Rational_Box_unconstrain_space_dimensions (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_Rational_Box_affine_image (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_Rational_Box_affine_preimage (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_Rational_Box_bounded_affine_image (ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_bounded_affine_preimage (ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_image (ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_preimage (ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Pointset_Powerset_Rational_Box_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)
int ppl_Pointset_Powerset_Rational_Box_add_space_dimensions_and_embed (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_Rational_Box_add_space_dimensions_and_project (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_Rational_Box_remove_space_dimensions (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_Rational_Box_remove_higher_space_dimensions (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_Rational_Box_expand_space_dimension (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type d, ppl_dimension_type m)
int ppl_Pointset_Powerset_Rational_Box_fold_space_dimensions (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)
int ppl_Pointset_Powerset_Rational_Box_map_space_dimensions (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type maps[], size_t n)
int ppl_Pointset_Powerset_Rational_Box_drop_some_non_integer_points (ppl_Pointset_Powerset_Rational_Box_t ph, int complexity)
int ppl_Pointset_Powerset_Rational_Box_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_Rational_Box_t ph, ppl_dimension_type ds[], size_t n, int complexity)
int ppl_Pointset_Powerset_Rational_Box_external_memory_in_bytes (ppl_const_Pointset_Powerset_Rational_Box_t ps, size_t *sz)
int ppl_Pointset_Powerset_Rational_Box_total_memory_in_bytes (ppl_const_Pointset_Powerset_Rational_Box_t ps, size_t *sz)
int ppl_Pointset_Powerset_Rational_Box_size (ppl_const_Pointset_Powerset_Rational_Box_t ps, size_t *sz)
int ppl_Pointset_Powerset_Rational_Box_add_disjunct (ppl_Pointset_Powerset_Rational_Box_t ps, ppl_const_Rational_Box_t d)
int ppl_Pointset_Powerset_Rational_Box_drop_disjunct (ppl_Pointset_Powerset_Rational_Box_t ps, ppl_const_Pointset_Powerset_Rational_Box_iterator_t cit, ppl_Pointset_Powerset_Rational_Box_iterator_t it)
int ppl_Pointset_Powerset_Rational_Box_drop_disjuncts (ppl_Pointset_Powerset_Rational_Box_t ps, ppl_const_Pointset_Powerset_Rational_Box_iterator_t first, ppl_const_Pointset_Powerset_Rational_Box_iterator_t last)

Detailed Description

Types and functions for ppl_Pointset_Powerset_Rational_Box_tag.


Friends And Related Function Documentation

int ppl_delete_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Congruence_System ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Constraint_System ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Pointset_Powerset_Rational_Box ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Pointset_Powerset_Rational_Box_t  ph 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Pointset_Powerset_Rational_Box_with_complexity ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Pointset_Powerset_Rational_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Rational_Box ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Rational_Box_t  ph 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_Rational_Box_with_complexity ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_const_Rational_Box_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_Rational_Box_from_space_dimension ( ppl_Pointset_Powerset_Rational_Box_t *  pph,
ppl_dimension_type  d,
int  empty 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_congruence ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_congruences ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_constraint ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_constraints ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_disjunct ( ppl_Pointset_Powerset_Rational_Box_t  ps,
ppl_const_Rational_Box_t  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_space_dimensions_and_embed ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_add_space_dimensions_and_project ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_affine_dimension ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_Rational_Box_affine_image ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_affine_preimage ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_bounded_affine_image ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_bounded_affine_preimage ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_bounds_from_above ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_Rational_Box_bounds_from_below ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_Rational_Box_concatenate_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_constrains ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_Rational_Box_contains_integer_point ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_contains_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_difference_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_drop_disjunct ( ppl_Pointset_Powerset_Rational_Box_t  ps,
ppl_const_Pointset_Powerset_Rational_Box_iterator_t  cit,
ppl_Pointset_Powerset_Rational_Box_iterator_t  it 
) [related]
int ppl_Pointset_Powerset_Rational_Box_drop_disjuncts ( ppl_Pointset_Powerset_Rational_Box_t  ps,
ppl_const_Pointset_Powerset_Rational_Box_iterator_t  first,
ppl_const_Pointset_Powerset_Rational_Box_iterator_t  last 
) [related]
int ppl_Pointset_Powerset_Rational_Box_drop_some_non_integer_points ( ppl_Pointset_Powerset_Rational_Box_t  ph,
int  complexity 
) [related]
int ppl_Pointset_Powerset_Rational_Box_drop_some_non_integer_points_2 ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  ds[],
size_t  n,
int  complexity 
) [related]
int ppl_Pointset_Powerset_Rational_Box_equals_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_expand_space_dimension ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  d,
ppl_dimension_type  m 
) [related]
int ppl_Pointset_Powerset_Rational_Box_external_memory_in_bytes ( ppl_const_Pointset_Powerset_Rational_Box_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_Rational_Box_fold_space_dimensions ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  ds[],
size_t  n,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_generalized_affine_image ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_image_lhs_rhs ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_preimage ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_generalized_affine_preimage_lhs_rhs ( ppl_Pointset_Powerset_Rational_Box_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_Rational_Box_geometrically_covers_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_geometrically_equals_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_intersection_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_is_bounded ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_is_discrete ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_is_disjoint_from_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_is_empty ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_is_topologically_closed ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_is_universe ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_map_space_dimensions ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  maps[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_Rational_Box_maximize ( ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_maximize_with_point ( ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_minimize ( ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_minimize_with_point ( ppl_const_Pointset_Powerset_Rational_Box_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_Rational_Box_OK ( ppl_const_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_omega_reduce ( ppl_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_pairwise_reduce ( ppl_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_refine_with_congruence ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_refine_with_congruences ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_Rational_Box_refine_with_constraint ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_refine_with_constraints ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_Rational_Box_relation_with_Congruence ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_relation_with_Constraint ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_relation_with_Generator ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_const_Generator_t  c 
) [related]
int ppl_Pointset_Powerset_Rational_Box_remove_higher_space_dimensions ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_Rational_Box_remove_space_dimensions ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_Rational_Box_simplify_using_context_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_size ( ppl_const_Pointset_Powerset_Rational_Box_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_Rational_Box_space_dimension ( ppl_const_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_Rational_Box_strictly_contains_Pointset_Powerset_Rational_Box ( ppl_const_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_time_elapse_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_topological_closure_assign ( ppl_Pointset_Powerset_Rational_Box_t  ph  )  [related]
int ppl_Pointset_Powerset_Rational_Box_total_memory_in_bytes ( ppl_const_Pointset_Powerset_Rational_Box_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_Rational_Box_unconstrain_space_dimension ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_Rational_Box_unconstrain_space_dimensions ( ppl_Pointset_Powerset_Rational_Box_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_Rational_Box_upper_bound_assign ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]
int ppl_Pointset_Powerset_Rational_Box_upper_bound_assign_if_exact ( ppl_Pointset_Powerset_Rational_Box_t  x,
ppl_const_Pointset_Powerset_Rational_Box_t  y 
) [related]

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