PPL Configured Java Language Interface  1.2
parma_polyhedra_library.BD_Shape_int64_t Member List

This is the complete list of members for parma_polyhedra_library.BD_Shape_int64_t, including all inherited members.

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