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


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