PPL Configured Java Language Interface  1.2
parma_polyhedra_library.Pointset_Powerset_BD_Shape_long_double Member List

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

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