| 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 | |
| C_Polyhedron(long d, Degenerate_Element kind) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(C_Polyhedron y) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(C_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(Constraint_System cs) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(Congruence_System cgs) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(NNC_Polyhedron y) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(NNC_Polyhedron y, Complexity_Class complexity) | parma_polyhedra_library.C_Polyhedron | |
| C_Polyhedron(Generator_System gs) | parma_polyhedra_library.C_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 | |
| finalize() | parma_polyhedra_library.C_Polyhedron | protected |
| fold_space_dimensions(Variables_Set vars, Variable dest) | parma_polyhedra_library.Polyhedron | |
| free() | parma_polyhedra_library.C_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 | |
| linear_partition(C_Polyhedron p, C_Polyhedron q) | parma_polyhedra_library.C_Polyhedron | static |
| 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 | |
| upper_bound_assign_if_exact(C_Polyhedron y) | parma_polyhedra_library.C_Polyhedron | |
| widening_assign(Polyhedron y, By_Reference< Integer > tp) | parma_polyhedra_library.Polyhedron | |
1.8.9.1