| 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(Complexity_Class complexity) (defined in parma_polyhedra_library.Polyhedron) | parma_polyhedra_library.Polyhedron | |
| drop_some_non_integer_points(Variables_Set vars, Complexity_Class complexity) (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 | inlineprotected |
| 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 | |
1.8.9.1