| add_congruence(Congruence cg) | parma_polyhedra_library.Polyhedron |  | 
  | add_congruences(Congruence_System cgs) | parma_polyhedra_library.Polyhedron |  | 
  | add_constraint(Constraint c) | parma_polyhedra_library.Polyhedron |  | 
  | add_constraints(Constraint_System cs) | parma_polyhedra_library.Polyhedron |  | 
  | add_generator(Generator g) | parma_polyhedra_library.Polyhedron |  | 
  | add_generators(Generator_System gs) | parma_polyhedra_library.Polyhedron |  | 
  | add_space_dimensions_and_embed(long m) | parma_polyhedra_library.Polyhedron |  | 
  | add_space_dimensions_and_project(long m) | parma_polyhedra_library.Polyhedron |  | 
  | affine_dimension() | parma_polyhedra_library.Polyhedron |  | 
  | affine_image(Variable var, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | affine_preimage(Variable var, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | ascii_dump() | parma_polyhedra_library.Polyhedron |  | 
  | BHRZ03_widening_assign(Polyhedron y, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | bounded_affine_image(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | bounded_affine_preimage(Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | bounded_BHRZ03_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | bounded_H79_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | bounds_from_above(Linear_Expression expr) | parma_polyhedra_library.Polyhedron |  | 
  | bounds_from_below(Linear_Expression expr) | parma_polyhedra_library.Polyhedron |  | 
  | concatenate_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | congruences() | parma_polyhedra_library.Polyhedron |  | 
  | constrains(Variable var) | parma_polyhedra_library.Polyhedron |  | 
  | constraints() | parma_polyhedra_library.Polyhedron |  | 
  | contains(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | contains_integer_point() | parma_polyhedra_library.Polyhedron |  | 
  | difference_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | equals(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | equals(Object y) | parma_polyhedra_library.Polyhedron |  | 
  | expand_space_dimension(Variable var, long m) | parma_polyhedra_library.Polyhedron |  | 
  | external_memory_in_bytes() | parma_polyhedra_library.Polyhedron |  | 
  | fold_space_dimensions(Variables_Set vars, Variable dest) | parma_polyhedra_library.Polyhedron |  | 
  | generalized_affine_image(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | generalized_affine_image(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) | parma_polyhedra_library.Polyhedron |  | 
  | generalized_affine_preimage(Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) | parma_polyhedra_library.Polyhedron |  | 
  | generalized_affine_preimage(Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) | parma_polyhedra_library.Polyhedron |  | 
  | generators() | parma_polyhedra_library.Polyhedron |  | 
  | H79_widening_assign(Polyhedron y, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | hashCode() | parma_polyhedra_library.Polyhedron |  | 
  | intersection_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | is_bounded() | parma_polyhedra_library.Polyhedron |  | 
  | is_discrete() | parma_polyhedra_library.Polyhedron |  | 
  | is_disjoint_from(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | is_empty() | parma_polyhedra_library.Polyhedron |  | 
  | is_topologically_closed() | parma_polyhedra_library.Polyhedron |  | 
  | is_universe() | parma_polyhedra_library.Polyhedron |  | 
  | limited_BHRZ03_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | limited_H79_extrapolation_assign(Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  | 
  | map_space_dimensions(Partial_Function pfunc) | parma_polyhedra_library.Polyhedron |  | 
  | maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) | parma_polyhedra_library.Polyhedron |  | 
  | maximize(Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator g) | parma_polyhedra_library.Polyhedron |  | 
  | minimize(Linear_Expression expr, Coefficient inf_n, Coefficient inf_d, By_Reference< Boolean > minimum) | parma_polyhedra_library.Polyhedron |  | 
  | minimize(Linear_Expression expr, Coefficient inf_n, Coefficient inf_d, By_Reference< Boolean > minimum, Generator g) | parma_polyhedra_library.Polyhedron |  | 
  | minimized_congruences() | parma_polyhedra_library.Polyhedron |  | 
  | minimized_constraints() | parma_polyhedra_library.Polyhedron |  | 
  | minimized_generators() | parma_polyhedra_library.Polyhedron |  | 
  | OK() | parma_polyhedra_library.Polyhedron |  | 
  | poly_difference_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | poly_hull_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | refine_with_congruence(Congruence cg) | parma_polyhedra_library.Polyhedron |  | 
  | refine_with_congruences(Congruence_System cgs) | parma_polyhedra_library.Polyhedron |  | 
  | refine_with_constraint(Constraint c) | parma_polyhedra_library.Polyhedron |  | 
  | refine_with_constraints(Constraint_System cs) | parma_polyhedra_library.Polyhedron |  | 
  | relation_with(Constraint c) | parma_polyhedra_library.Polyhedron |  | 
  | relation_with(Generator c) | parma_polyhedra_library.Polyhedron |  | 
  | relation_with(Congruence c) | parma_polyhedra_library.Polyhedron |  | 
  | remove_higher_space_dimensions(long new_dimension) | parma_polyhedra_library.Polyhedron |  | 
  | remove_space_dimensions(Variables_Set vars) | parma_polyhedra_library.Polyhedron |  | 
  | simplify_using_context_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | space_dimension() | parma_polyhedra_library.Polyhedron |  | 
  | strictly_contains(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | swap(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | time_elapse_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | topological_closure_assign() | parma_polyhedra_library.Polyhedron |  | 
  | toString() | parma_polyhedra_library.Polyhedron |  | 
  | total_memory_in_bytes() | parma_polyhedra_library.Polyhedron |  | 
  | unconstrain_space_dimension(Variable var) | parma_polyhedra_library.Polyhedron |  | 
  | unconstrain_space_dimensions(Variables_Set vars) | parma_polyhedra_library.Polyhedron |  | 
  | upper_bound_assign(Polyhedron y) | parma_polyhedra_library.Polyhedron |  | 
  | widening_assign(Polyhedron y, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron |  |