Related Functions |
(Note that these are not member functions.)
|
| int | ppl_delete_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_space_dimension (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_dimension_type d, int empty) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_Pointset_Powerset_BD_Shape_long_double (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_BD_Shape_long_double (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_Pointset_Powerset_BD_Shape_long_double_with_complexity (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_BD_Shape_long_double_with_complexity (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_Constraint_System (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_Constraint_System_t cs) |
| int | ppl_new_Pointset_Powerset_BD_Shape_long_double_from_Congruence_System (ppl_Pointset_Powerset_BD_Shape_long_double_t *pph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_space_dimension (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type *m) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_affine_dimension (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type *m) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_relation_with_Constraint (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_relation_with_Generator (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Generator_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_relation_with_Congruence (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_empty (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_universe (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_bounded (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_contains_integer_point (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_topologically_closed (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_discrete (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_topological_closure_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_pairwise_reduce (ppl_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_omega_reduce (ppl_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_bounds_from_above (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_bounds_from_below (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_maximize (ppl_const_Pointset_Powerset_BD_Shape_long_double_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_long_double_minimize (ppl_const_Pointset_Powerset_BD_Shape_long_double_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_long_double_maximize_with_point (ppl_const_Pointset_Powerset_BD_Shape_long_double_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_long_double_minimize_with_point (ppl_const_Pointset_Powerset_BD_Shape_long_double_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_long_double_contains_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_strictly_contains_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_is_disjoint_from_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_geometrically_covers_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_geometrically_equals_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_equals_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_OK (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ph) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_constraint (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_congruence (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_constraints (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_congruences (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_refine_with_constraint (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_refine_with_congruence (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_refine_with_constraints (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_refine_with_congruences (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_intersection_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_upper_bound_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_difference_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_concatenate_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_time_elapse_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_upper_bound_assign_if_exact (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_simplify_using_context_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_constrains (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type var) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_unconstrain_space_dimension (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type var) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_unconstrain_space_dimensions (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_affine_image (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_affine_preimage (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_bounded_affine_image (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_bounded_affine_preimage (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_generalized_affine_image (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_generalized_affine_preimage (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_generalized_affine_image_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_generalized_affine_preimage_lhs_rhs (ppl_Pointset_Powerset_BD_Shape_long_double_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_long_double_add_space_dimensions_and_embed (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_space_dimensions_and_project (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_remove_space_dimensions (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_remove_higher_space_dimensions (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_expand_space_dimension (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type d, ppl_dimension_type m) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_fold_space_dimensions (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_map_space_dimensions (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type maps[], size_t n) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_drop_some_non_integer_points (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_drop_some_non_integer_points_2 (ppl_Pointset_Powerset_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n, int complexity) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_external_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ps, size_t *sz) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_total_memory_in_bytes (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ps, size_t *sz) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_size (ppl_const_Pointset_Powerset_BD_Shape_long_double_t ps, size_t *sz) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_add_disjunct (ppl_Pointset_Powerset_BD_Shape_long_double_t ps, ppl_const_BD_Shape_long_double_t d) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_drop_disjunct (ppl_Pointset_Powerset_BD_Shape_long_double_t ps, ppl_const_Pointset_Powerset_BD_Shape_long_double_iterator_t cit, ppl_Pointset_Powerset_BD_Shape_long_double_iterator_t it) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_drop_disjuncts (ppl_Pointset_Powerset_BD_Shape_long_double_t ps, ppl_const_Pointset_Powerset_BD_Shape_long_double_iterator_t first, ppl_const_Pointset_Powerset_BD_Shape_long_double_iterator_t last) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_BHZ03_H79_BHMZ05_widening_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_BHZ03_H79_H79_widening_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_BGP99_BHMZ05_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y, int disjuncts) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_BGP99_H79_extrapolation_assign (ppl_Pointset_Powerset_BD_Shape_long_double_t x, ppl_const_Pointset_Powerset_BD_Shape_long_double_t y, int disjuncts) |
| int | ppl_io_print_Pointset_Powerset_BD_Shape_long_double (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x) |
| int | ppl_io_fprint_Pointset_Powerset_BD_Shape_long_double (FILE *stream, ppl_const_Pointset_Powerset_BD_Shape_long_double_t x) |
| int | ppl_io_asprint_Pointset_Powerset_BD_Shape_long_double (char **strp, ppl_const_Pointset_Powerset_BD_Shape_long_double_t x) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_ascii_dump (ppl_const_Pointset_Powerset_BD_Shape_long_double_t x, FILE *stream) |
| int | ppl_Pointset_Powerset_BD_Shape_long_double_ascii_load (ppl_Pointset_Powerset_BD_Shape_long_double_t x, FILE *stream) |