parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t Member List

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

add_congruence(Congruence c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_congruences(Congruence_System c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_constraint(Constraint c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_constraints(Constraint_System c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_disjunct(BD_Shape_int8_t j_disj) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_space_dimensions_and_embed(long m) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
add_space_dimensions_and_project(long m) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
affine_dimension() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
affine_image(Variable var, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
affine_preimage(Variable var, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
ascii_dump() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
begin_iterator() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
BGP99_BHMZ05_extrapolation_assign(Pointset_Powerset_BD_Shape_int8_t y, Integer d) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
BGP99_H79_extrapolation_assign(Pointset_Powerset_BD_Shape_int8_t y, Integer d) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
BHZ03_H79_BHMZ05_widening_assign(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
BHZ03_H79_H79_widening_assign(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
bounded_affine_image(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
bounded_affine_preimage(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
bounds_from_above(Linear_Expression expr) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
bounds_from_below(Linear_Expression expr) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
concatenate_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
constrains(Variable var) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
contains(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
contains_integer_point() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
difference_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
drop_disjunct(Pointset_Powerset_BD_Shape_int8_t_Iterator itr) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
drop_disjuncts(Pointset_Powerset_BD_Shape_int8_t_Iterator itr1, Pointset_Powerset_BD_Shape_int8_t_Iterator itr2) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
drop_some_non_integer_points(Complexity_Class complexity) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
drop_some_non_integer_points(Variables_Set vars, Complexity_Class complexity) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
end_iterator() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
equals(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
equals(Object y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
expand_space_dimension(Variable var, long m) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
external_memory_in_bytes() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
finalize() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	protected
fold_space_dimensions(Variables_Set vars, Variable dest) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
free() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
generalized_affine_image(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
generalized_affine_image(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
generalized_affine_preimage(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
generalized_affine_preimage(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
geometrically_covers(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
geometrically_equals(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
hashCode() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
intersection_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_bounded() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_discrete() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_disjoint_from(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_empty() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_topologically_closed() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
is_universe() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
map_space_dimensions(Partial_Function pfunc) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
OK() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
omega_reduce() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
pairwise_reduce() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
Pointset_Powerset_BD_Shape_int8_t(long num_dimensions, Degenerate_Element kind) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(Pointset_Powerset_BD_Shape_int8_t y, Complexity_Class complexity) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(BD_Shape_int8_t y, Complexity_Class complexity) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(Constraint_System cs) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
Pointset_Powerset_BD_Shape_int8_t(Congruence_System cs) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t	inline
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.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
refine_with_congruences(Congruence_System c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
refine_with_constraint(Constraint c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
refine_with_constraints(Constraint_System c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
relation_with(Constraint c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
relation_with(Generator c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
relation_with(Congruence c) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
remove_higher_space_dimensions(long new_dimension) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
remove_space_dimensions(Variables_Set vars) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
simplify_using_context_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
size() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
space_dimension() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
strictly_contains(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
swap(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
time_elapse_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
topological_closure_assign() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
toString() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
total_memory_in_bytes() (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
unconstrain_space_dimension(Variable var) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
unconstrain_space_dimensions(Variables_Set vars) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
upper_bound_assign(Pointset_Powerset_BD_Shape_int8_t p) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t
upper_bound_assign_if_exact(Pointset_Powerset_BD_Shape_int8_t y) (defined in parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t)	parma_polyhedra_library.Pointset_Powerset_BD_Shape_int8_t