parma_polyhedra_library.Float_Box Member List

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

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