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