Types and functions for ppl_Uint64_Box_tag. More...

#include <ppl_c.h>

Related Functions
(Note that these are not member functions.)
int	ppl_delete_Uint64_Box (ppl_const_Uint64_Box_t ph)

int	ppl_new_Uint64_Box_from_space_dimension (ppl_Uint64_Box_t *pph, ppl_dimension_type d, int empty)

int	ppl_new_Uint64_Box_from_Int8_Box (ppl_Uint64_Box_t *pph, ppl_const_Int8_Box_t ph)

int	ppl_new_Uint64_Box_from_Int16_Box (ppl_Uint64_Box_t *pph, ppl_const_Int16_Box_t ph)

int	ppl_new_Uint64_Box_from_Int32_Box (ppl_Uint64_Box_t *pph, ppl_const_Int32_Box_t ph)

int	ppl_new_Uint64_Box_from_Int64_Box (ppl_Uint64_Box_t *pph, ppl_const_Int64_Box_t ph)

int	ppl_new_Uint64_Box_from_Uint8_Box (ppl_Uint64_Box_t *pph, ppl_const_Uint8_Box_t ph)

int	ppl_new_Uint64_Box_from_Uint16_Box (ppl_Uint64_Box_t *pph, ppl_const_Uint16_Box_t ph)

int	ppl_new_Uint64_Box_from_Uint32_Box (ppl_Uint64_Box_t *pph, ppl_const_Uint32_Box_t ph)

int	ppl_new_Uint64_Box_from_Uint64_Box (ppl_Uint64_Box_t *pph, ppl_const_Uint64_Box_t ph)

int	ppl_new_Uint64_Box_from_Z_Box (ppl_Uint64_Box_t *pph, ppl_const_Z_Box_t ph)

int	ppl_new_Uint64_Box_from_Rational_Box (ppl_Uint64_Box_t *pph, ppl_const_Rational_Box_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_int8_t (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int8_t_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_int16_t (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int16_t_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_int32_t (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int32_t_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_int64_t (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int64_t_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_mpz_class (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_mpz_class_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_mpq_class (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_mpq_class_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int8_t (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int16_t (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int32_t (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int64_t (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_mpz_class (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_mpq_class (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph)

int	ppl_new_Uint64_Box_from_C_Polyhedron (ppl_Uint64_Box_t *pph, ppl_const_Polyhedron_t ph)

int	ppl_new_Uint64_Box_from_NNC_Polyhedron (ppl_Uint64_Box_t *pph, ppl_const_Polyhedron_t ph)

int	ppl_new_Uint64_Box_from_Grid (ppl_Uint64_Box_t *pph, ppl_const_Grid_t ph)

int	ppl_new_Uint64_Box_from_Float_Box (ppl_Uint64_Box_t *pph, ppl_const_Float_Box_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_float (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_float_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_float (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_float_t ph)

int	ppl_new_Uint64_Box_from_Double_Box (ppl_Uint64_Box_t *pph, ppl_const_Double_Box_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_double (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_double_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_double (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_double_t ph)

int	ppl_new_Uint64_Box_from_Long_Double_Box (ppl_Uint64_Box_t *pph, ppl_const_Long_Double_Box_t ph)

int	ppl_new_Uint64_Box_from_BD_Shape_long_double (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_long_double_t ph)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_long_double (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_long_double_t ph)

int	ppl_new_Uint64_Box_from_Int8_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Int8_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Int16_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Int16_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Int32_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Int32_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Int64_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Int64_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Uint8_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Uint8_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Uint16_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Uint16_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Uint32_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Uint32_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Uint64_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Uint64_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Z_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Z_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Rational_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Rational_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_int8_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int8_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_int16_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int16_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_int32_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int32_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_int64_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_int64_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_mpz_class_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_mpz_class_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_mpq_class_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_mpq_class_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int8_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int8_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int16_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int16_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int32_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int32_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_int64_t_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_int64_t_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_mpz_class_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_mpz_class_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_mpq_class_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_mpq_class_t ph, int complexity)

int	ppl_new_Uint64_Box_from_C_Polyhedron_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Polyhedron_t ph, int complexity)

int	ppl_new_Uint64_Box_from_NNC_Polyhedron_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Polyhedron_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Grid_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Grid_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Float_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Float_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_float_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_float_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_float_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_float_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Double_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Double_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_double_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_double_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_double_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_double_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Long_Double_Box_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Long_Double_Box_t ph, int complexity)

int	ppl_new_Uint64_Box_from_BD_Shape_long_double_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_BD_Shape_long_double_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Octagonal_Shape_long_double_with_complexity (ppl_Uint64_Box_t *pph, ppl_const_Octagonal_Shape_long_double_t ph, int complexity)

int	ppl_new_Uint64_Box_from_Constraint_System (ppl_Uint64_Box_t *pph, ppl_const_Constraint_System_t cs)

int	ppl_new_Uint64_Box_from_Congruence_System (ppl_Uint64_Box_t *pph, ppl_const_Congruence_System_t cs)

int	ppl_new_Uint64_Box_from_Generator_System (ppl_Uint64_Box_t *pph, ppl_const_Generator_System_t cs)

int	ppl_Uint64_Box_space_dimension (ppl_const_Uint64_Box_t ph, ppl_dimension_type *m)

int	ppl_Uint64_Box_affine_dimension (ppl_const_Uint64_Box_t ph, ppl_dimension_type *m)

int	ppl_Uint64_Box_relation_with_Constraint (ppl_const_Uint64_Box_t ph, ppl_const_Constraint_t c)

int	ppl_Uint64_Box_relation_with_Generator (ppl_const_Uint64_Box_t ph, ppl_const_Generator_t c)

int	ppl_Uint64_Box_relation_with_Congruence (ppl_const_Uint64_Box_t ph, ppl_const_Congruence_t c)

int	ppl_Uint64_Box_get_constraints (ppl_const_Uint64_Box_t ph, ppl_const_Constraint_System_t *pcs)

int	ppl_Uint64_Box_get_congruences (ppl_const_Uint64_Box_t ph, ppl_const_Congruence_System_t *pcs)

int	ppl_Uint64_Box_get_minimized_constraints (ppl_const_Uint64_Box_t ph, ppl_const_Constraint_System_t *pcs)

int	ppl_Uint64_Box_get_minimized_congruences (ppl_const_Uint64_Box_t ph, ppl_const_Congruence_System_t *pcs)

int	ppl_Uint64_Box_is_empty (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_is_universe (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_is_bounded (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_contains_integer_point (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_is_topologically_closed (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_is_discrete (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_topological_closure_assign (ppl_Uint64_Box_t ph)

int	ppl_Uint64_Box_bounds_from_above (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le)

int	ppl_Uint64_Box_bounds_from_below (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le)

int	ppl_Uint64_Box_get_upper_bound (ppl_Uint64_Box_t ps, ppl_dimension_type var, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *pclosed)

int	ppl_Uint64_Box_get_lower_bound (ppl_Uint64_Box_t ps, ppl_dimension_type var, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *pclosed)

int	ppl_Uint64_Box_maximize (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)

int	ppl_Uint64_Box_minimize (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum)

int	ppl_Uint64_Box_maximize_with_point (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)

int	ppl_Uint64_Box_minimize_with_point (ppl_const_Uint64_Box_t ph, ppl_const_Linear_Expression_t le, ppl_Coefficient_t ext_n, ppl_Coefficient_t ext_d, int *poptimum, ppl_Generator_t point)

int	ppl_Uint64_Box_frequency (ppl_const_Uint64_Box_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_Uint64_Box_contains_Uint64_Box (ppl_const_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_strictly_contains_Uint64_Box (ppl_const_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_is_disjoint_from_Uint64_Box (ppl_const_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_equals_Uint64_Box (ppl_const_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_OK (ppl_const_Uint64_Box_t ph)

int	ppl_Uint64_Box_add_constraint (ppl_Uint64_Box_t ph, ppl_const_Constraint_t c)

int	ppl_Uint64_Box_add_congruence (ppl_Uint64_Box_t ph, ppl_const_Congruence_t c)

int	ppl_Uint64_Box_add_constraints (ppl_Uint64_Box_t ph, ppl_const_Constraint_System_t cs)

int	ppl_Uint64_Box_add_congruences (ppl_Uint64_Box_t ph, ppl_const_Congruence_System_t cs)

int	ppl_Uint64_Box_refine_with_constraint (ppl_Uint64_Box_t ph, ppl_const_Constraint_t c)

int	ppl_Uint64_Box_refine_with_congruence (ppl_Uint64_Box_t ph, ppl_const_Congruence_t c)

int	ppl_Uint64_Box_refine_with_constraints (ppl_Uint64_Box_t ph, ppl_const_Constraint_System_t cs)

int	ppl_Uint64_Box_refine_with_congruences (ppl_Uint64_Box_t ph, ppl_const_Congruence_System_t cs)

int	ppl_Uint64_Box_intersection_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_upper_bound_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_difference_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_concatenate_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_time_elapse_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_upper_bound_assign_if_exact (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_simplify_using_context_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_constrains (ppl_Uint64_Box_t ph, ppl_dimension_type var)

int	ppl_Uint64_Box_unconstrain_space_dimension (ppl_Uint64_Box_t ph, ppl_dimension_type var)

int	ppl_Uint64_Box_unconstrain_space_dimensions (ppl_Uint64_Box_t ph, ppl_dimension_type ds[], size_t n)

int	ppl_Uint64_Box_affine_image (ppl_Uint64_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_affine_preimage (ppl_Uint64_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_bounded_affine_image (ppl_Uint64_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_bounded_affine_preimage (ppl_Uint64_Box_t ph, ppl_dimension_type var, ppl_const_Linear_Expression_t lb, ppl_const_Linear_Expression_t ub, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_generalized_affine_image (ppl_Uint64_Box_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_generalized_affine_preimage (ppl_Uint64_Box_t ph, ppl_dimension_type var, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t le, ppl_const_Coefficient_t d)

int	ppl_Uint64_Box_generalized_affine_image_lhs_rhs (ppl_Uint64_Box_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)

int	ppl_Uint64_Box_generalized_affine_preimage_lhs_rhs (ppl_Uint64_Box_t ph, ppl_const_Linear_Expression_t lhs, enum ppl_enum_Constraint_Type relsym, ppl_const_Linear_Expression_t rhs)

int	ppl_Uint64_Box_add_space_dimensions_and_embed (ppl_Uint64_Box_t ph, ppl_dimension_type d)

int	ppl_Uint64_Box_add_space_dimensions_and_project (ppl_Uint64_Box_t ph, ppl_dimension_type d)

int	ppl_Uint64_Box_remove_space_dimensions (ppl_Uint64_Box_t ph, ppl_dimension_type ds[], size_t n)

int	ppl_Uint64_Box_remove_higher_space_dimensions (ppl_Uint64_Box_t ph, ppl_dimension_type d)

int	ppl_Uint64_Box_expand_space_dimension (ppl_Uint64_Box_t ph, ppl_dimension_type d, ppl_dimension_type m)

int	ppl_Uint64_Box_fold_space_dimensions (ppl_Uint64_Box_t ph, ppl_dimension_type ds[], size_t n, ppl_dimension_type d)

int	ppl_Uint64_Box_map_space_dimensions (ppl_Uint64_Box_t ph, ppl_dimension_type maps[], size_t n)

int	ppl_Uint64_Box_drop_some_non_integer_points (ppl_Uint64_Box_t ph, int complexity)

int	ppl_Uint64_Box_drop_some_non_integer_points_2 (ppl_Uint64_Box_t ph, ppl_dimension_type ds[], size_t n, int complexity)

int	ppl_Uint64_Box_external_memory_in_bytes (ppl_const_Uint64_Box_t ps, size_t *sz)

int	ppl_Uint64_Box_total_memory_in_bytes (ppl_const_Uint64_Box_t ps, size_t *sz)

int	ppl_Uint64_Box_CC76_widening_assign_with_tokens (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y, unsigned *tp)

int	ppl_Uint64_Box_CC76_widening_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_widening_assign_with_tokens (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y, unsigned *tp)

int	ppl_Uint64_Box_widening_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_limited_CC76_extrapolation_assign_with_tokens (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y, ppl_const_Constraint_System_t cs, unsigned *tp)

int	ppl_Uint64_Box_limited_CC76_extrapolation_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y, ppl_const_Constraint_System_t cs)

int	ppl_Uint64_Box_CC76_narrowing_assign (ppl_Uint64_Box_t x, ppl_const_Uint64_Box_t y)

int	ppl_Uint64_Box_linear_partition (ppl_const_Uint64_Box_t x, ppl_const_Uint64_Box_t y, ppl_Uint64_Box_t p_inters, ppl_Pointset_Powerset_NNC_Polyhedron_t p_rest)

int	ppl_Uint64_Box_wrap_assign (ppl_Uint64_Box_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_Uint64_Box_recycle_Constraint_System (ppl_Uint64_Box_t *pph, ppl_Constraint_System_t cs)

int	ppl_new_Uint64_Box_recycle_Congruence_System (ppl_Uint64_Box_t *pph, ppl_Congruence_System_t cs)

int	ppl_new_Uint64_Box_recycle_Generator_System (ppl_Uint64_Box_t *pph, ppl_Generator_System_t cs)

int	ppl_assign_Uint64_Box_from_Uint64_Box (ppl_Uint64_Box_t dst, ppl_const_Uint64_Box_t src)

int	ppl_Uint64_Box_add_recycled_constraints (ppl_Uint64_Box_t ph, ppl_Constraint_System_t cs)

int	ppl_Uint64_Box_add_recycled_congruences (ppl_Uint64_Box_t ph, ppl_Congruence_System_t cs)

int	ppl_termination_test_MS_Uint64_Box (ppl_const_Uint64_Box_t pset)

int	ppl_termination_test_PR_Uint64_Box (ppl_const_Uint64_Box_t pset)

int	ppl_one_affine_ranking_function_MS_Uint64_Box (ppl_const_Uint64_Box_t pset, ppl_Generator_t point)

int	ppl_one_affine_ranking_function_PR_Uint64_Box (ppl_const_Uint64_Box_t pset, ppl_Generator_t point)

int	ppl_all_affine_ranking_functions_MS_Uint64_Box (ppl_const_Uint64_Box_t pset, ppl_Polyhedron_t ph)

int	ppl_all_affine_ranking_functions_PR_Uint64_Box (ppl_const_Uint64_Box_t pset, ppl_Polyhedron_t ph)

int	ppl_termination_test_MS_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after)

int	ppl_termination_test_PR_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after)

int	ppl_one_affine_ranking_function_MS_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after, ppl_Generator_t point)

int	ppl_one_affine_ranking_function_PR_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after, ppl_Generator_t point)

int	ppl_all_affine_ranking_functions_MS_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after, ppl_Polyhedron_t ph)

int	ppl_all_affine_ranking_functions_PR_Uint64_Box_2 (ppl_const_Uint64_Box_t pset_before, ppl_const_Uint64_Box_t pset_after, ppl_Polyhedron_t ph)

int	ppl_io_print_Uint64_Box (ppl_const_Uint64_Box_t x)

int	ppl_io_fprint_Uint64_Box (FILE *stream, ppl_const_Uint64_Box_t x)

int	ppl_io_asprint_Uint64_Box (char **strp, ppl_const_Uint64_Box_t x)

int	ppl_Uint64_Box_ascii_dump (ppl_const_Uint64_Box_t x, FILE *stream)

int	ppl_Uint64_Box_ascii_load (ppl_Uint64_Box_t x, FILE *stream)

Detailed Description

Types and functions for ppl_Uint64_Box_tag.

Friends And Related Function Documentation

int ppl_delete_Uint64_Box ( ppl_const_Uint64_Box_t ph )

int ppl_new_Uint64_Box_from_space_dimension	(	ppl_Uint64_Box_t *	pph,
		ppl_dimension_type	d,
		int	empty
	)

int ppl_new_Uint64_Box_from_Int8_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int8_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Int16_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int16_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Int32_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int32_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Int64_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int64_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Uint8_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint8_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Uint16_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint16_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Uint32_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint32_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Uint64_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint64_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Z_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Z_Box_t	ph
	)

int ppl_new_Uint64_Box_from_Rational_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Rational_Box_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_int8_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int8_t_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_int16_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int16_t_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_int32_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int32_t_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_int64_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int64_t_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_mpz_class	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_mpz_class_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_mpq_class	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_mpq_class_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int8_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int8_t_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int16_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int16_t_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int32_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int32_t_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int64_t	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int64_t_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_mpz_class	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_mpz_class_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_mpq_class	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_mpq_class_t	ph
	)

int ppl_new_Uint64_Box_from_C_Polyhedron	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Polyhedron_t	ph
	)

int ppl_new_Uint64_Box_from_NNC_Polyhedron	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Polyhedron_t	ph
	)

int ppl_new_Uint64_Box_from_Grid	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Grid_t	ph
	)

int ppl_new_Uint64_Box_from_Float_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Float_Box_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_float	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_float_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_float	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_float_t	ph
	)

int ppl_new_Uint64_Box_from_Double_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Double_Box_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_double	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_double_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_double	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_double_t	ph
	)

int ppl_new_Uint64_Box_from_Long_Double_Box	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Long_Double_Box_t	ph
	)

int ppl_new_Uint64_Box_from_BD_Shape_long_double	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_long_double_t	ph
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_long_double	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_long_double_t	ph
	)

int ppl_new_Uint64_Box_from_Int8_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int8_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Int16_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int16_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Int32_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int32_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Int64_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Int64_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Uint8_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint8_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Uint16_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint16_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Uint32_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint32_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Uint64_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Uint64_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Z_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Z_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Rational_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Rational_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_int8_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int8_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_int16_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int16_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_int32_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int32_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_int64_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_int64_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_mpz_class_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_mpz_class_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_mpq_class_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_mpq_class_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int8_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int8_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int16_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int16_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int32_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int32_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_int64_t_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_int64_t_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_mpz_class_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_mpz_class_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_mpq_class_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_mpq_class_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_C_Polyhedron_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Polyhedron_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_NNC_Polyhedron_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Polyhedron_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Grid_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Grid_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Float_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Float_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_float_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_float_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_float_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_float_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Double_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Double_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_double_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_double_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_double_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_double_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Long_Double_Box_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Long_Double_Box_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_BD_Shape_long_double_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_BD_Shape_long_double_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Octagonal_Shape_long_double_with_complexity	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Octagonal_Shape_long_double_t	ph,
		int	complexity
	)

int ppl_new_Uint64_Box_from_Constraint_System	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_new_Uint64_Box_from_Congruence_System	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_new_Uint64_Box_from_Generator_System	(	ppl_Uint64_Box_t *	pph,
		ppl_const_Generator_System_t	cs
	)

int ppl_Uint64_Box_space_dimension	(	ppl_const_Uint64_Box_t	ph,
		ppl_dimension_type *	m
	)

int ppl_Uint64_Box_affine_dimension	(	ppl_const_Uint64_Box_t	ph,
		ppl_dimension_type *	m
	)

int ppl_Uint64_Box_relation_with_Constraint	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Uint64_Box_relation_with_Generator	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Generator_t	c
	)

int ppl_Uint64_Box_relation_with_Congruence	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Uint64_Box_get_constraints	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Constraint_System_t *	pcs
	)

int ppl_Uint64_Box_get_congruences	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Congruence_System_t *	pcs
	)

int ppl_Uint64_Box_get_minimized_constraints	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Constraint_System_t *	pcs
	)

int ppl_Uint64_Box_get_minimized_congruences	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Congruence_System_t *	pcs
	)

int ppl_Uint64_Box_bounds_from_above	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le
	)

int ppl_Uint64_Box_bounds_from_below	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le
	)

int ppl_Uint64_Box_get_upper_bound	(	ppl_Uint64_Box_t	ps,
		ppl_dimension_type	var,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	pclosed
	)

int ppl_Uint64_Box_get_lower_bound	(	ppl_Uint64_Box_t	ps,
		ppl_dimension_type	var,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	pclosed
	)

int ppl_Uint64_Box_maximize	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum
	)

int ppl_Uint64_Box_minimize	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum
	)

int ppl_Uint64_Box_maximize_with_point	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum,
		ppl_Generator_t	point
	)

int ppl_Uint64_Box_minimize_with_point	(	ppl_const_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	le,
		ppl_Coefficient_t	ext_n,
		ppl_Coefficient_t	ext_d,
		int *	poptimum,
		ppl_Generator_t	point
	)

int ppl_Uint64_Box_frequency	(	ppl_const_Uint64_Box_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_Uint64_Box_contains_Uint64_Box	(	ppl_const_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_strictly_contains_Uint64_Box	(	ppl_const_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_is_disjoint_from_Uint64_Box	(	ppl_const_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_equals_Uint64_Box	(	ppl_const_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_add_constraint	(	ppl_Uint64_Box_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Uint64_Box_add_congruence	(	ppl_Uint64_Box_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Uint64_Box_add_constraints	(	ppl_Uint64_Box_t	ph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_Uint64_Box_add_congruences	(	ppl_Uint64_Box_t	ph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_Uint64_Box_refine_with_constraint	(	ppl_Uint64_Box_t	ph,
		ppl_const_Constraint_t	c
	)

int ppl_Uint64_Box_refine_with_congruence	(	ppl_Uint64_Box_t	ph,
		ppl_const_Congruence_t	c
	)

int ppl_Uint64_Box_refine_with_constraints	(	ppl_Uint64_Box_t	ph,
		ppl_const_Constraint_System_t	cs
	)

int ppl_Uint64_Box_refine_with_congruences	(	ppl_Uint64_Box_t	ph,
		ppl_const_Congruence_System_t	cs
	)

int ppl_Uint64_Box_intersection_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_upper_bound_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_difference_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_concatenate_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_time_elapse_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_upper_bound_assign_if_exact	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_simplify_using_context_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_constrains	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var
	)

int ppl_Uint64_Box_unconstrain_space_dimension	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var
	)

int ppl_Uint64_Box_unconstrain_space_dimensions	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	ds[],
		size_t	n
	)

int ppl_Uint64_Box_affine_image	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_affine_preimage	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_bounded_affine_image	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	lb,
		ppl_const_Linear_Expression_t	ub,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_bounded_affine_preimage	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		ppl_const_Linear_Expression_t	lb,
		ppl_const_Linear_Expression_t	ub,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_generalized_affine_image	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_generalized_affine_preimage	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	var,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	le,
		ppl_const_Coefficient_t	d
	)

int ppl_Uint64_Box_generalized_affine_image_lhs_rhs	(	ppl_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	lhs,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	rhs
	)

int ppl_Uint64_Box_generalized_affine_preimage_lhs_rhs	(	ppl_Uint64_Box_t	ph,
		ppl_const_Linear_Expression_t	lhs,
		enum ppl_enum_Constraint_Type	relsym,
		ppl_const_Linear_Expression_t	rhs
	)

int ppl_Uint64_Box_add_space_dimensions_and_embed	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	d
	)

int ppl_Uint64_Box_add_space_dimensions_and_project	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	d
	)

int ppl_Uint64_Box_remove_space_dimensions	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	ds[],
		size_t	n
	)

int ppl_Uint64_Box_remove_higher_space_dimensions	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	d
	)

int ppl_Uint64_Box_expand_space_dimension	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	d,
		ppl_dimension_type	m
	)

int ppl_Uint64_Box_fold_space_dimensions	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	ds[],
		size_t	n,
		ppl_dimension_type	d
	)

int ppl_Uint64_Box_map_space_dimensions	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	maps[],
		size_t	n
	)

int ppl_Uint64_Box_drop_some_non_integer_points	(	ppl_Uint64_Box_t	ph,
		int	complexity
	)

int ppl_Uint64_Box_drop_some_non_integer_points_2	(	ppl_Uint64_Box_t	ph,
		ppl_dimension_type	ds[],
		size_t	n,
		int	complexity
	)

int ppl_Uint64_Box_external_memory_in_bytes	(	ppl_const_Uint64_Box_t	ps,
		size_t *	sz
	)

int ppl_Uint64_Box_total_memory_in_bytes	(	ppl_const_Uint64_Box_t	ps,
		size_t *	sz
	)

int ppl_Uint64_Box_CC76_widening_assign_with_tokens	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y,
		unsigned *	tp
	)

int ppl_Uint64_Box_CC76_widening_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_widening_assign_with_tokens	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y,
		unsigned *	tp
	)

int ppl_Uint64_Box_widening_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_limited_CC76_extrapolation_assign_with_tokens	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y,
		ppl_const_Constraint_System_t	cs,
		unsigned *	tp
	)

int ppl_Uint64_Box_limited_CC76_extrapolation_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y,
		ppl_const_Constraint_System_t	cs
	)

int ppl_Uint64_Box_CC76_narrowing_assign	(	ppl_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y
	)

int ppl_Uint64_Box_linear_partition	(	ppl_const_Uint64_Box_t	x,
		ppl_const_Uint64_Box_t	y,
		ppl_Uint64_Box_t *	p_inters,
		ppl_Pointset_Powerset_NNC_Polyhedron_t *	p_rest
	)

int ppl_Uint64_Box_wrap_assign	(	ppl_Uint64_Box_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_Uint64_Box_recycle_Constraint_System	(	ppl_Uint64_Box_t *	pph,
		ppl_Constraint_System_t	cs
	)

int ppl_new_Uint64_Box_recycle_Congruence_System	(	ppl_Uint64_Box_t *	pph,
		ppl_Congruence_System_t	cs
	)

int ppl_new_Uint64_Box_recycle_Generator_System	(	ppl_Uint64_Box_t *	pph,
		ppl_Generator_System_t	cs
	)

int ppl_assign_Uint64_Box_from_Uint64_Box	(	ppl_Uint64_Box_t	dst,
		ppl_const_Uint64_Box_t	src
	)

int ppl_Uint64_Box_add_recycled_constraints	(	ppl_Uint64_Box_t	ph,
		ppl_Constraint_System_t	cs
	)

int ppl_Uint64_Box_add_recycled_congruences	(	ppl_Uint64_Box_t	ph,
		ppl_Congruence_System_t	cs
	)

int ppl_one_affine_ranking_function_MS_Uint64_Box	(	ppl_const_Uint64_Box_t	pset,
		ppl_Generator_t	point
	)

int ppl_one_affine_ranking_function_PR_Uint64_Box	(	ppl_const_Uint64_Box_t	pset,
		ppl_Generator_t	point
	)

int ppl_all_affine_ranking_functions_MS_Uint64_Box	(	ppl_const_Uint64_Box_t	pset,
		ppl_Polyhedron_t	ph
	)

int ppl_all_affine_ranking_functions_PR_Uint64_Box	(	ppl_const_Uint64_Box_t	pset,
		ppl_Polyhedron_t	ph
	)

int ppl_termination_test_MS_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after
	)

int ppl_termination_test_PR_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after
	)

int ppl_one_affine_ranking_function_MS_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after,
		ppl_Generator_t	point
	)

int ppl_one_affine_ranking_function_PR_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after,
		ppl_Generator_t	point
	)

int ppl_all_affine_ranking_functions_MS_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after,
		ppl_Polyhedron_t	ph
	)

int ppl_all_affine_ranking_functions_PR_Uint64_Box_2	(	ppl_const_Uint64_Box_t	pset_before,
		ppl_const_Uint64_Box_t	pset_after,
		ppl_Polyhedron_t	ph
	)

int ppl_io_fprint_Uint64_Box	(	FILE *	stream,
		ppl_const_Uint64_Box_t	x
	)

int ppl_io_asprint_Uint64_Box	(	char **	strp,
		ppl_const_Uint64_Box_t	x
	)

int ppl_Uint64_Box_ascii_dump	(	ppl_const_Uint64_Box_t	x,
		FILE *	stream
	)

int ppl_Uint64_Box_ascii_load	(	ppl_Uint64_Box_t	x,
		FILE *	stream
	)

ppl_c.h

Related Functions

Detailed Description

Friends And Related Function Documentation