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


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