parma_polyhedra_library::Polyhedron Member List

This is the complete list of members for parma_polyhedra_library::Polyhedron, including all inherited members.
[static initializer] (defined in parma_polyhedra_library::PPL_Object)parma_polyhedra_library::PPL_Object [inline, package, static]
add_congruence(Congruence c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_congruences(Congruence_System c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_constraint(Constraint c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_constraints(Constraint_System c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_generator(Generator c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_generators(Generator_System c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_space_dimensions_and_embed(long m) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
add_space_dimensions_and_project(long m) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
affine_dimension() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
affine_image(Variable var, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
affine_preimage(Variable var, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
ascii_dump() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
BHRZ03_widening_assign(Polyhedron y, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounded_affine_image(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounded_affine_preimage(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounded_BHRZ03_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounded_H79_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounds_from_above(Linear_Expression expr) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
bounds_from_below(Linear_Expression expr) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
concatenate_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
congruences() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
constrains(Variable var) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
constraints() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
contains(Polyhedron y) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
contains_integer_point() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
difference_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
drop_some_non_integer_points(Integer complexity_threshold) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
drop_some_non_integer_points_2(Variables_Set vars, Integer complexity_threshold) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
equals(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
equals(Object y) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron [inline]
expand_space_dimension(Variable var, long m) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
external_memory_in_bytes() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
fold_space_dimensions(Variables_Set vars, Variable dest) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
frequency(Linear_Expression expr, Coefficient freq_n, Coefficient freq_d, Coefficient val_n, Coefficient val_d) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
generalized_affine_image(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
generalized_affine_image(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
generalized_affine_preimage(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
generalized_affine_preimage(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
generators() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
H79_widening_assign(Polyhedron y, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
hashCode() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
intersection_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_bounded() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_discrete() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_disjoint_from(Polyhedron y) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_empty() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_topologically_closed() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
is_universe() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
limited_BHRZ03_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
limited_H79_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
map_space_dimensions(Partial_Function pfunc) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
minimize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
minimized_congruences() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
minimized_constraints() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
minimized_generators() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
OK() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
poly_difference_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
poly_hull_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
PPL_Object() (defined in parma_polyhedra_library::PPL_Object)parma_polyhedra_library::PPL_Object [inline, protected]
ptr (defined in parma_polyhedra_library::PPL_Object)parma_polyhedra_library::PPL_Object [package]
refine_with_congruence(Congruence c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
refine_with_congruences(Congruence_System c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
refine_with_constraint(Constraint c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
refine_with_constraints(Constraint_System c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
relation_with(Constraint c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
relation_with(Generator c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
relation_with(Congruence c) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
remove_higher_space_dimensions(long new_dimension) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
remove_space_dimensions(Variables_Set vars) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
simplify_using_context_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
space_dimension() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
strictly_contains(Polyhedron y) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
swap(Polyhedron y) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
time_elapse_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
topological_closure_assign() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
toString() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
total_memory_in_bytes() (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
unconstrain_space_dimension(Variable var) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
unconstrain_space_dimensions(Variables_Set vars) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
upper_bound_assign(Polyhedron p) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
widening_assign(Polyhedron y, By_Reference< Integer > tp) (defined in parma_polyhedra_library::Polyhedron)parma_polyhedra_library::Polyhedron
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::Polyhedron)parma_polyhedra_library::Polyhedron
Generated on Sun Feb 27 16:11:50 2011 for PPL Configured Java Language Interface by  doxygen 1.6.3