00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024 package parma_polyhedra_library;
00025
00030 public class C_Polyhedron extends Polyhedron {
00031 protected native void finalize();
00032
00033 public C_Polyhedron(long num_dimensions,
00034 Degenerate_Element kind) {
00035 build_cpp_object(num_dimensions, kind);
00036 }
00037
00038 private C_Polyhedron() {
00039 }
00040
00041 public C_Polyhedron(Int8_Box y) {
00042 build_cpp_object(y);
00043 }
00044
00045 public C_Polyhedron(Int16_Box y) {
00046 build_cpp_object(y);
00047 }
00048
00049 public C_Polyhedron(Int32_Box y) {
00050 build_cpp_object(y);
00051 }
00052
00053 public C_Polyhedron(Int64_Box y) {
00054 build_cpp_object(y);
00055 }
00056
00057 public C_Polyhedron(Uint8_Box y) {
00058 build_cpp_object(y);
00059 }
00060
00061 public C_Polyhedron(Uint16_Box y) {
00062 build_cpp_object(y);
00063 }
00064
00065 public C_Polyhedron(Uint32_Box y) {
00066 build_cpp_object(y);
00067 }
00068
00069 public C_Polyhedron(Uint64_Box y) {
00070 build_cpp_object(y);
00071 }
00072
00073 public C_Polyhedron(Z_Box y) {
00074 build_cpp_object(y);
00075 }
00076
00077 public C_Polyhedron(Rational_Box y) {
00078 build_cpp_object(y);
00079 }
00080
00081 public C_Polyhedron(BD_Shape_int8_t y) {
00082 build_cpp_object(y);
00083 }
00084
00085 public C_Polyhedron(BD_Shape_int16_t y) {
00086 build_cpp_object(y);
00087 }
00088
00089 public C_Polyhedron(BD_Shape_int32_t y) {
00090 build_cpp_object(y);
00091 }
00092
00093 public C_Polyhedron(BD_Shape_int64_t y) {
00094 build_cpp_object(y);
00095 }
00096
00097 public C_Polyhedron(BD_Shape_mpz_class y) {
00098 build_cpp_object(y);
00099 }
00100
00101 public C_Polyhedron(BD_Shape_mpq_class y) {
00102 build_cpp_object(y);
00103 }
00104
00105 public C_Polyhedron(Octagonal_Shape_int8_t y) {
00106 build_cpp_object(y);
00107 }
00108
00109 public C_Polyhedron(Octagonal_Shape_int16_t y) {
00110 build_cpp_object(y);
00111 }
00112
00113 public C_Polyhedron(Octagonal_Shape_int32_t y) {
00114 build_cpp_object(y);
00115 }
00116
00117 public C_Polyhedron(Octagonal_Shape_int64_t y) {
00118 build_cpp_object(y);
00119 }
00120
00121 public C_Polyhedron(Octagonal_Shape_mpz_class y) {
00122 build_cpp_object(y);
00123 }
00124
00125 public C_Polyhedron(Octagonal_Shape_mpq_class y) {
00126 build_cpp_object(y);
00127 }
00128
00129 public C_Polyhedron(C_Polyhedron y) {
00130 build_cpp_object(y);
00131 }
00132
00133 public C_Polyhedron(NNC_Polyhedron y) {
00134 build_cpp_object(y);
00135 }
00136
00137 public C_Polyhedron(Grid y) {
00138 build_cpp_object(y);
00139 }
00140
00141 public C_Polyhedron(Float_Box y) {
00142 build_cpp_object(y);
00143 }
00144
00145 public C_Polyhedron(BD_Shape_float y) {
00146 build_cpp_object(y);
00147 }
00148
00149 public C_Polyhedron(Octagonal_Shape_float y) {
00150 build_cpp_object(y);
00151 }
00152
00153 public C_Polyhedron(Double_Box y) {
00154 build_cpp_object(y);
00155 }
00156
00157 public C_Polyhedron(BD_Shape_double y) {
00158 build_cpp_object(y);
00159 }
00160
00161 public C_Polyhedron(Octagonal_Shape_double y) {
00162 build_cpp_object(y);
00163 }
00164
00165 public C_Polyhedron(Long_Double_Box y) {
00166 build_cpp_object(y);
00167 }
00168
00169 public C_Polyhedron(BD_Shape_long_double y) {
00170 build_cpp_object(y);
00171 }
00172
00173 public C_Polyhedron(Octagonal_Shape_long_double y) {
00174 build_cpp_object(y);
00175 }
00176
00177 public C_Polyhedron(Int8_Box y, Complexity_Class complexity) {
00178 build_cpp_object(y, complexity);
00179 }
00180
00181 public C_Polyhedron(Int16_Box y, Complexity_Class complexity) {
00182 build_cpp_object(y, complexity);
00183 }
00184
00185 public C_Polyhedron(Int32_Box y, Complexity_Class complexity) {
00186 build_cpp_object(y, complexity);
00187 }
00188
00189 public C_Polyhedron(Int64_Box y, Complexity_Class complexity) {
00190 build_cpp_object(y, complexity);
00191 }
00192
00193 public C_Polyhedron(Uint8_Box y, Complexity_Class complexity) {
00194 build_cpp_object(y, complexity);
00195 }
00196
00197 public C_Polyhedron(Uint16_Box y, Complexity_Class complexity) {
00198 build_cpp_object(y, complexity);
00199 }
00200
00201 public C_Polyhedron(Uint32_Box y, Complexity_Class complexity) {
00202 build_cpp_object(y, complexity);
00203 }
00204
00205 public C_Polyhedron(Uint64_Box y, Complexity_Class complexity) {
00206 build_cpp_object(y, complexity);
00207 }
00208
00209 public C_Polyhedron(Z_Box y, Complexity_Class complexity) {
00210 build_cpp_object(y, complexity);
00211 }
00212
00213 public C_Polyhedron(Rational_Box y, Complexity_Class complexity) {
00214 build_cpp_object(y, complexity);
00215 }
00216
00217 public C_Polyhedron(BD_Shape_int8_t y, Complexity_Class complexity) {
00218 build_cpp_object(y, complexity);
00219 }
00220
00221 public C_Polyhedron(BD_Shape_int16_t y, Complexity_Class complexity) {
00222 build_cpp_object(y, complexity);
00223 }
00224
00225 public C_Polyhedron(BD_Shape_int32_t y, Complexity_Class complexity) {
00226 build_cpp_object(y, complexity);
00227 }
00228
00229 public C_Polyhedron(BD_Shape_int64_t y, Complexity_Class complexity) {
00230 build_cpp_object(y, complexity);
00231 }
00232
00233 public C_Polyhedron(BD_Shape_mpz_class y, Complexity_Class complexity) {
00234 build_cpp_object(y, complexity);
00235 }
00236
00237 public C_Polyhedron(BD_Shape_mpq_class y, Complexity_Class complexity) {
00238 build_cpp_object(y, complexity);
00239 }
00240
00241 public C_Polyhedron(Octagonal_Shape_int8_t y, Complexity_Class complexity) {
00242 build_cpp_object(y, complexity);
00243 }
00244
00245 public C_Polyhedron(Octagonal_Shape_int16_t y, Complexity_Class complexity) {
00246 build_cpp_object(y, complexity);
00247 }
00248
00249 public C_Polyhedron(Octagonal_Shape_int32_t y, Complexity_Class complexity) {
00250 build_cpp_object(y, complexity);
00251 }
00252
00253 public C_Polyhedron(Octagonal_Shape_int64_t y, Complexity_Class complexity) {
00254 build_cpp_object(y, complexity);
00255 }
00256
00257 public C_Polyhedron(Octagonal_Shape_mpz_class y, Complexity_Class complexity) {
00258 build_cpp_object(y, complexity);
00259 }
00260
00261 public C_Polyhedron(Octagonal_Shape_mpq_class y, Complexity_Class complexity) {
00262 build_cpp_object(y, complexity);
00263 }
00264
00265 public C_Polyhedron(C_Polyhedron y, Complexity_Class complexity) {
00266 build_cpp_object(y, complexity);
00267 }
00268
00269 public C_Polyhedron(NNC_Polyhedron y, Complexity_Class complexity) {
00270 build_cpp_object(y, complexity);
00271 }
00272
00273 public C_Polyhedron(Grid y, Complexity_Class complexity) {
00274 build_cpp_object(y, complexity);
00275 }
00276
00277 public C_Polyhedron(Float_Box y, Complexity_Class complexity) {
00278 build_cpp_object(y, complexity);
00279 }
00280
00281 public C_Polyhedron(BD_Shape_float y, Complexity_Class complexity) {
00282 build_cpp_object(y, complexity);
00283 }
00284
00285 public C_Polyhedron(Octagonal_Shape_float y, Complexity_Class complexity) {
00286 build_cpp_object(y, complexity);
00287 }
00288
00289 public C_Polyhedron(Double_Box y, Complexity_Class complexity) {
00290 build_cpp_object(y, complexity);
00291 }
00292
00293 public C_Polyhedron(BD_Shape_double y, Complexity_Class complexity) {
00294 build_cpp_object(y, complexity);
00295 }
00296
00297 public C_Polyhedron(Octagonal_Shape_double y, Complexity_Class complexity) {
00298 build_cpp_object(y, complexity);
00299 }
00300
00301 public C_Polyhedron(Long_Double_Box y, Complexity_Class complexity) {
00302 build_cpp_object(y, complexity);
00303 }
00304
00305 public C_Polyhedron(BD_Shape_long_double y, Complexity_Class complexity) {
00306 build_cpp_object(y, complexity);
00307 }
00308
00309 public C_Polyhedron(Octagonal_Shape_long_double y, Complexity_Class complexity) {
00310 build_cpp_object(y, complexity);
00311 }
00312
00313 public C_Polyhedron(Constraint_System cs) {
00314 build_cpp_object(cs);
00315 }
00316
00317 public C_Polyhedron(Congruence_System cs) {
00318 build_cpp_object(cs);
00319 }
00320
00321 public C_Polyhedron(Generator_System cs) {
00322 build_cpp_object(cs);
00323 }
00324
00325 public native boolean upper_bound_assign_if_exact(C_Polyhedron y);
00326
00327 public native boolean poly_hull_assign_if_exact(C_Polyhedron y);
00328
00329
00330 public static native
00331 Pair <C_Polyhedron, Pointset_Powerset_NNC_Polyhedron >
00332 linear_partition(C_Polyhedron p, C_Polyhedron q);
00333 public native void free();
00334
00335 private native void build_cpp_object(Constraint_System cs);
00336
00337 private native void build_cpp_object(Congruence_System cs);
00338
00339 private native void build_cpp_object(Generator_System cs);
00340
00341 private native void build_cpp_object(long num_dimensions,
00342 Degenerate_Element kind);
00343
00344 private native void build_cpp_object(Int8_Box y);
00345
00346 private native void build_cpp_object(Int8_Box y,
00347 Complexity_Class complexity);
00348
00349 private native void build_cpp_object(Int16_Box y);
00350
00351 private native void build_cpp_object(Int16_Box y,
00352 Complexity_Class complexity);
00353
00354 private native void build_cpp_object(Int32_Box y);
00355
00356 private native void build_cpp_object(Int32_Box y,
00357 Complexity_Class complexity);
00358
00359 private native void build_cpp_object(Int64_Box y);
00360
00361 private native void build_cpp_object(Int64_Box y,
00362 Complexity_Class complexity);
00363
00364 private native void build_cpp_object(Uint8_Box y);
00365
00366 private native void build_cpp_object(Uint8_Box y,
00367 Complexity_Class complexity);
00368
00369 private native void build_cpp_object(Uint16_Box y);
00370
00371 private native void build_cpp_object(Uint16_Box y,
00372 Complexity_Class complexity);
00373
00374 private native void build_cpp_object(Uint32_Box y);
00375
00376 private native void build_cpp_object(Uint32_Box y,
00377 Complexity_Class complexity);
00378
00379 private native void build_cpp_object(Uint64_Box y);
00380
00381 private native void build_cpp_object(Uint64_Box y,
00382 Complexity_Class complexity);
00383
00384 private native void build_cpp_object(Z_Box y);
00385
00386 private native void build_cpp_object(Z_Box y,
00387 Complexity_Class complexity);
00388
00389 private native void build_cpp_object(Rational_Box y);
00390
00391 private native void build_cpp_object(Rational_Box y,
00392 Complexity_Class complexity);
00393
00394 private native void build_cpp_object(BD_Shape_int8_t y);
00395
00396 private native void build_cpp_object(BD_Shape_int8_t y,
00397 Complexity_Class complexity);
00398
00399 private native void build_cpp_object(BD_Shape_int16_t y);
00400
00401 private native void build_cpp_object(BD_Shape_int16_t y,
00402 Complexity_Class complexity);
00403
00404 private native void build_cpp_object(BD_Shape_int32_t y);
00405
00406 private native void build_cpp_object(BD_Shape_int32_t y,
00407 Complexity_Class complexity);
00408
00409 private native void build_cpp_object(BD_Shape_int64_t y);
00410
00411 private native void build_cpp_object(BD_Shape_int64_t y,
00412 Complexity_Class complexity);
00413
00414 private native void build_cpp_object(BD_Shape_mpz_class y);
00415
00416 private native void build_cpp_object(BD_Shape_mpz_class y,
00417 Complexity_Class complexity);
00418
00419 private native void build_cpp_object(BD_Shape_mpq_class y);
00420
00421 private native void build_cpp_object(BD_Shape_mpq_class y,
00422 Complexity_Class complexity);
00423
00424 private native void build_cpp_object(Octagonal_Shape_int8_t y);
00425
00426 private native void build_cpp_object(Octagonal_Shape_int8_t y,
00427 Complexity_Class complexity);
00428
00429 private native void build_cpp_object(Octagonal_Shape_int16_t y);
00430
00431 private native void build_cpp_object(Octagonal_Shape_int16_t y,
00432 Complexity_Class complexity);
00433
00434 private native void build_cpp_object(Octagonal_Shape_int32_t y);
00435
00436 private native void build_cpp_object(Octagonal_Shape_int32_t y,
00437 Complexity_Class complexity);
00438
00439 private native void build_cpp_object(Octagonal_Shape_int64_t y);
00440
00441 private native void build_cpp_object(Octagonal_Shape_int64_t y,
00442 Complexity_Class complexity);
00443
00444 private native void build_cpp_object(Octagonal_Shape_mpz_class y);
00445
00446 private native void build_cpp_object(Octagonal_Shape_mpz_class y,
00447 Complexity_Class complexity);
00448
00449 private native void build_cpp_object(Octagonal_Shape_mpq_class y);
00450
00451 private native void build_cpp_object(Octagonal_Shape_mpq_class y,
00452 Complexity_Class complexity);
00453
00454 private native void build_cpp_object(C_Polyhedron y);
00455
00456 private native void build_cpp_object(C_Polyhedron y,
00457 Complexity_Class complexity);
00458
00459 private native void build_cpp_object(NNC_Polyhedron y);
00460
00461 private native void build_cpp_object(NNC_Polyhedron y,
00462 Complexity_Class complexity);
00463
00464 private native void build_cpp_object(Grid y);
00465
00466 private native void build_cpp_object(Grid y,
00467 Complexity_Class complexity);
00468
00469 private native void build_cpp_object(Float_Box y);
00470
00471 private native void build_cpp_object(Float_Box y,
00472 Complexity_Class complexity);
00473
00474 private native void build_cpp_object(BD_Shape_float y);
00475
00476 private native void build_cpp_object(BD_Shape_float y,
00477 Complexity_Class complexity);
00478
00479 private native void build_cpp_object(Octagonal_Shape_float y);
00480
00481 private native void build_cpp_object(Octagonal_Shape_float y,
00482 Complexity_Class complexity);
00483
00484 private native void build_cpp_object(Double_Box y);
00485
00486 private native void build_cpp_object(Double_Box y,
00487 Complexity_Class complexity);
00488
00489 private native void build_cpp_object(BD_Shape_double y);
00490
00491 private native void build_cpp_object(BD_Shape_double y,
00492 Complexity_Class complexity);
00493
00494 private native void build_cpp_object(Octagonal_Shape_double y);
00495
00496 private native void build_cpp_object(Octagonal_Shape_double y,
00497 Complexity_Class complexity);
00498
00499 private native void build_cpp_object(Long_Double_Box y);
00500
00501 private native void build_cpp_object(Long_Double_Box y,
00502 Complexity_Class complexity);
00503
00504 private native void build_cpp_object(BD_Shape_long_double y);
00505
00506 private native void build_cpp_object(BD_Shape_long_double y,
00507 Complexity_Class complexity);
00508
00509 private native void build_cpp_object(Octagonal_Shape_long_double y);
00510
00511 private native void build_cpp_object(Octagonal_Shape_long_double y,
00512 Complexity_Class complexity);
00513
00514 }
00515