ppl_Pointset_Powerset_NNC_Polyhedron_tag Interface Reference

Types and functions for ppl_Pointset_Powerset_NNC_Polyhedron_tag. More...

#include <ppl_c.h>

List of all members.

Related Functions

(Note that these are not member functions.)



int ppl_delete_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_space_dimension (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_dimension_type d, int empty)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Pointset_Powerset_NNC_Polyhedron (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_NNC_Polyhedron (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Polyhedron_t ph)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Pointset_Powerset_NNC_Polyhedron_with_complexity (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, int complexity)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_NNC_Polyhedron_with_complexity (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Polyhedron_t ph, int complexity)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Constraint_System (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Constraint_System_t cs)
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Congruence_System (ppl_Pointset_Powerset_NNC_Polyhedron_t *pph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_NNC_Polyhedron_space_dimension (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_dimension (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type *m)
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Constraint (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Generator (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Generator_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Congruence (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_empty (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_universe (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_bounded (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_contains_integer_point (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_topologically_closed (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_discrete (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_topological_closure_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_pairwise_reduce (ppl_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_omega_reduce (ppl_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_bounds_from_above (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_NNC_Polyhedron_bounds_from_below (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Linear_Expression_t le)
int ppl_Pointset_Powerset_NNC_Polyhedron_maximize (ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_minimize (ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_maximize_with_point (ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_minimize_with_point (ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_contains_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_strictly_contains_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_is_disjoint_from_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_geometrically_covers_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_geometrically_equals_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_equals_Pointset_Powerset_NNC_Polyhedron (ppl_const_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_OK (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ph)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_constraint (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_congruence (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_constraints (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_congruences (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_constraint (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Constraint_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_congruence (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Congruence_t c)
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_constraints (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Constraint_System_t cs)
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_congruences (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_const_Congruence_System_t cs)
int ppl_Pointset_Powerset_NNC_Polyhedron_intersection_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_upper_bound_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_difference_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_concatenate_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_time_elapse_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_upper_bound_assign_if_exact (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_simplify_using_context_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_constrains (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_NNC_Polyhedron_unconstrain_space_dimension (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type var)
int ppl_Pointset_Powerset_NNC_Polyhedron_unconstrain_space_dimensions (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_image (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_preimage (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)
int ppl_Pointset_Powerset_NNC_Polyhedron_bounded_affine_image (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_bounded_affine_preimage (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_image (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_preimage (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_add_space_dimensions_and_embed (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_space_dimensions_and_project (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_NNC_Polyhedron_remove_space_dimensions (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type ds[], size_t n)
int ppl_Pointset_Powerset_NNC_Polyhedron_remove_higher_space_dimensions (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type d)
int ppl_Pointset_Powerset_NNC_Polyhedron_expand_space_dimension (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type d, ppl_dimension_type m)
int ppl_Pointset_Powerset_NNC_Polyhedron_fold_space_dimensions (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)
int ppl_Pointset_Powerset_NNC_Polyhedron_map_space_dimensions (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type maps[], size_t n)
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_some_non_integer_points (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, int complexity)
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_NNC_Polyhedron_t ph, ppl_dimension_type ds[], size_t n, int complexity)
int ppl_Pointset_Powerset_NNC_Polyhedron_external_memory_in_bytes (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ps, size_t *sz)
int ppl_Pointset_Powerset_NNC_Polyhedron_total_memory_in_bytes (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ps, size_t *sz)
int ppl_Pointset_Powerset_NNC_Polyhedron_size (ppl_const_Pointset_Powerset_NNC_Polyhedron_t ps, size_t *sz)
int ppl_Pointset_Powerset_NNC_Polyhedron_add_disjunct (ppl_Pointset_Powerset_NNC_Polyhedron_t ps, ppl_const_Polyhedron_t d)
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_disjunct (ppl_Pointset_Powerset_NNC_Polyhedron_t ps, ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t cit, ppl_Pointset_Powerset_NNC_Polyhedron_iterator_t it)
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_disjuncts (ppl_Pointset_Powerset_NNC_Polyhedron_t ps, ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t first, ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t last)
int ppl_Pointset_Powerset_NNC_Polyhedron_BHZ03_BHRZ03_BHRZ03_widening_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_BHZ03_H79_H79_widening_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y)
int ppl_Pointset_Powerset_NNC_Polyhedron_BGP99_BHRZ03_extrapolation_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y, int disjuncts)
int ppl_Pointset_Powerset_NNC_Polyhedron_BGP99_H79_extrapolation_assign (ppl_Pointset_Powerset_NNC_Polyhedron_t x, ppl_const_Pointset_Powerset_NNC_Polyhedron_t y, int disjuncts)

Detailed Description

Types and functions for ppl_Pointset_Powerset_NNC_Polyhedron_tag.


Friends And Related Function Documentation

int ppl_delete_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Congruence_System ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Constraint_System ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_NNC_Polyhedron ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Polyhedron_t  ph 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_NNC_Polyhedron_with_complexity ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Polyhedron_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Pointset_Powerset_NNC_Polyhedron ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_Pointset_Powerset_NNC_Polyhedron_with_complexity ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
int  complexity 
) [related]
int ppl_new_Pointset_Powerset_NNC_Polyhedron_from_space_dimension ( ppl_Pointset_Powerset_NNC_Polyhedron_t *  pph,
ppl_dimension_type  d,
int  empty 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_congruence ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_congruences ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_constraint ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_constraints ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_disjunct ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ps,
ppl_const_Polyhedron_t  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_space_dimensions_and_embed ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_add_space_dimensions_and_project ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_dimension ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_image ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_affine_preimage ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  var,
ppl_const_Linear_Expression_t  le,
ppl_const_Coefficient_t  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_BGP99_BHRZ03_extrapolation_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y,
int  disjuncts 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_BGP99_H79_extrapolation_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y,
int  disjuncts 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_BHZ03_BHRZ03_BHRZ03_widening_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_BHZ03_H79_H79_widening_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_bounded_affine_image ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_bounded_affine_preimage ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_bounds_from_above ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_bounds_from_below ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Linear_Expression_t  le 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_concatenate_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_constrains ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_contains_integer_point ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_contains_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_difference_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_disjunct ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ps,
ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t  cit,
ppl_Pointset_Powerset_NNC_Polyhedron_iterator_t  it 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_disjuncts ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ps,
ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t  first,
ppl_const_Pointset_Powerset_NNC_Polyhedron_iterator_t  last 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_some_non_integer_points ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
int  complexity 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_drop_some_non_integer_points_2 ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  ds[],
size_t  n,
int  complexity 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_equals_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_expand_space_dimension ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  d,
ppl_dimension_type  m 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_external_memory_in_bytes ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_fold_space_dimensions ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  ds[],
size_t  n,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_generalized_affine_image ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_image_lhs_rhs ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_preimage ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_generalized_affine_preimage_lhs_rhs ( ppl_Pointset_Powerset_NNC_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_NNC_Polyhedron_geometrically_covers_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_geometrically_equals_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_intersection_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_bounded ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_discrete ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_disjoint_from_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_empty ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_topologically_closed ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_is_universe ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_map_space_dimensions ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  maps[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_maximize ( ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_maximize_with_point ( ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_minimize ( ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_minimize_with_point ( ppl_const_Pointset_Powerset_NNC_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_NNC_Polyhedron_OK ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_omega_reduce ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_pairwise_reduce ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_congruence ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_congruences ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Congruence_System_t  cs 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_constraint ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_refine_with_constraints ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Constraint_System_t  cs 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Congruence ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Congruence_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Constraint ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Constraint_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_relation_with_Generator ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_const_Generator_t  c 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_remove_higher_space_dimensions ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  d 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_remove_space_dimensions ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_simplify_using_context_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_size ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_space_dimension ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type m 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_strictly_contains_Pointset_Powerset_NNC_Polyhedron ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_time_elapse_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_topological_closure_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph  )  [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_total_memory_in_bytes ( ppl_const_Pointset_Powerset_NNC_Polyhedron_t  ps,
size_t *  sz 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_unconstrain_space_dimension ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  var 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_unconstrain_space_dimensions ( ppl_Pointset_Powerset_NNC_Polyhedron_t  ph,
ppl_dimension_type  ds[],
size_t  n 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_upper_bound_assign ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_t  y 
) [related]
int ppl_Pointset_Powerset_NNC_Polyhedron_upper_bound_assign_if_exact ( ppl_Pointset_Powerset_NNC_Polyhedron_t  x,
ppl_const_Pointset_Powerset_NNC_Polyhedron_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