add_congruence(Congruence c) | parma_polyhedra_library.Uint32_Box | |
add_congruences(Congruence_System c) | parma_polyhedra_library.Uint32_Box | |
add_constraint(Constraint c) | parma_polyhedra_library.Uint32_Box | |
add_constraints(Constraint_System c) | parma_polyhedra_library.Uint32_Box | |
add_space_dimensions_and_embed(long m) | parma_polyhedra_library.Uint32_Box | |
add_space_dimensions_and_project(long m) | parma_polyhedra_library.Uint32_Box | |
affine_dimension() | parma_polyhedra_library.Uint32_Box | |
affine_image(Variable var, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
affine_preimage(Variable var, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
ascii_dump() | parma_polyhedra_library.Uint32_Box | |
bounded_affine_image(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
bounded_affine_preimage(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
bounds_from_above(Linear_Expression expr) | parma_polyhedra_library.Uint32_Box | |
bounds_from_below(Linear_Expression expr) | parma_polyhedra_library.Uint32_Box | |
build_cpp_object(Constraint_System cs) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Congruence_System cs) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Generator_System cs) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(long num_dimensions, Degenerate_Element kind) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int8_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int8_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int16_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int16_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int32_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int32_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int64_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Int64_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint8_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint8_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint16_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint16_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint32_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint64_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Uint64_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Z_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Z_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Rational_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Rational_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int8_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int8_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int16_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int16_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int32_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int32_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int64_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_int64_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_mpz_class y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_mpz_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_mpq_class y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_mpq_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int8_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int8_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int16_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int16_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int32_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int32_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int64_t y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_int64_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_mpz_class y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_mpz_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_mpq_class y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_mpq_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(C_Polyhedron y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(C_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(NNC_Polyhedron y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(NNC_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Grid y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Grid y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Float_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Float_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_float y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_float y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_float y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_float y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Double_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Double_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_double y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_double y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Long_Double_Box y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Long_Double_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_long_double y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(BD_Shape_long_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_long_double y) | parma_polyhedra_library.Uint32_Box | private |
build_cpp_object(Octagonal_Shape_long_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | private |
CC76_narrowing_assign(Uint32_Box arg) | parma_polyhedra_library.Uint32_Box | |
CC76_widening_assign(Uint32_Box y, By_Reference< Integer > tp) | parma_polyhedra_library.Uint32_Box | |
concatenate_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
congruences() | parma_polyhedra_library.Uint32_Box | |
constrains(Variable var) | parma_polyhedra_library.Uint32_Box | |
constraints() | parma_polyhedra_library.Uint32_Box | |
contains(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | |
contains_integer_point() | parma_polyhedra_library.Uint32_Box | |
difference_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
drop_some_non_integer_points(Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | |
drop_some_non_integer_points(Variables_Set vars, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | |
equals(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
equals(Object y) | parma_polyhedra_library.Uint32_Box | inline |
expand_space_dimension(Variable var, long m) | parma_polyhedra_library.Uint32_Box | |
external_memory_in_bytes() | parma_polyhedra_library.Uint32_Box | |
finalize() | parma_polyhedra_library.Uint32_Box | protected |
fold_space_dimensions(Variables_Set vars, Variable dest) | parma_polyhedra_library.Uint32_Box | |
free() | parma_polyhedra_library.Uint32_Box | |
frequency(Linear_Expression expr, Coefficient freq_n, Coefficient freq_d, Coefficient val_n, Coefficient val_d) | parma_polyhedra_library.Uint32_Box | |
generalized_affine_image(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
generalized_affine_image(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) | parma_polyhedra_library.Uint32_Box | |
generalized_affine_preimage(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Uint32_Box | |
generalized_affine_preimage(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) | parma_polyhedra_library.Uint32_Box | |
has_lower_bound(Variable var, Coefficient bound_n, Coefficient bound_d, By_Reference< Boolean > closed) | parma_polyhedra_library.Uint32_Box | |
has_upper_bound(Variable var, Coefficient bound_n, Coefficient bound_d, By_Reference< Boolean > closed) | parma_polyhedra_library.Uint32_Box | |
hashCode() | parma_polyhedra_library.Uint32_Box | |
intersection_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
is_bounded() | parma_polyhedra_library.Uint32_Box | |
is_discrete() | parma_polyhedra_library.Uint32_Box | |
is_disjoint_from(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | |
is_empty() | parma_polyhedra_library.Uint32_Box | |
is_topologically_closed() | parma_polyhedra_library.Uint32_Box | |
is_universe() | parma_polyhedra_library.Uint32_Box | |
limited_CC76_extrapolation_assign(Uint32_Box y, Constraint_System cs, By_Reference< Integer > tp) | parma_polyhedra_library.Uint32_Box | |
linear_partition(Uint32_Box p, Uint32_Box q) | parma_polyhedra_library.Uint32_Box | static |
map_space_dimensions(Partial_Function pfunc) | parma_polyhedra_library.Uint32_Box | |
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) | parma_polyhedra_library.Uint32_Box | |
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) | parma_polyhedra_library.Uint32_Box | |
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) | parma_polyhedra_library.Uint32_Box | |
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) | parma_polyhedra_library.Uint32_Box | |
minimized_congruences() | parma_polyhedra_library.Uint32_Box | |
minimized_constraints() | parma_polyhedra_library.Uint32_Box | |
OK() | parma_polyhedra_library.Uint32_Box | |
PPL_Object() | parma_polyhedra_library.PPL_Object | inlineprotected |
refine_with_congruence(Congruence c) | parma_polyhedra_library.Uint32_Box | |
refine_with_congruences(Congruence_System c) | parma_polyhedra_library.Uint32_Box | |
refine_with_constraint(Constraint c) | parma_polyhedra_library.Uint32_Box | |
refine_with_constraints(Constraint_System c) | parma_polyhedra_library.Uint32_Box | |
relation_with(Constraint c) | parma_polyhedra_library.Uint32_Box | |
relation_with(Generator c) | parma_polyhedra_library.Uint32_Box | |
relation_with(Congruence c) | parma_polyhedra_library.Uint32_Box | |
remove_higher_space_dimensions(long new_dimension) | parma_polyhedra_library.Uint32_Box | |
remove_space_dimensions(Variables_Set vars) | parma_polyhedra_library.Uint32_Box | |
simplify_using_context_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
space_dimension() | parma_polyhedra_library.Uint32_Box | |
strictly_contains(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | |
swap(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | |
time_elapse_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
topological_closure_assign() | parma_polyhedra_library.Uint32_Box | |
toString() | parma_polyhedra_library.Uint32_Box | |
total_memory_in_bytes() | parma_polyhedra_library.Uint32_Box | |
Uint32_Box(long num_dimensions, Degenerate_Element kind) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box() | parma_polyhedra_library.Uint32_Box | inlineprivate |
Uint32_Box(Int8_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int16_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int32_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int64_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint8_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint16_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint64_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Z_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Rational_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int8_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int16_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int32_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int64_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_mpz_class y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_mpq_class y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int8_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int16_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int32_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int64_t y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_mpz_class y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_mpq_class y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(C_Polyhedron y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(NNC_Polyhedron y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Grid y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Float_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_float y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_float y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Double_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_double y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_double y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Long_Double_Box y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_long_double y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_long_double y) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int8_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int16_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int32_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Int64_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint8_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint16_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint32_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Uint64_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Z_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Rational_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int8_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int16_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int32_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_int64_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_mpz_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_mpq_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int8_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int16_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int32_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_int64_t y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_mpz_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_mpq_class y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(C_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(NNC_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Grid y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Float_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_float y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_float y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Double_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Long_Double_Box y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(BD_Shape_long_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Octagonal_Shape_long_double y, Complexity_Class complexity) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Constraint_System cs) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Congruence_System cs) | parma_polyhedra_library.Uint32_Box | inline |
Uint32_Box(Generator_System cs) | parma_polyhedra_library.Uint32_Box | inline |
unconstrain_space_dimension(Variable var) | parma_polyhedra_library.Uint32_Box | |
unconstrain_space_dimensions(Variables_Set vars) | parma_polyhedra_library.Uint32_Box | |
upper_bound_assign(Uint32_Box p) | parma_polyhedra_library.Uint32_Box | |
upper_bound_assign_if_exact(Uint32_Box y) | parma_polyhedra_library.Uint32_Box | |
widening_assign(Uint32_Box y, By_Reference< Integer > tp) | parma_polyhedra_library.Uint32_Box | |
wrap_assign(Variables_Set vars, Bounded_Integer_Type_Width w, Bounded_Integer_Type_Representation r, Bounded_Integer_Type_Overflow o, Constraint_System cs, long complexity_threshold, boolean wrap_individually) | parma_polyhedra_library.Uint32_Box | |