ppl_Pointset_Powerset_BD_Shape_mpq_class_tag Member List

This is the complete list of members for ppl_Pointset_Powerset_BD_Shape_mpq_class_tag, including all inherited members.
ppl_delete_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_BD_Shape_mpq_class(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_BD_Shape_mpq_class_with_complexity(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_Congruence_System(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_Congruence_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_Constraint_System(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_Constraint_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_Pointset_Powerset_BD_Shape_mpq_class(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_Pointset_Powerset_BD_Shape_mpq_class_with_complexity(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, int complexity)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_new_Pointset_Powerset_BD_Shape_mpq_class_from_space_dimension(ppl_Pointset_Powerset_BD_Shape_mpq_class_t *pph, ppl_dimension_type d, int empty)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_congruence(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Congruence_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_congruences(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Congruence_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_constraint(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Constraint_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_constraints(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Constraint_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_disjunct(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ps, ppl_const_BD_Shape_mpq_class_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_space_dimensions_and_embed(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_add_space_dimensions_and_project(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_affine_dimension(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type *m)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_affine_image(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_affine_preimage(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_BGP99_BHMZ05_extrapolation_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y, int disjuncts)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_BGP99_H79_extrapolation_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y, int disjuncts)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_BHZ03_H79_BHMZ05_widening_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_BHZ03_H79_H79_widening_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_bounded_affine_image(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_bounded_affine_preimage(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_bounds_from_above(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_bounds_from_below(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_concatenate_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_constrains(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_contains_integer_point(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_contains_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_difference_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_drop_disjunct(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ps, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_iterator_t cit, ppl_Pointset_Powerset_BD_Shape_mpq_class_iterator_t it)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_drop_disjuncts(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ps, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_iterator_t first, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_iterator_t last)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_drop_some_non_integer_points(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, int complexity)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_drop_some_non_integer_points_2(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type ds[], size_t n, int complexity)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_equals_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_expand_space_dimension(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type d, ppl_dimension_type m)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_external_memory_in_bytes(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ps, size_t *sz)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_fold_space_dimensions(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_generalized_affine_image(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_generalized_affine_image_lhs_rhs(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_generalized_affine_preimage(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_generalized_affine_preimage_lhs_rhs(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_geometrically_covers_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_geometrically_equals_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_intersection_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_bounded(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_discrete(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_disjoint_from_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_empty(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_topologically_closed(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_is_universe(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_map_space_dimensions(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type maps[], size_t n)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_maximize(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_maximize_with_point(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_minimize(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_minimize_with_point(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_OK(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_omega_reduce(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_pairwise_reduce(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_refine_with_congruence(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Congruence_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_refine_with_congruences(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Congruence_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_refine_with_constraint(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Constraint_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_refine_with_constraints(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Constraint_System_t cs)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_relation_with_Congruence(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Congruence_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_relation_with_Constraint(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Constraint_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_relation_with_Generator(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_const_Generator_t c)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_remove_higher_space_dimensions(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type d)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_remove_space_dimensions(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type ds[], size_t n)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_simplify_using_context_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_size(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ps, size_t *sz)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_space_dimension(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type *m)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_strictly_contains_Pointset_Powerset_BD_Shape_mpq_class(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_time_elapse_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_topological_closure_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_total_memory_in_bytes(ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t ps, size_t *sz)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_unconstrain_space_dimension(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type var)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_unconstrain_space_dimensions(ppl_Pointset_Powerset_BD_Shape_mpq_class_t ph, ppl_dimension_type ds[], size_t n)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_upper_bound_assign(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
ppl_Pointset_Powerset_BD_Shape_mpq_class_upper_bound_assign_if_exact(ppl_Pointset_Powerset_BD_Shape_mpq_class_t x, ppl_const_Pointset_Powerset_BD_Shape_mpq_class_t y)ppl_Pointset_Powerset_BD_Shape_mpq_class_tag [related]
Generated on Sun Feb 27 16:28:34 2011 for PPL Configured C Language Interface by  doxygen 1.6.3