Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Long_Double_Box> More...


Java class interfacing C++ Parma_Polyhedra_Library::Pointset_Powerset<Long_Double_Box>
Definition at line 33 of file Pointset_Powerset_Long_Double_Box.java.
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | long | num_dimensions, | |
| Degenerate_Element | kind | |||
| ) | [inline] |
Definition at line 40 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | ) | [inline, private] |
Definition at line 45 of file Pointset_Powerset_Long_Double_Box.java.
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Pointset_Powerset_Long_Double_Box | y | ) | [inline] |
Definition at line 52 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Long_Double_Box | y | ) | [inline] |
Definition at line 56 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Pointset_Powerset_Long_Double_Box | y, | |
| Complexity_Class | complexity | |||
| ) | [inline] |
Definition at line 65 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Long_Double_Box | y, | |
| Complexity_Class | complexity | |||
| ) | [inline] |
Definition at line 69 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Constraint_System | cs | ) | [inline] |
Definition at line 78 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::Pointset_Powerset_Long_Double_Box | ( | Congruence_System | cs | ) | [inline] |
Definition at line 82 of file Pointset_Powerset_Long_Double_Box.java.
References build_cpp_object().
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_congruence | ( | Congruence | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_congruences | ( | Congruence_System | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_constraint | ( | Constraint | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_constraints | ( | Constraint_System | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_disjunct | ( | Long_Double_Box | j_disj | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_space_dimensions_and_embed | ( | long | m | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::add_space_dimensions_and_project | ( | long | m | ) |
| native long parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::affine_dimension | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::affine_image | ( | Variable | var, | |
| Linear_Expression | expr, | |||
| Coefficient | denominator | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::affine_preimage | ( | Variable | var, | |
| Linear_Expression | expr, | |||
| Coefficient | denominator | |||
| ) |
| native String parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::ascii_dump | ( | ) |
| native Pointset_Powerset_Long_Double_Box_Iterator parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::begin_iterator | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::bounded_affine_image | ( | Variable | var, | |
| Linear_Expression | lb_expr, | |||
| Linear_Expression | ub_expr, | |||
| Coefficient | denominator | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::bounded_affine_preimage | ( | Variable | var, | |
| Linear_Expression | lb_expr, | |||
| Linear_Expression | ub_expr, | |||
| Coefficient | denominator | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::bounds_from_above | ( | Linear_Expression | expr | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::bounds_from_below | ( | Linear_Expression | expr | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Long_Double_Box | y, | |
| Complexity_Class | complexity | |||
| ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Long_Double_Box | y | ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Pointset_Powerset_Long_Double_Box | y, | |
| Complexity_Class | complexity | |||
| ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Pointset_Powerset_Long_Double_Box | y | ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | long | num_dimensions, | |
| Degenerate_Element | kind | |||
| ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Congruence_System | cs | ) | [private] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::build_cpp_object | ( | Constraint_System | cs | ) | [private] |
Referenced by Pointset_Powerset_Long_Double_Box().
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::concatenate_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::constrains | ( | Variable | var | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::contains | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::contains_integer_point | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::difference_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::drop_disjunct | ( | Pointset_Powerset_Long_Double_Box_Iterator | itr | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::drop_disjuncts | ( | Pointset_Powerset_Long_Double_Box_Iterator | itr1, | |
| Pointset_Powerset_Long_Double_Box_Iterator | itr2 | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::drop_some_non_integer_points | ( | Integer | complexity_threshold | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::drop_some_non_integer_points_2 | ( | Variables_Set | vars, | |
| Integer | complexity_threshold | |||
| ) |
| native Pointset_Powerset_Long_Double_Box_Iterator parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::end_iterator | ( | ) |
| boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::equals | ( | Object | y | ) | [inline] |
Definition at line 190 of file Pointset_Powerset_Long_Double_Box.java.
References equals().
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::equals | ( | Pointset_Powerset_Long_Double_Box | p | ) |
Referenced by equals().
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::expand_space_dimension | ( | Variable | var, | |
| long | m | |||
| ) |
| native long parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::external_memory_in_bytes | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::finalize | ( | ) | [protected] |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::fold_space_dimensions | ( | Variables_Set | vars, | |
| Variable | dest | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::free | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::generalized_affine_image | ( | Linear_Expression | lhs, | |
| Relation_Symbol | relsym, | |||
| Linear_Expression | rhs | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::generalized_affine_image | ( | Variable | var, | |
| Relation_Symbol | relsym, | |||
| Linear_Expression | expr, | |||
| Coefficient | denominator | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::generalized_affine_preimage | ( | Linear_Expression | lhs, | |
| Relation_Symbol | relsym, | |||
| Linear_Expression | rhs | |||
| ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::generalized_affine_preimage | ( | Variable | var, | |
| Relation_Symbol | relsym, | |||
| Linear_Expression | expr, | |||
| Coefficient | denominator | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::geometrically_covers | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::geometrically_equals | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native int parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::hashCode | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::intersection_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_bounded | ( | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_discrete | ( | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_disjoint_from | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_empty | ( | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_topologically_closed | ( | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::is_universe | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::map_space_dimensions | ( | Partial_Function | pfunc | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::maximize | ( | Linear_Expression | expr, | |
| Coefficient | sup_n, | |||
| Coefficient | sup_d, | |||
| By_Reference< Boolean > | maximum, | |||
| Generator | point | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::maximize | ( | Linear_Expression | expr, | |
| Coefficient | sup_n, | |||
| Coefficient | sup_d, | |||
| By_Reference< Boolean > | maximum | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::minimize | ( | Linear_Expression | expr, | |
| Coefficient | sup_n, | |||
| Coefficient | sup_d, | |||
| By_Reference< Boolean > | maximum, | |||
| Generator | point | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::minimize | ( | Linear_Expression | expr, | |
| Coefficient | sup_n, | |||
| Coefficient | sup_d, | |||
| By_Reference< Boolean > | maximum | |||
| ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::OK | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::omega_reduce | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::pairwise_reduce | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::refine_with_congruence | ( | Congruence | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::refine_with_congruences | ( | Congruence_System | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::refine_with_constraint | ( | Constraint | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::refine_with_constraints | ( | Constraint_System | c | ) |
| native Poly_Con_Relation parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::relation_with | ( | Congruence | c | ) |
| native Poly_Gen_Relation parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::relation_with | ( | Generator | c | ) |
| native Poly_Con_Relation parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::relation_with | ( | Constraint | c | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::remove_higher_space_dimensions | ( | long | new_dimension | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::remove_space_dimensions | ( | Variables_Set | vars | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::simplify_using_context_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native long parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::size | ( | ) |
| native long parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::space_dimension | ( | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::strictly_contains | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::swap | ( | Pointset_Powerset_Long_Double_Box | y | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::time_elapse_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::topological_closure_assign | ( | ) |
| native String parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::toString | ( | ) |
| native long parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::total_memory_in_bytes | ( | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::unconstrain_space_dimension | ( | Variable | var | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::unconstrain_space_dimensions | ( | Variables_Set | vars | ) |
| native void parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::upper_bound_assign | ( | Pointset_Powerset_Long_Double_Box | p | ) |
| native boolean parma_polyhedra_library::Pointset_Powerset_Long_Double_Box::upper_bound_assign_if_exact | ( | Pointset_Powerset_Long_Double_Box | y | ) |
1.6.3