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