Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int64_t> > More...
Inherits parma_polyhedra_library::PPL_Object.
Public Member Functions | |
| Pointset_Powerset_Octagonal_Shape_int64_t (long num_dimensions, Degenerate_Element kind) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Pointset_Powerset_Octagonal_Shape_int64_t y) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t y) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Pointset_Powerset_Octagonal_Shape_int64_t y, Complexity_Class complexity) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t y, Complexity_Class complexity) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Constraint_System cs) | |
| Pointset_Powerset_Octagonal_Shape_int64_t (Congruence_System cs) | |
| native void | swap (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native long | space_dimension () |
| native long | affine_dimension () |
| native Poly_Con_Relation | relation_with (Constraint c) |
| native Poly_Gen_Relation | relation_with (Generator c) |
| native Poly_Con_Relation | relation_with (Congruence c) |
| native boolean | is_empty () |
| native boolean | is_universe () |
| native boolean | is_bounded () |
| native boolean | contains_integer_point () |
| native boolean | is_topologically_closed () |
| native boolean | is_discrete () |
| native void | topological_closure_assign () |
| native void | pairwise_reduce () |
| native void | omega_reduce () |
| native boolean | bounds_from_above (Linear_Expression expr) |
| native boolean | bounds_from_below (Linear_Expression expr) |
| native boolean | maximize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) |
| native boolean | minimize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum) |
| native boolean | maximize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) |
| native boolean | minimize (Linear_Expression expr, Coefficient sup_n, Coefficient sup_d, By_Reference< Boolean > maximum, Generator point) |
| native boolean | contains (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | strictly_contains (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | is_disjoint_from (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | geometrically_covers (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | geometrically_equals (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | equals (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| boolean | equals (Object y) |
| native boolean | OK () |
| native void | add_constraint (Constraint c) |
| native void | add_congruence (Congruence c) |
| native void | add_constraints (Constraint_System c) |
| native void | add_congruences (Congruence_System c) |
| native void | refine_with_constraint (Constraint c) |
| native void | refine_with_congruence (Congruence c) |
| native void | refine_with_constraints (Constraint_System c) |
| native void | refine_with_congruences (Congruence_System c) |
| native void | intersection_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native void | upper_bound_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native void | difference_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native void | concatenate_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native void | time_elapse_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native boolean | upper_bound_assign_if_exact (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native boolean | simplify_using_context_assign (Pointset_Powerset_Octagonal_Shape_int64_t p) |
| native boolean | constrains (Variable var) |
| native void | unconstrain_space_dimension (Variable var) |
| native void | unconstrain_space_dimensions (Variables_Set vars) |
| native void | affine_image (Variable var, Linear_Expression expr, Coefficient denominator) |
| native void | affine_preimage (Variable var, Linear_Expression expr, Coefficient denominator) |
| native void | bounded_affine_image (Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) |
| native void | bounded_affine_preimage (Variable var, Linear_Expression lb_expr, Linear_Expression ub_expr, Coefficient denominator) |
| native void | generalized_affine_image (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) |
| native void | generalized_affine_preimage (Variable var, Relation_Symbol relsym, Linear_Expression expr, Coefficient denominator) |
| native void | generalized_affine_image (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) |
| native void | generalized_affine_preimage (Linear_Expression lhs, Relation_Symbol relsym, Linear_Expression rhs) |
| native void | add_space_dimensions_and_embed (long m) |
| native void | add_space_dimensions_and_project (long m) |
| native void | remove_space_dimensions (Variables_Set vars) |
| native void | remove_higher_space_dimensions (long new_dimension) |
| native void | expand_space_dimension (Variable var, long m) |
| native void | fold_space_dimensions (Variables_Set vars, Variable dest) |
| native void | map_space_dimensions (Partial_Function pfunc) |
| native void | drop_some_non_integer_points (Integer complexity_threshold) |
| native void | drop_some_non_integer_points_2 (Variables_Set vars, Integer complexity_threshold) |
| native String | ascii_dump () |
| native long | external_memory_in_bytes () |
| native long | total_memory_in_bytes () |
| native long | size () |
|
native Pointset_Powerset_Octagonal_Shape_int64_t_Iterator | begin_iterator () |
|
native Pointset_Powerset_Octagonal_Shape_int64_t_Iterator | end_iterator () |
| native void | add_disjunct (Octagonal_Shape_int64_t j_disj) |
| native void | drop_disjunct (Pointset_Powerset_Octagonal_Shape_int64_t_Iterator itr) |
| native void | drop_disjuncts (Pointset_Powerset_Octagonal_Shape_int64_t_Iterator itr1, Pointset_Powerset_Octagonal_Shape_int64_t_Iterator itr2) |
| native void | BHZ03_H79_BHMZ05_widening_assign (Pointset_Powerset_Octagonal_Shape_int64_t y) |
| native void | BGP99_BHMZ05_extrapolation_assign (Pointset_Powerset_Octagonal_Shape_int64_t y, Integer d) |
| native void | free () |
| native int | hashCode () |
| native String | toString () |
Protected Member Functions | |
| native void | finalize () |
Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Octagonal_Shape<int64_t> >
1.6.3