Types and functions for ppl_BD_Shape_long_double_tag. More...
#include <ppl_c.h>
Related Functions | |
(Note that these are not member functions.) | |
| int | ppl_delete_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_new_BD_Shape_long_double_from_space_dimension (ppl_BD_Shape_long_double_t *pph, ppl_dimension_type d, int empty) |
| int | ppl_new_BD_Shape_long_double_from_Int8_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Int8_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Int16_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Int16_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Int32_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Int32_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Int64_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Int64_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Uint8_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint8_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Uint16_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint16_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Uint32_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint32_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Uint64_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint64_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Z_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Z_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Rational_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Rational_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int8_t (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int8_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int16_t (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int16_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int32_t (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int32_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int64_t (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int64_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_mpz_class (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_mpz_class_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_mpq_class (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_mpq_class_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int8_t (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int16_t (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int32_t (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int64_t (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpz_class (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpq_class (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph) |
| int | ppl_new_BD_Shape_long_double_from_C_Polyhedron (ppl_BD_Shape_long_double_t *pph, ppl_const_Polyhedron_t ph) |
| int | ppl_new_BD_Shape_long_double_from_NNC_Polyhedron (ppl_BD_Shape_long_double_t *pph, ppl_const_Polyhedron_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Grid (ppl_BD_Shape_long_double_t *pph, ppl_const_Grid_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Float_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Float_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_float (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_float_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_float (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_float_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Double_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Double_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_double (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_double_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_double (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_double_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Long_Double_Box (ppl_BD_Shape_long_double_t *pph, ppl_const_Long_Double_Box_t ph) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_long_double (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_long_double (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_long_double_t ph) |
| int | ppl_new_BD_Shape_long_double_from_Int8_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Int8_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Int16_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Int16_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Int32_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Int32_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Int64_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Int64_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Uint8_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint8_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Uint16_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint16_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Uint32_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint32_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Uint64_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Uint64_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Z_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Z_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Rational_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Rational_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int8_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int16_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int32_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_int64_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_mpz_class_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_mpq_class_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int8_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int16_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int32_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int64_t_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpz_class_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpq_class_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_C_Polyhedron_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_NNC_Polyhedron_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Polyhedron_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Grid_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Grid_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Float_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Float_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_float_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_float_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_float_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Double_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Double_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_double_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_double_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_double_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Long_Double_Box_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Long_Double_Box_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_BD_Shape_long_double_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Octagonal_Shape_long_double_with_complexity (ppl_BD_Shape_long_double_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity) |
| int | ppl_new_BD_Shape_long_double_from_Constraint_System (ppl_BD_Shape_long_double_t *pph, ppl_const_Constraint_System_t cs) |
| int | ppl_new_BD_Shape_long_double_from_Congruence_System (ppl_BD_Shape_long_double_t *pph, ppl_const_Congruence_System_t cs) |
| int | ppl_new_BD_Shape_long_double_from_Generator_System (ppl_BD_Shape_long_double_t *pph, ppl_const_Generator_System_t cs) |
| int | ppl_BD_Shape_long_double_space_dimension (ppl_const_BD_Shape_long_double_t ph, ppl_dimension_type *m) |
| int | ppl_BD_Shape_long_double_affine_dimension (ppl_const_BD_Shape_long_double_t ph, ppl_dimension_type *m) |
| int | ppl_BD_Shape_long_double_relation_with_Constraint (ppl_const_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_BD_Shape_long_double_relation_with_Generator (ppl_const_BD_Shape_long_double_t ph, ppl_const_Generator_t c) |
| int | ppl_BD_Shape_long_double_relation_with_Congruence (ppl_const_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_BD_Shape_long_double_get_constraints (ppl_const_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t *pcs) |
| int | ppl_BD_Shape_long_double_get_congruences (ppl_const_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t *pcs) |
| int | ppl_BD_Shape_long_double_get_minimized_constraints (ppl_const_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t *pcs) |
| int | ppl_BD_Shape_long_double_get_minimized_congruences (ppl_const_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t *pcs) |
| int | ppl_BD_Shape_long_double_is_empty (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_is_universe (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_is_bounded (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_contains_integer_point (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_is_topologically_closed (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_is_discrete (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_topological_closure_assign (ppl_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_bounds_from_above (ppl_const_BD_Shape_long_double_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_BD_Shape_long_double_bounds_from_below (ppl_const_BD_Shape_long_double_t ph, ppl_const_Linear_Expression_t le) |
| int | ppl_BD_Shape_long_double_maximize (ppl_const_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_BD_Shape_long_double_minimize (ppl_const_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_BD_Shape_long_double_maximize_with_point (ppl_const_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_BD_Shape_long_double_minimize_with_point (ppl_const_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_BD_Shape_long_double_frequency (ppl_const_BD_Shape_long_double_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_fn, ppl_Coefficient_t ext_fd, ppl_Coefficient_t ext_vn, ppl_Coefficient_t ext_vd) |
| int | ppl_BD_Shape_long_double_contains_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_strictly_contains_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_is_disjoint_from_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_equals_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_OK (ppl_const_BD_Shape_long_double_t ph) |
| int | ppl_BD_Shape_long_double_add_constraint (ppl_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_BD_Shape_long_double_add_congruence (ppl_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_BD_Shape_long_double_add_constraints (ppl_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_add_congruences (ppl_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_BD_Shape_long_double_refine_with_constraint (ppl_BD_Shape_long_double_t ph, ppl_const_Constraint_t c) |
| int | ppl_BD_Shape_long_double_refine_with_congruence (ppl_BD_Shape_long_double_t ph, ppl_const_Congruence_t c) |
| int | ppl_BD_Shape_long_double_refine_with_constraints (ppl_BD_Shape_long_double_t ph, ppl_const_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_refine_with_congruences (ppl_BD_Shape_long_double_t ph, ppl_const_Congruence_System_t cs) |
| int | ppl_BD_Shape_long_double_intersection_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_upper_bound_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_difference_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_concatenate_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_time_elapse_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_upper_bound_assign_if_exact (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_simplify_using_context_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_constrains (ppl_BD_Shape_long_double_t ph, ppl_dimension_type var) |
| int | ppl_BD_Shape_long_double_unconstrain_space_dimension (ppl_BD_Shape_long_double_t ph, ppl_dimension_type var) |
| int | ppl_BD_Shape_long_double_unconstrain_space_dimensions (ppl_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_BD_Shape_long_double_affine_image (ppl_BD_Shape_long_double_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_BD_Shape_long_double_affine_preimage (ppl_BD_Shape_long_double_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d) |
| int | ppl_BD_Shape_long_double_bounded_affine_image (ppl_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_BD_Shape_long_double_bounded_affine_preimage (ppl_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_BD_Shape_long_double_generalized_affine_image (ppl_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_BD_Shape_long_double_generalized_affine_preimage (ppl_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_BD_Shape_long_double_generalized_affine_image_lhs_rhs (ppl_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_BD_Shape_long_double_generalized_affine_preimage_lhs_rhs (ppl_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_BD_Shape_long_double_add_space_dimensions_and_embed (ppl_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_BD_Shape_long_double_add_space_dimensions_and_project (ppl_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_BD_Shape_long_double_remove_space_dimensions (ppl_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n) |
| int | ppl_BD_Shape_long_double_remove_higher_space_dimensions (ppl_BD_Shape_long_double_t ph, ppl_dimension_type d) |
| int | ppl_BD_Shape_long_double_expand_space_dimension (ppl_BD_Shape_long_double_t ph, ppl_dimension_type d, ppl_dimension_type m) |
| int | ppl_BD_Shape_long_double_fold_space_dimensions (ppl_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d) |
| int | ppl_BD_Shape_long_double_map_space_dimensions (ppl_BD_Shape_long_double_t ph, ppl_dimension_type maps[], size_t n) |
| int | ppl_BD_Shape_long_double_drop_some_non_integer_points (ppl_BD_Shape_long_double_t ph, int complexity) |
| int | ppl_BD_Shape_long_double_drop_some_non_integer_points_2 (ppl_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n, int complexity) |
| int | ppl_BD_Shape_long_double_external_memory_in_bytes (ppl_const_BD_Shape_long_double_t ps, size_t *sz) |
| int | ppl_BD_Shape_long_double_total_memory_in_bytes (ppl_const_BD_Shape_long_double_t ps, size_t *sz) |
| int | ppl_BD_Shape_long_double_BHMZ05_widening_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, unsigned *tp) |
| int | ppl_BD_Shape_long_double_H79_widening_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, unsigned *tp) |
| int | ppl_BD_Shape_long_double_BHMZ05_widening_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_H79_widening_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_widening_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, unsigned *tp) |
| int | ppl_BD_Shape_long_double_widening_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_limited_BHMZ05_extrapolation_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| int | ppl_BD_Shape_long_double_limited_H79_extrapolation_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| int | ppl_BD_Shape_long_double_limited_CC76_extrapolation_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs, unsigned *tp) |
| int | ppl_BD_Shape_long_double_limited_BHMZ05_extrapolation_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_limited_H79_extrapolation_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_limited_CC76_extrapolation_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_const_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_CC76_extrapolation_assign_with_tokens (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, unsigned *tp) |
| int | ppl_BD_Shape_long_double_CC76_extrapolation_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_CC76_narrowing_assign (ppl_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y) |
| int | ppl_BD_Shape_long_double_linear_partition (ppl_const_BD_Shape_long_double_t x, ppl_const_BD_Shape_long_double_t y, ppl_BD_Shape_long_double_t *p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t *p_rest) |
| int | ppl_BD_Shape_long_double_wrap_assign (ppl_BD_Shape_long_double_t ph, ppl_dimension_type ds[], size_t n, enum ppl_enum_Bounded_Integer_Type_Width w, enum ppl_enum_Bounded_Integer_Type_Representation r, enum ppl_enum_Bounded_Integer_Type_Overflow o, const ppl_const_Constraint_System_t *pcs, unsigned complexity_threshold, int wrap_individually) |
| int | ppl_new_BD_Shape_long_double_recycle_Constraint_System (ppl_BD_Shape_long_double_t *pph, ppl_Constraint_System_t cs) |
| int | ppl_new_BD_Shape_long_double_recycle_Congruence_System (ppl_BD_Shape_long_double_t *pph, ppl_Congruence_System_t cs) |
| int | ppl_new_BD_Shape_long_double_recycle_Generator_System (ppl_BD_Shape_long_double_t *pph, ppl_Generator_System_t cs) |
| int | ppl_assign_BD_Shape_long_double_from_BD_Shape_long_double (ppl_BD_Shape_long_double_t dst, ppl_const_BD_Shape_long_double_t src) |
| int | ppl_BD_Shape_long_double_add_recycled_constraints (ppl_BD_Shape_long_double_t ph, ppl_Constraint_System_t cs) |
| int | ppl_BD_Shape_long_double_add_recycled_congruences (ppl_BD_Shape_long_double_t ph, ppl_Congruence_System_t cs) |
| int | ppl_termination_test_MS_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset) |
| int | ppl_termination_test_PR_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset) |
| int | ppl_one_affine_ranking_function_MS_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset, ppl_Generator_t point) |
| int | ppl_all_affine_ranking_functions_MS_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_BD_Shape_long_double (ppl_const_BD_Shape_long_double_t pset, ppl_Polyhedron_t ph) |
| int | ppl_termination_test_MS_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after) |
| int | ppl_termination_test_PR_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after) |
| int | ppl_one_affine_ranking_function_MS_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after, ppl_Generator_t point) |
| int | ppl_one_affine_ranking_function_PR_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after, ppl_Generator_t point) |
| int | ppl_all_affine_ranking_functions_MS_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after, ppl_Polyhedron_t ph) |
| int | ppl_all_affine_ranking_functions_PR_BD_Shape_long_double_2 (ppl_const_BD_Shape_long_double_t pset_before, ppl_const_BD_Shape_long_double_t pset_after, ppl_Polyhedron_t ph) |
Types and functions for ppl_BD_Shape_long_double_tag.
| int ppl_all_affine_ranking_functions_MS_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset, | |
| ppl_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_all_affine_ranking_functions_MS_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after, | |||
| ppl_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_all_affine_ranking_functions_PR_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset, | |
| ppl_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_all_affine_ranking_functions_PR_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after, | |||
| ppl_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_assign_BD_Shape_long_double_from_BD_Shape_long_double | ( | ppl_BD_Shape_long_double_t | dst, | |
| ppl_const_BD_Shape_long_double_t | src | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_congruence | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_congruences | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_constraint | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_constraints | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_recycled_congruences | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_recycled_constraints | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_space_dimensions_and_embed | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_add_space_dimensions_and_project | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_affine_dimension | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_affine_image | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | var, | |||
| ppl_const_Linear_Expression_t | le, | |||
| ppl_const_Coefficient_t | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_affine_preimage | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | var, | |||
| ppl_const_Linear_Expression_t | le, | |||
| ppl_const_Coefficient_t | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_BHMZ05_widening_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_BHMZ05_widening_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_bounded_affine_image | ( | ppl_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_bounded_affine_preimage | ( | ppl_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_bounds_from_above | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_bounds_from_below | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | le | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_CC76_extrapolation_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_CC76_extrapolation_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_CC76_narrowing_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_concatenate_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_constrains | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | var | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_contains_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_contains_integer_point | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_difference_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_drop_some_non_integer_points | ( | ppl_BD_Shape_long_double_t | ph, | |
| int | complexity | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_drop_some_non_integer_points_2 | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_equals_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_expand_space_dimension | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | d, | |||
| ppl_dimension_type | m | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_external_memory_in_bytes | ( | ppl_const_BD_Shape_long_double_t | ps, | |
| size_t * | sz | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_fold_space_dimensions | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n, | |||
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_frequency | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | le, | |||
| ppl_Coefficient_t | ext_fn, | |||
| ppl_Coefficient_t | ext_fd, | |||
| ppl_Coefficient_t | ext_vn, | |||
| ppl_Coefficient_t | ext_vd | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_generalized_affine_image | ( | ppl_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_generalized_affine_image_lhs_rhs | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | lhs, | |||
| enum ppl_enum_Constraint_Type | relsym, | |||
| ppl_const_Linear_Expression_t | rhs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_generalized_affine_preimage | ( | ppl_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_generalized_affine_preimage_lhs_rhs | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | lhs, | |||
| enum ppl_enum_Constraint_Type | relsym, | |||
| ppl_const_Linear_Expression_t | rhs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_get_congruences | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_System_t * | pcs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_get_constraints | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_System_t * | pcs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_get_minimized_congruences | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_System_t * | pcs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_get_minimized_constraints | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_System_t * | pcs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_H79_widening_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_H79_widening_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_intersection_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_is_bounded | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_is_discrete | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_is_disjoint_from_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_is_empty | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_is_topologically_closed | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_is_universe | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_limited_BHMZ05_extrapolation_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_limited_BHMZ05_extrapolation_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_limited_CC76_extrapolation_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_limited_CC76_extrapolation_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_limited_H79_extrapolation_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_limited_H79_extrapolation_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_const_Constraint_System_t | cs, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_linear_partition | ( | ppl_const_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| ppl_BD_Shape_long_double_t * | p_inters, | |||
| ppl_Pointset_Powerset_NNC_Polyhedron_t * | p_rest | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_map_space_dimensions | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | maps[], | |||
| size_t | n | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_maximize | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | le, | |||
| ppl_Coefficient_t | ext_n, | |||
| ppl_Coefficient_t | ext_d, | |||
| int * | poptimum | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_maximize_with_point | ( | ppl_const_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_minimize | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Linear_Expression_t | le, | |||
| ppl_Coefficient_t | ext_n, | |||
| ppl_Coefficient_t | ext_d, | |||
| int * | poptimum | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_minimize_with_point | ( | ppl_const_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 | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_OK | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_refine_with_congruence | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_refine_with_congruences | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_refine_with_constraint | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_refine_with_constraints | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_relation_with_Congruence | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Congruence_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_relation_with_Constraint | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Constraint_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_relation_with_Generator | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_const_Generator_t | c | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_remove_higher_space_dimensions | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | d | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_remove_space_dimensions | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_simplify_using_context_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_space_dimension | ( | ppl_const_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type * | m | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_strictly_contains_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_time_elapse_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_topological_closure_assign | ( | ppl_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_BD_Shape_long_double_total_memory_in_bytes | ( | ppl_const_BD_Shape_long_double_t | ps, | |
| size_t * | sz | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_unconstrain_space_dimension | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | var | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_unconstrain_space_dimensions | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_upper_bound_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_upper_bound_assign_if_exact | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_widening_assign | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_widening_assign_with_tokens | ( | ppl_BD_Shape_long_double_t | x, | |
| ppl_const_BD_Shape_long_double_t | y, | |||
| unsigned * | tp | |||
| ) | [related] |
| int ppl_BD_Shape_long_double_wrap_assign | ( | ppl_BD_Shape_long_double_t | ph, | |
| ppl_dimension_type | ds[], | |||
| size_t | n, | |||
| enum ppl_enum_Bounded_Integer_Type_Width | w, | |||
| enum ppl_enum_Bounded_Integer_Type_Representation | r, | |||
| enum ppl_enum_Bounded_Integer_Type_Overflow | o, | |||
| const ppl_const_Constraint_System_t * | pcs, | |||
| unsigned | complexity_threshold, | |||
| int | wrap_individually | |||
| ) | [related] |
| int ppl_delete_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | ph | ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_double | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_double_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_double_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_double_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_float | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_float_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_float_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_float_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int16_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int16_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int16_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int16_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int32_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int32_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int32_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int32_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int64_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int64_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int64_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int64_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int8_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int8_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_int8_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_int8_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_long_double | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_long_double_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_long_double_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_long_double_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_mpq_class | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_mpq_class_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_mpq_class_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_mpq_class_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_mpz_class | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_mpz_class_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_BD_Shape_mpz_class_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_BD_Shape_mpz_class_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_C_Polyhedron | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_C_Polyhedron_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Polyhedron_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Congruence_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Constraint_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Double_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Double_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Double_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Double_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Float_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Float_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Float_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Float_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Generator_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Generator_System_t | cs | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Grid | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Grid_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Grid_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Grid_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int16_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int16_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int16_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int16_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int32_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int32_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int32_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int32_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int64_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int64_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int64_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int64_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int8_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int8_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Int8_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Int8_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Long_Double_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Long_Double_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Long_Double_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Long_Double_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_NNC_Polyhedron | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Polyhedron_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_NNC_Polyhedron_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Polyhedron_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_double | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_double_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_double_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_double_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_float | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_float_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_float_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_float_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int16_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int16_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int16_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int16_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int32_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int32_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int32_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int32_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int64_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int64_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int64_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int64_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int8_t | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int8_t_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_int8_t_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_int8_t_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_long_double | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_long_double_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_long_double_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_long_double_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpq_class | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_mpq_class_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpq_class_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_mpq_class_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpz_class | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_mpz_class_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Octagonal_Shape_mpz_class_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Octagonal_Shape_mpz_class_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Rational_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Rational_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Rational_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Rational_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_space_dimension | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_dimension_type | d, | |||
| int | empty | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint16_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint16_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint16_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint16_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint32_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint32_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint32_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint32_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint64_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint64_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint64_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint64_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint8_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint8_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Uint8_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Uint8_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Z_Box | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Z_Box_t | ph | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_from_Z_Box_with_complexity | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_const_Z_Box_t | ph, | |||
| int | complexity | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_recycle_Congruence_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_Congruence_System_t | cs | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_recycle_Constraint_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_Constraint_System_t | cs | |||
| ) | [related] |
| int ppl_new_BD_Shape_long_double_recycle_Generator_System | ( | ppl_BD_Shape_long_double_t * | pph, | |
| ppl_Generator_System_t | cs | |||
| ) | [related] |
| int ppl_one_affine_ranking_function_MS_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset, | |
| ppl_Generator_t | point | |||
| ) | [related] |
| int ppl_one_affine_ranking_function_MS_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after, | |||
| ppl_Generator_t | point | |||
| ) | [related] |
| int ppl_one_affine_ranking_function_PR_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset, | |
| ppl_Generator_t | point | |||
| ) | [related] |
| int ppl_one_affine_ranking_function_PR_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after, | |||
| ppl_Generator_t | point | |||
| ) | [related] |
| int ppl_termination_test_MS_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset | ) | [related] |
| int ppl_termination_test_MS_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after | |||
| ) | [related] |
| int ppl_termination_test_PR_BD_Shape_long_double | ( | ppl_const_BD_Shape_long_double_t | pset | ) | [related] |
| int ppl_termination_test_PR_BD_Shape_long_double_2 | ( | ppl_const_BD_Shape_long_double_t | pset_before, | |
| ppl_const_BD_Shape_long_double_t | pset_after | |||
| ) | [related] |
1.6.3