Public Member Functions |
| | NNC_Polyhedron (long num_dimensions, Degenerate_Element kind) |
| | NNC_Polyhedron (Int8_Box y) |
| | NNC_Polyhedron (Int16_Box y) |
| | NNC_Polyhedron (Int32_Box y) |
| | NNC_Polyhedron (Int64_Box y) |
| | NNC_Polyhedron (Uint8_Box y) |
| | NNC_Polyhedron (Uint16_Box y) |
| | NNC_Polyhedron (Uint32_Box y) |
| | NNC_Polyhedron (Uint64_Box y) |
| | NNC_Polyhedron (Z_Box y) |
| | NNC_Polyhedron (Rational_Box y) |
| | NNC_Polyhedron (BD_Shape_int8_t y) |
| | NNC_Polyhedron (BD_Shape_int16_t y) |
| | NNC_Polyhedron (BD_Shape_int32_t y) |
| | NNC_Polyhedron (BD_Shape_int64_t y) |
| | NNC_Polyhedron (BD_Shape_mpz_class y) |
| | NNC_Polyhedron (BD_Shape_mpq_class y) |
| | NNC_Polyhedron (Octagonal_Shape_int8_t y) |
| | NNC_Polyhedron (Octagonal_Shape_int16_t y) |
| | NNC_Polyhedron (Octagonal_Shape_int32_t y) |
| | NNC_Polyhedron (Octagonal_Shape_int64_t y) |
| | NNC_Polyhedron (Octagonal_Shape_mpz_class y) |
| | NNC_Polyhedron (Octagonal_Shape_mpq_class y) |
| | NNC_Polyhedron (C_Polyhedron y) |
| | NNC_Polyhedron (NNC_Polyhedron y) |
| | NNC_Polyhedron (Grid y) |
| | NNC_Polyhedron (Float_Box y) |
| | NNC_Polyhedron (BD_Shape_float y) |
| | NNC_Polyhedron (Octagonal_Shape_float y) |
| | NNC_Polyhedron (Double_Box y) |
| | NNC_Polyhedron (BD_Shape_double y) |
| | NNC_Polyhedron (Octagonal_Shape_double y) |
| | NNC_Polyhedron (Long_Double_Box y) |
| | NNC_Polyhedron (BD_Shape_long_double y) |
| | NNC_Polyhedron (Octagonal_Shape_long_double y) |
| | NNC_Polyhedron (Int8_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Int16_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Int32_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Int64_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Uint8_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Uint16_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Uint32_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Uint64_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Z_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (Rational_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_int8_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_int16_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_int32_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_int64_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_mpz_class y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_mpq_class y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_int8_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_int16_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_int32_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_int64_t y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_mpz_class y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_mpq_class y, Complexity_Class complexity) |
| | NNC_Polyhedron (C_Polyhedron y, Complexity_Class complexity) |
| | NNC_Polyhedron (NNC_Polyhedron y, Complexity_Class complexity) |
| | NNC_Polyhedron (Grid y, Complexity_Class complexity) |
| | NNC_Polyhedron (Float_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_float y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_float y, Complexity_Class complexity) |
| | NNC_Polyhedron (Double_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_double y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_double y, Complexity_Class complexity) |
| | NNC_Polyhedron (Long_Double_Box y, Complexity_Class complexity) |
| | NNC_Polyhedron (BD_Shape_long_double y, Complexity_Class complexity) |
| | NNC_Polyhedron (Octagonal_Shape_long_double y, Complexity_Class complexity) |
| | NNC_Polyhedron (Constraint_System cs) |
| | NNC_Polyhedron (Congruence_System cs) |
| | NNC_Polyhedron (Generator_System cs) |
| native boolean | upper_bound_assign_if_exact (NNC_Polyhedron y) |
| native boolean | poly_hull_assign_if_exact (NNC_Polyhedron y) |
| native void | free () |
Static Public Member Functions |
static native Pair
< NNC_Polyhedron,
Pointset_Powerset_NNC_Polyhedron > | linear_partition (NNC_Polyhedron p, NNC_Polyhedron q) |
Protected Member Functions |
| native void | finalize () |
Private Member Functions |
| | NNC_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) |