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


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