|
| | C_Polyhedron (long num_dimensions, Degenerate_Element kind) |
| |
| | C_Polyhedron (Int8_Box y) |
| |
| | C_Polyhedron (Int16_Box y) |
| |
| | C_Polyhedron (Int32_Box y) |
| |
| | C_Polyhedron (Int64_Box y) |
| |
| | C_Polyhedron (Uint8_Box y) |
| |
| | C_Polyhedron (Uint16_Box y) |
| |
| | C_Polyhedron (Uint32_Box y) |
| |
| | C_Polyhedron (Uint64_Box y) |
| |
| | C_Polyhedron (Z_Box y) |
| |
| | C_Polyhedron (Rational_Box y) |
| |
| | C_Polyhedron (BD_Shape_int8_t y) |
| |
| | C_Polyhedron (BD_Shape_int16_t y) |
| |
| | C_Polyhedron (BD_Shape_int32_t y) |
| |
| | C_Polyhedron (BD_Shape_int64_t y) |
| |
| | C_Polyhedron (BD_Shape_mpz_class y) |
| |
| | C_Polyhedron (BD_Shape_mpq_class y) |
| |
| | C_Polyhedron (Octagonal_Shape_int8_t y) |
| |
| | C_Polyhedron (Octagonal_Shape_int16_t y) |
| |
| | C_Polyhedron (Octagonal_Shape_int32_t y) |
| |
| | C_Polyhedron (Octagonal_Shape_int64_t y) |
| |
| | C_Polyhedron (Octagonal_Shape_mpz_class y) |
| |
| | C_Polyhedron (Octagonal_Shape_mpq_class y) |
| |
| | C_Polyhedron (C_Polyhedron y) |
| |
| | C_Polyhedron (NNC_Polyhedron y) |
| |
| | C_Polyhedron (Grid y) |
| |
| | C_Polyhedron (Float_Box y) |
| |
| | C_Polyhedron (BD_Shape_float y) |
| |
| | C_Polyhedron (Octagonal_Shape_float y) |
| |
| | C_Polyhedron (Double_Box y) |
| |
| | C_Polyhedron (BD_Shape_double y) |
| |
| | C_Polyhedron (Octagonal_Shape_double y) |
| |
| | C_Polyhedron (Long_Double_Box y) |
| |
| | C_Polyhedron (BD_Shape_long_double y) |
| |
| | C_Polyhedron (Octagonal_Shape_long_double y) |
| |
| | C_Polyhedron (Int8_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Int16_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Int32_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Int64_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Uint8_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Uint16_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Uint32_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Uint64_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Z_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Rational_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_int8_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_int16_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_int32_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_int64_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_mpz_class y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_mpq_class y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_int8_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_int16_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_int32_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_int64_t y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_mpz_class y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_mpq_class y, Complexity_Class complexity) |
| |
| | C_Polyhedron (C_Polyhedron y, Complexity_Class complexity) |
| |
| | C_Polyhedron (NNC_Polyhedron y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Grid y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Float_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_float y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_float y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Double_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_double y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_double y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Long_Double_Box y, Complexity_Class complexity) |
| |
| | C_Polyhedron (BD_Shape_long_double y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Octagonal_Shape_long_double y, Complexity_Class complexity) |
| |
| | C_Polyhedron (Constraint_System cs) |
| |
| | C_Polyhedron (Congruence_System cs) |
| |
| | C_Polyhedron (Generator_System cs) |
| |
| native boolean | upper_bound_assign_if_exact (C_Polyhedron y) |
| |
| native boolean | poly_hull_assign_if_exact (C_Polyhedron y) |
| |
| native void | positive_time_elapse_assign (C_Polyhedron p) |
| |
| native void | free () |
| |
| native void | swap (Polyhedron 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 Constraint_System | constraints () |
| |
| native Congruence_System | congruences () |
| |
| native Generator_System | generators () |
| |
| native Constraint_System | minimized_constraints () |
| |
| native Congruence_System | minimized_congruences () |
| |
| native Generator_System | minimized_generators () |
| |
| 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 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 | frequency (Linear_Expression expr, Coefficient freq_n, Coefficient freq_d, Coefficient val_n, Coefficient val_d) |
| |
| native boolean | contains (Polyhedron y) |
| |
| native boolean | strictly_contains (Polyhedron y) |
| |
| native boolean | is_disjoint_from (Polyhedron y) |
| |
| native boolean | equals (Polyhedron p) |
| |
| boolean | equals (Object y) |
| |
| native boolean | OK () |
| |
| native void | add_constraint (Constraint c) |
| |
| native void | add_congruence (Congruence c) |
| |
| native void | add_generator (Generator c) |
| |
| native void | add_constraints (Constraint_System c) |
| |
| native void | add_congruences (Congruence_System c) |
| |
| native void | add_generators (Generator_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 (Polyhedron p) |
| |
| native void | upper_bound_assign (Polyhedron p) |
| |
| native void | difference_assign (Polyhedron p) |
| |
| native void | concatenate_assign (Polyhedron p) |
| |
| native void | time_elapse_assign (Polyhedron p) |
| |
| native void | poly_hull_assign (Polyhedron p) |
| |
| native void | poly_difference_assign (Polyhedron p) |
| |
| native boolean | simplify_using_context_assign (Polyhedron 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 (Complexity_Class complexity) |
| |
| native void | drop_some_non_integer_points (Variables_Set vars, Complexity_Class complexity) |
| |
| native String | ascii_dump () |
| |
| native long | external_memory_in_bytes () |
| |
| native long | total_memory_in_bytes () |
| |
| native void | BHRZ03_widening_assign (Polyhedron y, By_Reference< Integer > tp) |
| |
| native void | H79_widening_assign (Polyhedron y, By_Reference< Integer > tp) |
| |
| native void | widening_assign (Polyhedron y, By_Reference< Integer > tp) |
| |
| native void | limited_BHRZ03_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) |
| |
| native void | bounded_BHRZ03_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) |
| |
| native void | limited_H79_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) |
| |
| native void | bounded_H79_extrapolation_assign (Polyhedron y, Constraint_System cs, By_Reference< Integer > tp) |
| |
| native void | wrap_assign (Variables_Set vars, Bounded_Integer_Type_Width w, Bounded_Integer_Type_Representation r, Bounded_Integer_Type_Overflow o, Constraint_System cs, long complexity_threshold, boolean wrap_individually) |
| |
| native int | hashCode () |
| |
| native String | toString () |
| |
|
| | C_Polyhedron () |
| |
| native void | build_cpp_object (Constraint_System cs) |
| |
| native void | build_cpp_object (Congruence_System cs) |
| |
| native void | build_cpp_object (Generator_System cs) |
| |
| native void | build_cpp_object (long num_dimensions, Degenerate_Element kind) |
| |
| native void | build_cpp_object (Int8_Box y) |
| |
| native void | build_cpp_object (Int8_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Int16_Box y) |
| |
| native void | build_cpp_object (Int16_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Int32_Box y) |
| |
| native void | build_cpp_object (Int32_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Int64_Box y) |
| |
| native void | build_cpp_object (Int64_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Uint8_Box y) |
| |
| native void | build_cpp_object (Uint8_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Uint16_Box y) |
| |
| native void | build_cpp_object (Uint16_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Uint32_Box y) |
| |
| native void | build_cpp_object (Uint32_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Uint64_Box y) |
| |
| native void | build_cpp_object (Uint64_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Z_Box y) |
| |
| native void | build_cpp_object (Z_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Rational_Box y) |
| |
| native void | build_cpp_object (Rational_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_int8_t y) |
| |
| native void | build_cpp_object (BD_Shape_int8_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_int16_t y) |
| |
| native void | build_cpp_object (BD_Shape_int16_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_int32_t y) |
| |
| native void | build_cpp_object (BD_Shape_int32_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_int64_t y) |
| |
| native void | build_cpp_object (BD_Shape_int64_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_mpz_class y) |
| |
| native void | build_cpp_object (BD_Shape_mpz_class y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_mpq_class y) |
| |
| native void | build_cpp_object (BD_Shape_mpq_class y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_int8_t y) |
| |
| native void | build_cpp_object (Octagonal_Shape_int8_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_int16_t y) |
| |
| native void | build_cpp_object (Octagonal_Shape_int16_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_int32_t y) |
| |
| native void | build_cpp_object (Octagonal_Shape_int32_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_int64_t y) |
| |
| native void | build_cpp_object (Octagonal_Shape_int64_t y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_mpz_class y) |
| |
| native void | build_cpp_object (Octagonal_Shape_mpz_class y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_mpq_class y) |
| |
| native void | build_cpp_object (Octagonal_Shape_mpq_class y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (C_Polyhedron y) |
| |
| native void | build_cpp_object (C_Polyhedron y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (NNC_Polyhedron y) |
| |
| native void | build_cpp_object (NNC_Polyhedron y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Grid y) |
| |
| native void | build_cpp_object (Grid y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Float_Box y) |
| |
| native void | build_cpp_object (Float_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_float y) |
| |
| native void | build_cpp_object (BD_Shape_float y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_float y) |
| |
| native void | build_cpp_object (Octagonal_Shape_float y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Double_Box y) |
| |
| native void | build_cpp_object (Double_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_double y) |
| |
| native void | build_cpp_object (BD_Shape_double y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_double y) |
| |
| native void | build_cpp_object (Octagonal_Shape_double y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Long_Double_Box y) |
| |
| native void | build_cpp_object (Long_Double_Box y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (BD_Shape_long_double y) |
| |
| native void | build_cpp_object (BD_Shape_long_double y, Complexity_Class complexity) |
| |
| native void | build_cpp_object (Octagonal_Shape_long_double y) |
| |
| native void | build_cpp_object (Octagonal_Shape_long_double y, Complexity_Class complexity) |
| |
Java class interfacing C++ Parma_Polyhedra_Library::C_Polyhedron.
Definition at line 30 of file C_Polyhedron.java.
Protected Member Functions inherited from parma_polyhedra_library.PPL_Object