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 public class Termination {
00026
00027 public static native boolean
00028 termination_test_MS_Int8_Box(Int8_Box p);
00029 public static native boolean
00030 termination_test_PR_Int8_Box(Int8_Box p);
00031
00032
00033
00034
00035
00036 public static native boolean
00037 one_affine_ranking_function_MS_Int8_Box
00038 (Int8_Box p, Generator g);
00039 public static native boolean
00040 one_affine_ranking_function_PR_Int8_Box
00041 (Int8_Box p, Generator g);
00042
00043
00044
00045
00046
00047 public static native void
00048 all_affine_ranking_functions_MS_Int8_Box
00049 (Int8_Box p, Polyhedron ph);
00050 public static native void
00051 all_affine_ranking_functions_PR_Int8_Box
00052 (Int8_Box p, Polyhedron ph);
00053
00054
00055
00056
00057
00058 public static native void
00059 all_affine_quasi_ranking_functions_MS_Int8_Box
00060 (Int8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00061
00062
00063
00064
00065 public static native boolean
00066 termination_test_MS_Int8_Box_2
00067 (Int8_Box p_before, Int8_Box p_after);
00068 public static native boolean
00069 termination_test_PR_Int8_Box_2
00070 (Int8_Box p_before, Int8_Box p_after);
00071
00072
00073
00074
00075
00076 public static native boolean
00077 one_affine_ranking_function_MS_Int8_Box_2
00078 (Int8_Box p_before, Int8_Box p_after, Generator g);
00079 public static native boolean
00080 one_affine_ranking_function_PR_Int8_Box_2
00081 (Int8_Box p_before, Int8_Box p_after, Generator g);
00082
00083
00084
00085
00086
00087 public static native void
00088 all_affine_ranking_functions_MS_Int8_Box_2
00089 (Int8_Box p_before, Int8_Box p_after, Polyhedron ph);
00090 public static native void
00091 all_affine_ranking_functions_PR_Int8_Box_2
00092 (Int8_Box p_before, Int8_Box p_after, Polyhedron ph);
00093
00094
00095
00096
00097
00098 public static native void
00099 all_affine_quasi_ranking_functions_MS_Int8_Box_2
00100 (Int8_Box p_before, Int8_Box p_after,
00101 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00102
00103
00104
00105
00106
00107 public static native boolean
00108 termination_test_MS_Int16_Box(Int16_Box p);
00109 public static native boolean
00110 termination_test_PR_Int16_Box(Int16_Box p);
00111
00112
00113
00114
00115
00116 public static native boolean
00117 one_affine_ranking_function_MS_Int16_Box
00118 (Int16_Box p, Generator g);
00119 public static native boolean
00120 one_affine_ranking_function_PR_Int16_Box
00121 (Int16_Box p, Generator g);
00122
00123
00124
00125
00126
00127 public static native void
00128 all_affine_ranking_functions_MS_Int16_Box
00129 (Int16_Box p, Polyhedron ph);
00130 public static native void
00131 all_affine_ranking_functions_PR_Int16_Box
00132 (Int16_Box p, Polyhedron ph);
00133
00134
00135
00136
00137
00138 public static native void
00139 all_affine_quasi_ranking_functions_MS_Int16_Box
00140 (Int16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00141
00142
00143
00144
00145 public static native boolean
00146 termination_test_MS_Int16_Box_2
00147 (Int16_Box p_before, Int16_Box p_after);
00148 public static native boolean
00149 termination_test_PR_Int16_Box_2
00150 (Int16_Box p_before, Int16_Box p_after);
00151
00152
00153
00154
00155
00156 public static native boolean
00157 one_affine_ranking_function_MS_Int16_Box_2
00158 (Int16_Box p_before, Int16_Box p_after, Generator g);
00159 public static native boolean
00160 one_affine_ranking_function_PR_Int16_Box_2
00161 (Int16_Box p_before, Int16_Box p_after, Generator g);
00162
00163
00164
00165
00166
00167 public static native void
00168 all_affine_ranking_functions_MS_Int16_Box_2
00169 (Int16_Box p_before, Int16_Box p_after, Polyhedron ph);
00170 public static native void
00171 all_affine_ranking_functions_PR_Int16_Box_2
00172 (Int16_Box p_before, Int16_Box p_after, Polyhedron ph);
00173
00174
00175
00176
00177
00178 public static native void
00179 all_affine_quasi_ranking_functions_MS_Int16_Box_2
00180 (Int16_Box p_before, Int16_Box p_after,
00181 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00182
00183
00184
00185
00186
00187 public static native boolean
00188 termination_test_MS_Int32_Box(Int32_Box p);
00189 public static native boolean
00190 termination_test_PR_Int32_Box(Int32_Box p);
00191
00192
00193
00194
00195
00196 public static native boolean
00197 one_affine_ranking_function_MS_Int32_Box
00198 (Int32_Box p, Generator g);
00199 public static native boolean
00200 one_affine_ranking_function_PR_Int32_Box
00201 (Int32_Box p, Generator g);
00202
00203
00204
00205
00206
00207 public static native void
00208 all_affine_ranking_functions_MS_Int32_Box
00209 (Int32_Box p, Polyhedron ph);
00210 public static native void
00211 all_affine_ranking_functions_PR_Int32_Box
00212 (Int32_Box p, Polyhedron ph);
00213
00214
00215
00216
00217
00218 public static native void
00219 all_affine_quasi_ranking_functions_MS_Int32_Box
00220 (Int32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00221
00222
00223
00224
00225 public static native boolean
00226 termination_test_MS_Int32_Box_2
00227 (Int32_Box p_before, Int32_Box p_after);
00228 public static native boolean
00229 termination_test_PR_Int32_Box_2
00230 (Int32_Box p_before, Int32_Box p_after);
00231
00232
00233
00234
00235
00236 public static native boolean
00237 one_affine_ranking_function_MS_Int32_Box_2
00238 (Int32_Box p_before, Int32_Box p_after, Generator g);
00239 public static native boolean
00240 one_affine_ranking_function_PR_Int32_Box_2
00241 (Int32_Box p_before, Int32_Box p_after, Generator g);
00242
00243
00244
00245
00246
00247 public static native void
00248 all_affine_ranking_functions_MS_Int32_Box_2
00249 (Int32_Box p_before, Int32_Box p_after, Polyhedron ph);
00250 public static native void
00251 all_affine_ranking_functions_PR_Int32_Box_2
00252 (Int32_Box p_before, Int32_Box p_after, Polyhedron ph);
00253
00254
00255
00256
00257
00258 public static native void
00259 all_affine_quasi_ranking_functions_MS_Int32_Box_2
00260 (Int32_Box p_before, Int32_Box p_after,
00261 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00262
00263
00264
00265
00266
00267 public static native boolean
00268 termination_test_MS_Int64_Box(Int64_Box p);
00269 public static native boolean
00270 termination_test_PR_Int64_Box(Int64_Box p);
00271
00272
00273
00274
00275
00276 public static native boolean
00277 one_affine_ranking_function_MS_Int64_Box
00278 (Int64_Box p, Generator g);
00279 public static native boolean
00280 one_affine_ranking_function_PR_Int64_Box
00281 (Int64_Box p, Generator g);
00282
00283
00284
00285
00286
00287 public static native void
00288 all_affine_ranking_functions_MS_Int64_Box
00289 (Int64_Box p, Polyhedron ph);
00290 public static native void
00291 all_affine_ranking_functions_PR_Int64_Box
00292 (Int64_Box p, Polyhedron ph);
00293
00294
00295
00296
00297
00298 public static native void
00299 all_affine_quasi_ranking_functions_MS_Int64_Box
00300 (Int64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00301
00302
00303
00304
00305 public static native boolean
00306 termination_test_MS_Int64_Box_2
00307 (Int64_Box p_before, Int64_Box p_after);
00308 public static native boolean
00309 termination_test_PR_Int64_Box_2
00310 (Int64_Box p_before, Int64_Box p_after);
00311
00312
00313
00314
00315
00316 public static native boolean
00317 one_affine_ranking_function_MS_Int64_Box_2
00318 (Int64_Box p_before, Int64_Box p_after, Generator g);
00319 public static native boolean
00320 one_affine_ranking_function_PR_Int64_Box_2
00321 (Int64_Box p_before, Int64_Box p_after, Generator g);
00322
00323
00324
00325
00326
00327 public static native void
00328 all_affine_ranking_functions_MS_Int64_Box_2
00329 (Int64_Box p_before, Int64_Box p_after, Polyhedron ph);
00330 public static native void
00331 all_affine_ranking_functions_PR_Int64_Box_2
00332 (Int64_Box p_before, Int64_Box p_after, Polyhedron ph);
00333
00334
00335
00336
00337
00338 public static native void
00339 all_affine_quasi_ranking_functions_MS_Int64_Box_2
00340 (Int64_Box p_before, Int64_Box p_after,
00341 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00342
00343
00344
00345
00346
00347 public static native boolean
00348 termination_test_MS_Uint8_Box(Uint8_Box p);
00349 public static native boolean
00350 termination_test_PR_Uint8_Box(Uint8_Box p);
00351
00352
00353
00354
00355
00356 public static native boolean
00357 one_affine_ranking_function_MS_Uint8_Box
00358 (Uint8_Box p, Generator g);
00359 public static native boolean
00360 one_affine_ranking_function_PR_Uint8_Box
00361 (Uint8_Box p, Generator g);
00362
00363
00364
00365
00366
00367 public static native void
00368 all_affine_ranking_functions_MS_Uint8_Box
00369 (Uint8_Box p, Polyhedron ph);
00370 public static native void
00371 all_affine_ranking_functions_PR_Uint8_Box
00372 (Uint8_Box p, Polyhedron ph);
00373
00374
00375
00376
00377
00378 public static native void
00379 all_affine_quasi_ranking_functions_MS_Uint8_Box
00380 (Uint8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00381
00382
00383
00384
00385 public static native boolean
00386 termination_test_MS_Uint8_Box_2
00387 (Uint8_Box p_before, Uint8_Box p_after);
00388 public static native boolean
00389 termination_test_PR_Uint8_Box_2
00390 (Uint8_Box p_before, Uint8_Box p_after);
00391
00392
00393
00394
00395
00396 public static native boolean
00397 one_affine_ranking_function_MS_Uint8_Box_2
00398 (Uint8_Box p_before, Uint8_Box p_after, Generator g);
00399 public static native boolean
00400 one_affine_ranking_function_PR_Uint8_Box_2
00401 (Uint8_Box p_before, Uint8_Box p_after, Generator g);
00402
00403
00404
00405
00406
00407 public static native void
00408 all_affine_ranking_functions_MS_Uint8_Box_2
00409 (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph);
00410 public static native void
00411 all_affine_ranking_functions_PR_Uint8_Box_2
00412 (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph);
00413
00414
00415
00416
00417
00418 public static native void
00419 all_affine_quasi_ranking_functions_MS_Uint8_Box_2
00420 (Uint8_Box p_before, Uint8_Box p_after,
00421 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00422
00423
00424
00425
00426
00427 public static native boolean
00428 termination_test_MS_Uint16_Box(Uint16_Box p);
00429 public static native boolean
00430 termination_test_PR_Uint16_Box(Uint16_Box p);
00431
00432
00433
00434
00435
00436 public static native boolean
00437 one_affine_ranking_function_MS_Uint16_Box
00438 (Uint16_Box p, Generator g);
00439 public static native boolean
00440 one_affine_ranking_function_PR_Uint16_Box
00441 (Uint16_Box p, Generator g);
00442
00443
00444
00445
00446
00447 public static native void
00448 all_affine_ranking_functions_MS_Uint16_Box
00449 (Uint16_Box p, Polyhedron ph);
00450 public static native void
00451 all_affine_ranking_functions_PR_Uint16_Box
00452 (Uint16_Box p, Polyhedron ph);
00453
00454
00455
00456
00457
00458 public static native void
00459 all_affine_quasi_ranking_functions_MS_Uint16_Box
00460 (Uint16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00461
00462
00463
00464
00465 public static native boolean
00466 termination_test_MS_Uint16_Box_2
00467 (Uint16_Box p_before, Uint16_Box p_after);
00468 public static native boolean
00469 termination_test_PR_Uint16_Box_2
00470 (Uint16_Box p_before, Uint16_Box p_after);
00471
00472
00473
00474
00475
00476 public static native boolean
00477 one_affine_ranking_function_MS_Uint16_Box_2
00478 (Uint16_Box p_before, Uint16_Box p_after, Generator g);
00479 public static native boolean
00480 one_affine_ranking_function_PR_Uint16_Box_2
00481 (Uint16_Box p_before, Uint16_Box p_after, Generator g);
00482
00483
00484
00485
00486
00487 public static native void
00488 all_affine_ranking_functions_MS_Uint16_Box_2
00489 (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph);
00490 public static native void
00491 all_affine_ranking_functions_PR_Uint16_Box_2
00492 (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph);
00493
00494
00495
00496
00497
00498 public static native void
00499 all_affine_quasi_ranking_functions_MS_Uint16_Box_2
00500 (Uint16_Box p_before, Uint16_Box p_after,
00501 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00502
00503
00504
00505
00506
00507 public static native boolean
00508 termination_test_MS_Uint32_Box(Uint32_Box p);
00509 public static native boolean
00510 termination_test_PR_Uint32_Box(Uint32_Box p);
00511
00512
00513
00514
00515
00516 public static native boolean
00517 one_affine_ranking_function_MS_Uint32_Box
00518 (Uint32_Box p, Generator g);
00519 public static native boolean
00520 one_affine_ranking_function_PR_Uint32_Box
00521 (Uint32_Box p, Generator g);
00522
00523
00524
00525
00526
00527 public static native void
00528 all_affine_ranking_functions_MS_Uint32_Box
00529 (Uint32_Box p, Polyhedron ph);
00530 public static native void
00531 all_affine_ranking_functions_PR_Uint32_Box
00532 (Uint32_Box p, Polyhedron ph);
00533
00534
00535
00536
00537
00538 public static native void
00539 all_affine_quasi_ranking_functions_MS_Uint32_Box
00540 (Uint32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00541
00542
00543
00544
00545 public static native boolean
00546 termination_test_MS_Uint32_Box_2
00547 (Uint32_Box p_before, Uint32_Box p_after);
00548 public static native boolean
00549 termination_test_PR_Uint32_Box_2
00550 (Uint32_Box p_before, Uint32_Box p_after);
00551
00552
00553
00554
00555
00556 public static native boolean
00557 one_affine_ranking_function_MS_Uint32_Box_2
00558 (Uint32_Box p_before, Uint32_Box p_after, Generator g);
00559 public static native boolean
00560 one_affine_ranking_function_PR_Uint32_Box_2
00561 (Uint32_Box p_before, Uint32_Box p_after, Generator g);
00562
00563
00564
00565
00566
00567 public static native void
00568 all_affine_ranking_functions_MS_Uint32_Box_2
00569 (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph);
00570 public static native void
00571 all_affine_ranking_functions_PR_Uint32_Box_2
00572 (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph);
00573
00574
00575
00576
00577
00578 public static native void
00579 all_affine_quasi_ranking_functions_MS_Uint32_Box_2
00580 (Uint32_Box p_before, Uint32_Box p_after,
00581 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00582
00583
00584
00585
00586
00587 public static native boolean
00588 termination_test_MS_Uint64_Box(Uint64_Box p);
00589 public static native boolean
00590 termination_test_PR_Uint64_Box(Uint64_Box p);
00591
00592
00593
00594
00595
00596 public static native boolean
00597 one_affine_ranking_function_MS_Uint64_Box
00598 (Uint64_Box p, Generator g);
00599 public static native boolean
00600 one_affine_ranking_function_PR_Uint64_Box
00601 (Uint64_Box p, Generator g);
00602
00603
00604
00605
00606
00607 public static native void
00608 all_affine_ranking_functions_MS_Uint64_Box
00609 (Uint64_Box p, Polyhedron ph);
00610 public static native void
00611 all_affine_ranking_functions_PR_Uint64_Box
00612 (Uint64_Box p, Polyhedron ph);
00613
00614
00615
00616
00617
00618 public static native void
00619 all_affine_quasi_ranking_functions_MS_Uint64_Box
00620 (Uint64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00621
00622
00623
00624
00625 public static native boolean
00626 termination_test_MS_Uint64_Box_2
00627 (Uint64_Box p_before, Uint64_Box p_after);
00628 public static native boolean
00629 termination_test_PR_Uint64_Box_2
00630 (Uint64_Box p_before, Uint64_Box p_after);
00631
00632
00633
00634
00635
00636 public static native boolean
00637 one_affine_ranking_function_MS_Uint64_Box_2
00638 (Uint64_Box p_before, Uint64_Box p_after, Generator g);
00639 public static native boolean
00640 one_affine_ranking_function_PR_Uint64_Box_2
00641 (Uint64_Box p_before, Uint64_Box p_after, Generator g);
00642
00643
00644
00645
00646
00647 public static native void
00648 all_affine_ranking_functions_MS_Uint64_Box_2
00649 (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph);
00650 public static native void
00651 all_affine_ranking_functions_PR_Uint64_Box_2
00652 (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph);
00653
00654
00655
00656
00657
00658 public static native void
00659 all_affine_quasi_ranking_functions_MS_Uint64_Box_2
00660 (Uint64_Box p_before, Uint64_Box p_after,
00661 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00662
00663
00664
00665
00666
00667 public static native boolean
00668 termination_test_MS_Z_Box(Z_Box p);
00669 public static native boolean
00670 termination_test_PR_Z_Box(Z_Box p);
00671
00672
00673
00674
00675
00676 public static native boolean
00677 one_affine_ranking_function_MS_Z_Box
00678 (Z_Box p, Generator g);
00679 public static native boolean
00680 one_affine_ranking_function_PR_Z_Box
00681 (Z_Box p, Generator g);
00682
00683
00684
00685
00686
00687 public static native void
00688 all_affine_ranking_functions_MS_Z_Box
00689 (Z_Box p, Polyhedron ph);
00690 public static native void
00691 all_affine_ranking_functions_PR_Z_Box
00692 (Z_Box p, Polyhedron ph);
00693
00694
00695
00696
00697
00698 public static native void
00699 all_affine_quasi_ranking_functions_MS_Z_Box
00700 (Z_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00701
00702
00703
00704
00705 public static native boolean
00706 termination_test_MS_Z_Box_2
00707 (Z_Box p_before, Z_Box p_after);
00708 public static native boolean
00709 termination_test_PR_Z_Box_2
00710 (Z_Box p_before, Z_Box p_after);
00711
00712
00713
00714
00715
00716 public static native boolean
00717 one_affine_ranking_function_MS_Z_Box_2
00718 (Z_Box p_before, Z_Box p_after, Generator g);
00719 public static native boolean
00720 one_affine_ranking_function_PR_Z_Box_2
00721 (Z_Box p_before, Z_Box p_after, Generator g);
00722
00723
00724
00725
00726
00727 public static native void
00728 all_affine_ranking_functions_MS_Z_Box_2
00729 (Z_Box p_before, Z_Box p_after, Polyhedron ph);
00730 public static native void
00731 all_affine_ranking_functions_PR_Z_Box_2
00732 (Z_Box p_before, Z_Box p_after, Polyhedron ph);
00733
00734
00735
00736
00737
00738 public static native void
00739 all_affine_quasi_ranking_functions_MS_Z_Box_2
00740 (Z_Box p_before, Z_Box p_after,
00741 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00742
00743
00744
00745
00746
00747 public static native boolean
00748 termination_test_MS_Rational_Box(Rational_Box p);
00749 public static native boolean
00750 termination_test_PR_Rational_Box(Rational_Box p);
00751
00752
00753
00754
00755
00756 public static native boolean
00757 one_affine_ranking_function_MS_Rational_Box
00758 (Rational_Box p, Generator g);
00759 public static native boolean
00760 one_affine_ranking_function_PR_Rational_Box
00761 (Rational_Box p, Generator g);
00762
00763
00764
00765
00766
00767 public static native void
00768 all_affine_ranking_functions_MS_Rational_Box
00769 (Rational_Box p, Polyhedron ph);
00770 public static native void
00771 all_affine_ranking_functions_PR_Rational_Box
00772 (Rational_Box p, Polyhedron ph);
00773
00774
00775
00776
00777
00778 public static native void
00779 all_affine_quasi_ranking_functions_MS_Rational_Box
00780 (Rational_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00781
00782
00783
00784
00785 public static native boolean
00786 termination_test_MS_Rational_Box_2
00787 (Rational_Box p_before, Rational_Box p_after);
00788 public static native boolean
00789 termination_test_PR_Rational_Box_2
00790 (Rational_Box p_before, Rational_Box p_after);
00791
00792
00793
00794
00795
00796 public static native boolean
00797 one_affine_ranking_function_MS_Rational_Box_2
00798 (Rational_Box p_before, Rational_Box p_after, Generator g);
00799 public static native boolean
00800 one_affine_ranking_function_PR_Rational_Box_2
00801 (Rational_Box p_before, Rational_Box p_after, Generator g);
00802
00803
00804
00805
00806
00807 public static native void
00808 all_affine_ranking_functions_MS_Rational_Box_2
00809 (Rational_Box p_before, Rational_Box p_after, Polyhedron ph);
00810 public static native void
00811 all_affine_ranking_functions_PR_Rational_Box_2
00812 (Rational_Box p_before, Rational_Box p_after, Polyhedron ph);
00813
00814
00815
00816
00817
00818 public static native void
00819 all_affine_quasi_ranking_functions_MS_Rational_Box_2
00820 (Rational_Box p_before, Rational_Box p_after,
00821 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00822
00823
00824
00825
00826
00827 public static native boolean
00828 termination_test_MS_BD_Shape_int8_t(BD_Shape_int8_t p);
00829 public static native boolean
00830 termination_test_PR_BD_Shape_int8_t(BD_Shape_int8_t p);
00831
00832
00833
00834
00835
00836 public static native boolean
00837 one_affine_ranking_function_MS_BD_Shape_int8_t
00838 (BD_Shape_int8_t p, Generator g);
00839 public static native boolean
00840 one_affine_ranking_function_PR_BD_Shape_int8_t
00841 (BD_Shape_int8_t p, Generator g);
00842
00843
00844
00845
00846
00847 public static native void
00848 all_affine_ranking_functions_MS_BD_Shape_int8_t
00849 (BD_Shape_int8_t p, Polyhedron ph);
00850 public static native void
00851 all_affine_ranking_functions_PR_BD_Shape_int8_t
00852 (BD_Shape_int8_t p, Polyhedron ph);
00853
00854
00855
00856
00857
00858 public static native void
00859 all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t
00860 (BD_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00861
00862
00863
00864
00865 public static native boolean
00866 termination_test_MS_BD_Shape_int8_t_2
00867 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after);
00868 public static native boolean
00869 termination_test_PR_BD_Shape_int8_t_2
00870 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after);
00871
00872
00873
00874
00875
00876 public static native boolean
00877 one_affine_ranking_function_MS_BD_Shape_int8_t_2
00878 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g);
00879 public static native boolean
00880 one_affine_ranking_function_PR_BD_Shape_int8_t_2
00881 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g);
00882
00883
00884
00885
00886
00887 public static native void
00888 all_affine_ranking_functions_MS_BD_Shape_int8_t_2
00889 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph);
00890 public static native void
00891 all_affine_ranking_functions_PR_BD_Shape_int8_t_2
00892 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph);
00893
00894
00895
00896
00897
00898 public static native void
00899 all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2
00900 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after,
00901 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00902
00903
00904
00905
00906
00907 public static native boolean
00908 termination_test_MS_BD_Shape_int16_t(BD_Shape_int16_t p);
00909 public static native boolean
00910 termination_test_PR_BD_Shape_int16_t(BD_Shape_int16_t p);
00911
00912
00913
00914
00915
00916 public static native boolean
00917 one_affine_ranking_function_MS_BD_Shape_int16_t
00918 (BD_Shape_int16_t p, Generator g);
00919 public static native boolean
00920 one_affine_ranking_function_PR_BD_Shape_int16_t
00921 (BD_Shape_int16_t p, Generator g);
00922
00923
00924
00925
00926
00927 public static native void
00928 all_affine_ranking_functions_MS_BD_Shape_int16_t
00929 (BD_Shape_int16_t p, Polyhedron ph);
00930 public static native void
00931 all_affine_ranking_functions_PR_BD_Shape_int16_t
00932 (BD_Shape_int16_t p, Polyhedron ph);
00933
00934
00935
00936
00937
00938 public static native void
00939 all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t
00940 (BD_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
00941
00942
00943
00944
00945 public static native boolean
00946 termination_test_MS_BD_Shape_int16_t_2
00947 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after);
00948 public static native boolean
00949 termination_test_PR_BD_Shape_int16_t_2
00950 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after);
00951
00952
00953
00954
00955
00956 public static native boolean
00957 one_affine_ranking_function_MS_BD_Shape_int16_t_2
00958 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g);
00959 public static native boolean
00960 one_affine_ranking_function_PR_BD_Shape_int16_t_2
00961 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g);
00962
00963
00964
00965
00966
00967 public static native void
00968 all_affine_ranking_functions_MS_BD_Shape_int16_t_2
00969 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph);
00970 public static native void
00971 all_affine_ranking_functions_PR_BD_Shape_int16_t_2
00972 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph);
00973
00974
00975
00976
00977
00978 public static native void
00979 all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2
00980 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after,
00981 Polyhedron ph_decreasing, Polyhedron ph_bounded);
00982
00983
00984
00985
00986
00987 public static native boolean
00988 termination_test_MS_BD_Shape_int32_t(BD_Shape_int32_t p);
00989 public static native boolean
00990 termination_test_PR_BD_Shape_int32_t(BD_Shape_int32_t p);
00991
00992
00993
00994
00995
00996 public static native boolean
00997 one_affine_ranking_function_MS_BD_Shape_int32_t
00998 (BD_Shape_int32_t p, Generator g);
00999 public static native boolean
01000 one_affine_ranking_function_PR_BD_Shape_int32_t
01001 (BD_Shape_int32_t p, Generator g);
01002
01003
01004
01005
01006
01007 public static native void
01008 all_affine_ranking_functions_MS_BD_Shape_int32_t
01009 (BD_Shape_int32_t p, Polyhedron ph);
01010 public static native void
01011 all_affine_ranking_functions_PR_BD_Shape_int32_t
01012 (BD_Shape_int32_t p, Polyhedron ph);
01013
01014
01015
01016
01017
01018 public static native void
01019 all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t
01020 (BD_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01021
01022
01023
01024
01025 public static native boolean
01026 termination_test_MS_BD_Shape_int32_t_2
01027 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after);
01028 public static native boolean
01029 termination_test_PR_BD_Shape_int32_t_2
01030 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after);
01031
01032
01033
01034
01035
01036 public static native boolean
01037 one_affine_ranking_function_MS_BD_Shape_int32_t_2
01038 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g);
01039 public static native boolean
01040 one_affine_ranking_function_PR_BD_Shape_int32_t_2
01041 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g);
01042
01043
01044
01045
01046
01047 public static native void
01048 all_affine_ranking_functions_MS_BD_Shape_int32_t_2
01049 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph);
01050 public static native void
01051 all_affine_ranking_functions_PR_BD_Shape_int32_t_2
01052 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph);
01053
01054
01055
01056
01057
01058 public static native void
01059 all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2
01060 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after,
01061 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01062
01063
01064
01065
01066
01067 public static native boolean
01068 termination_test_MS_BD_Shape_int64_t(BD_Shape_int64_t p);
01069 public static native boolean
01070 termination_test_PR_BD_Shape_int64_t(BD_Shape_int64_t p);
01071
01072
01073
01074
01075
01076 public static native boolean
01077 one_affine_ranking_function_MS_BD_Shape_int64_t
01078 (BD_Shape_int64_t p, Generator g);
01079 public static native boolean
01080 one_affine_ranking_function_PR_BD_Shape_int64_t
01081 (BD_Shape_int64_t p, Generator g);
01082
01083
01084
01085
01086
01087 public static native void
01088 all_affine_ranking_functions_MS_BD_Shape_int64_t
01089 (BD_Shape_int64_t p, Polyhedron ph);
01090 public static native void
01091 all_affine_ranking_functions_PR_BD_Shape_int64_t
01092 (BD_Shape_int64_t p, Polyhedron ph);
01093
01094
01095
01096
01097
01098 public static native void
01099 all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t
01100 (BD_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01101
01102
01103
01104
01105 public static native boolean
01106 termination_test_MS_BD_Shape_int64_t_2
01107 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after);
01108 public static native boolean
01109 termination_test_PR_BD_Shape_int64_t_2
01110 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after);
01111
01112
01113
01114
01115
01116 public static native boolean
01117 one_affine_ranking_function_MS_BD_Shape_int64_t_2
01118 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g);
01119 public static native boolean
01120 one_affine_ranking_function_PR_BD_Shape_int64_t_2
01121 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g);
01122
01123
01124
01125
01126
01127 public static native void
01128 all_affine_ranking_functions_MS_BD_Shape_int64_t_2
01129 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph);
01130 public static native void
01131 all_affine_ranking_functions_PR_BD_Shape_int64_t_2
01132 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph);
01133
01134
01135
01136
01137
01138 public static native void
01139 all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2
01140 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after,
01141 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01142
01143
01144
01145
01146
01147 public static native boolean
01148 termination_test_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p);
01149 public static native boolean
01150 termination_test_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p);
01151
01152
01153
01154
01155
01156 public static native boolean
01157 one_affine_ranking_function_MS_BD_Shape_mpz_class
01158 (BD_Shape_mpz_class p, Generator g);
01159 public static native boolean
01160 one_affine_ranking_function_PR_BD_Shape_mpz_class
01161 (BD_Shape_mpz_class p, Generator g);
01162
01163
01164
01165
01166
01167 public static native void
01168 all_affine_ranking_functions_MS_BD_Shape_mpz_class
01169 (BD_Shape_mpz_class p, Polyhedron ph);
01170 public static native void
01171 all_affine_ranking_functions_PR_BD_Shape_mpz_class
01172 (BD_Shape_mpz_class p, Polyhedron ph);
01173
01174
01175
01176
01177
01178 public static native void
01179 all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class
01180 (BD_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01181
01182
01183
01184
01185 public static native boolean
01186 termination_test_MS_BD_Shape_mpz_class_2
01187 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after);
01188 public static native boolean
01189 termination_test_PR_BD_Shape_mpz_class_2
01190 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after);
01191
01192
01193
01194
01195
01196 public static native boolean
01197 one_affine_ranking_function_MS_BD_Shape_mpz_class_2
01198 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g);
01199 public static native boolean
01200 one_affine_ranking_function_PR_BD_Shape_mpz_class_2
01201 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g);
01202
01203
01204
01205
01206
01207 public static native void
01208 all_affine_ranking_functions_MS_BD_Shape_mpz_class_2
01209 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph);
01210 public static native void
01211 all_affine_ranking_functions_PR_BD_Shape_mpz_class_2
01212 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph);
01213
01214
01215
01216
01217
01218 public static native void
01219 all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2
01220 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after,
01221 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01222
01223
01224
01225
01226
01227 public static native boolean
01228 termination_test_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p);
01229 public static native boolean
01230 termination_test_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p);
01231
01232
01233
01234
01235
01236 public static native boolean
01237 one_affine_ranking_function_MS_BD_Shape_mpq_class
01238 (BD_Shape_mpq_class p, Generator g);
01239 public static native boolean
01240 one_affine_ranking_function_PR_BD_Shape_mpq_class
01241 (BD_Shape_mpq_class p, Generator g);
01242
01243
01244
01245
01246
01247 public static native void
01248 all_affine_ranking_functions_MS_BD_Shape_mpq_class
01249 (BD_Shape_mpq_class p, Polyhedron ph);
01250 public static native void
01251 all_affine_ranking_functions_PR_BD_Shape_mpq_class
01252 (BD_Shape_mpq_class p, Polyhedron ph);
01253
01254
01255
01256
01257
01258 public static native void
01259 all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class
01260 (BD_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01261
01262
01263
01264
01265 public static native boolean
01266 termination_test_MS_BD_Shape_mpq_class_2
01267 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after);
01268 public static native boolean
01269 termination_test_PR_BD_Shape_mpq_class_2
01270 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after);
01271
01272
01273
01274
01275
01276 public static native boolean
01277 one_affine_ranking_function_MS_BD_Shape_mpq_class_2
01278 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g);
01279 public static native boolean
01280 one_affine_ranking_function_PR_BD_Shape_mpq_class_2
01281 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g);
01282
01283
01284
01285
01286
01287 public static native void
01288 all_affine_ranking_functions_MS_BD_Shape_mpq_class_2
01289 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph);
01290 public static native void
01291 all_affine_ranking_functions_PR_BD_Shape_mpq_class_2
01292 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph);
01293
01294
01295
01296
01297
01298 public static native void
01299 all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2
01300 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after,
01301 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01302
01303
01304
01305
01306
01307 public static native boolean
01308 termination_test_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p);
01309 public static native boolean
01310 termination_test_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p);
01311
01312
01313
01314
01315
01316 public static native boolean
01317 one_affine_ranking_function_MS_Octagonal_Shape_int8_t
01318 (Octagonal_Shape_int8_t p, Generator g);
01319 public static native boolean
01320 one_affine_ranking_function_PR_Octagonal_Shape_int8_t
01321 (Octagonal_Shape_int8_t p, Generator g);
01322
01323
01324
01325
01326
01327 public static native void
01328 all_affine_ranking_functions_MS_Octagonal_Shape_int8_t
01329 (Octagonal_Shape_int8_t p, Polyhedron ph);
01330 public static native void
01331 all_affine_ranking_functions_PR_Octagonal_Shape_int8_t
01332 (Octagonal_Shape_int8_t p, Polyhedron ph);
01333
01334
01335
01336
01337
01338 public static native void
01339 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t
01340 (Octagonal_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01341
01342
01343
01344
01345 public static native boolean
01346 termination_test_MS_Octagonal_Shape_int8_t_2
01347 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after);
01348 public static native boolean
01349 termination_test_PR_Octagonal_Shape_int8_t_2
01350 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after);
01351
01352
01353
01354
01355
01356 public static native boolean
01357 one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2
01358 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g);
01359 public static native boolean
01360 one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2
01361 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g);
01362
01363
01364
01365
01366
01367 public static native void
01368 all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2
01369 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph);
01370 public static native void
01371 all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2
01372 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph);
01373
01374
01375
01376
01377
01378 public static native void
01379 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2
01380 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after,
01381 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01382
01383
01384
01385
01386
01387 public static native boolean
01388 termination_test_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p);
01389 public static native boolean
01390 termination_test_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p);
01391
01392
01393
01394
01395
01396 public static native boolean
01397 one_affine_ranking_function_MS_Octagonal_Shape_int16_t
01398 (Octagonal_Shape_int16_t p, Generator g);
01399 public static native boolean
01400 one_affine_ranking_function_PR_Octagonal_Shape_int16_t
01401 (Octagonal_Shape_int16_t p, Generator g);
01402
01403
01404
01405
01406
01407 public static native void
01408 all_affine_ranking_functions_MS_Octagonal_Shape_int16_t
01409 (Octagonal_Shape_int16_t p, Polyhedron ph);
01410 public static native void
01411 all_affine_ranking_functions_PR_Octagonal_Shape_int16_t
01412 (Octagonal_Shape_int16_t p, Polyhedron ph);
01413
01414
01415
01416
01417
01418 public static native void
01419 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t
01420 (Octagonal_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01421
01422
01423
01424
01425 public static native boolean
01426 termination_test_MS_Octagonal_Shape_int16_t_2
01427 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after);
01428 public static native boolean
01429 termination_test_PR_Octagonal_Shape_int16_t_2
01430 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after);
01431
01432
01433
01434
01435
01436 public static native boolean
01437 one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2
01438 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g);
01439 public static native boolean
01440 one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2
01441 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g);
01442
01443
01444
01445
01446
01447 public static native void
01448 all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2
01449 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph);
01450 public static native void
01451 all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2
01452 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph);
01453
01454
01455
01456
01457
01458 public static native void
01459 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2
01460 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after,
01461 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01462
01463
01464
01465
01466
01467 public static native boolean
01468 termination_test_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p);
01469 public static native boolean
01470 termination_test_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p);
01471
01472
01473
01474
01475
01476 public static native boolean
01477 one_affine_ranking_function_MS_Octagonal_Shape_int32_t
01478 (Octagonal_Shape_int32_t p, Generator g);
01479 public static native boolean
01480 one_affine_ranking_function_PR_Octagonal_Shape_int32_t
01481 (Octagonal_Shape_int32_t p, Generator g);
01482
01483
01484
01485
01486
01487 public static native void
01488 all_affine_ranking_functions_MS_Octagonal_Shape_int32_t
01489 (Octagonal_Shape_int32_t p, Polyhedron ph);
01490 public static native void
01491 all_affine_ranking_functions_PR_Octagonal_Shape_int32_t
01492 (Octagonal_Shape_int32_t p, Polyhedron ph);
01493
01494
01495
01496
01497
01498 public static native void
01499 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t
01500 (Octagonal_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01501
01502
01503
01504
01505 public static native boolean
01506 termination_test_MS_Octagonal_Shape_int32_t_2
01507 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after);
01508 public static native boolean
01509 termination_test_PR_Octagonal_Shape_int32_t_2
01510 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after);
01511
01512
01513
01514
01515
01516 public static native boolean
01517 one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2
01518 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g);
01519 public static native boolean
01520 one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2
01521 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g);
01522
01523
01524
01525
01526
01527 public static native void
01528 all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2
01529 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph);
01530 public static native void
01531 all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2
01532 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph);
01533
01534
01535
01536
01537
01538 public static native void
01539 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2
01540 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after,
01541 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01542
01543
01544
01545
01546
01547 public static native boolean
01548 termination_test_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p);
01549 public static native boolean
01550 termination_test_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p);
01551
01552
01553
01554
01555
01556 public static native boolean
01557 one_affine_ranking_function_MS_Octagonal_Shape_int64_t
01558 (Octagonal_Shape_int64_t p, Generator g);
01559 public static native boolean
01560 one_affine_ranking_function_PR_Octagonal_Shape_int64_t
01561 (Octagonal_Shape_int64_t p, Generator g);
01562
01563
01564
01565
01566
01567 public static native void
01568 all_affine_ranking_functions_MS_Octagonal_Shape_int64_t
01569 (Octagonal_Shape_int64_t p, Polyhedron ph);
01570 public static native void
01571 all_affine_ranking_functions_PR_Octagonal_Shape_int64_t
01572 (Octagonal_Shape_int64_t p, Polyhedron ph);
01573
01574
01575
01576
01577
01578 public static native void
01579 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t
01580 (Octagonal_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01581
01582
01583
01584
01585 public static native boolean
01586 termination_test_MS_Octagonal_Shape_int64_t_2
01587 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after);
01588 public static native boolean
01589 termination_test_PR_Octagonal_Shape_int64_t_2
01590 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after);
01591
01592
01593
01594
01595
01596 public static native boolean
01597 one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2
01598 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g);
01599 public static native boolean
01600 one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2
01601 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g);
01602
01603
01604
01605
01606
01607 public static native void
01608 all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2
01609 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph);
01610 public static native void
01611 all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2
01612 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph);
01613
01614
01615
01616
01617
01618 public static native void
01619 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2
01620 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after,
01621 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01622
01623
01624
01625
01626
01627 public static native boolean
01628 termination_test_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p);
01629 public static native boolean
01630 termination_test_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p);
01631
01632
01633
01634
01635
01636 public static native boolean
01637 one_affine_ranking_function_MS_Octagonal_Shape_mpz_class
01638 (Octagonal_Shape_mpz_class p, Generator g);
01639 public static native boolean
01640 one_affine_ranking_function_PR_Octagonal_Shape_mpz_class
01641 (Octagonal_Shape_mpz_class p, Generator g);
01642
01643
01644
01645
01646
01647 public static native void
01648 all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class
01649 (Octagonal_Shape_mpz_class p, Polyhedron ph);
01650 public static native void
01651 all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class
01652 (Octagonal_Shape_mpz_class p, Polyhedron ph);
01653
01654
01655
01656
01657
01658 public static native void
01659 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class
01660 (Octagonal_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01661
01662
01663
01664
01665 public static native boolean
01666 termination_test_MS_Octagonal_Shape_mpz_class_2
01667 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after);
01668 public static native boolean
01669 termination_test_PR_Octagonal_Shape_mpz_class_2
01670 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after);
01671
01672
01673
01674
01675
01676 public static native boolean
01677 one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2
01678 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g);
01679 public static native boolean
01680 one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2
01681 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g);
01682
01683
01684
01685
01686
01687 public static native void
01688 all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2
01689 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph);
01690 public static native void
01691 all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2
01692 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph);
01693
01694
01695
01696
01697
01698 public static native void
01699 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2
01700 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after,
01701 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01702
01703
01704
01705
01706
01707 public static native boolean
01708 termination_test_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p);
01709 public static native boolean
01710 termination_test_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p);
01711
01712
01713
01714
01715
01716 public static native boolean
01717 one_affine_ranking_function_MS_Octagonal_Shape_mpq_class
01718 (Octagonal_Shape_mpq_class p, Generator g);
01719 public static native boolean
01720 one_affine_ranking_function_PR_Octagonal_Shape_mpq_class
01721 (Octagonal_Shape_mpq_class p, Generator g);
01722
01723
01724
01725
01726
01727 public static native void
01728 all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class
01729 (Octagonal_Shape_mpq_class p, Polyhedron ph);
01730 public static native void
01731 all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class
01732 (Octagonal_Shape_mpq_class p, Polyhedron ph);
01733
01734
01735
01736
01737
01738 public static native void
01739 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class
01740 (Octagonal_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01741
01742
01743
01744
01745 public static native boolean
01746 termination_test_MS_Octagonal_Shape_mpq_class_2
01747 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after);
01748 public static native boolean
01749 termination_test_PR_Octagonal_Shape_mpq_class_2
01750 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after);
01751
01752
01753
01754
01755
01756 public static native boolean
01757 one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2
01758 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g);
01759 public static native boolean
01760 one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2
01761 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g);
01762
01763
01764
01765
01766
01767 public static native void
01768 all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2
01769 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph);
01770 public static native void
01771 all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2
01772 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph);
01773
01774
01775
01776
01777
01778 public static native void
01779 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2
01780 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after,
01781 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01782
01783
01784
01785
01786
01787 public static native boolean
01788 termination_test_MS_C_Polyhedron(C_Polyhedron p);
01789 public static native boolean
01790 termination_test_PR_C_Polyhedron(C_Polyhedron p);
01791 public static native boolean
01792 termination_test_MS_NNC_Polyhedron(NNC_Polyhedron p);
01793 public static native boolean
01794 termination_test_PR_NNC_Polyhedron(NNC_Polyhedron p);
01795
01796
01797
01798
01799
01800 public static native boolean
01801 one_affine_ranking_function_MS_C_Polyhedron
01802 (C_Polyhedron p, Generator g);
01803 public static native boolean
01804 one_affine_ranking_function_PR_C_Polyhedron
01805 (C_Polyhedron p, Generator g);
01806 public static native boolean
01807 one_affine_ranking_function_MS_NNC_Polyhedron
01808 (NNC_Polyhedron p, Generator g);
01809 public static native boolean
01810 one_affine_ranking_function_PR_NNC_Polyhedron
01811 (NNC_Polyhedron p, Generator g);
01812
01813
01814
01815
01816
01817 public static native void
01818 all_affine_ranking_functions_MS_C_Polyhedron
01819 (C_Polyhedron p, Polyhedron ph);
01820 public static native void
01821 all_affine_ranking_functions_PR_C_Polyhedron
01822 (C_Polyhedron p, Polyhedron ph);
01823 public static native void
01824 all_affine_ranking_functions_MS_NNC_Polyhedron
01825 (NNC_Polyhedron p, Polyhedron ph);
01826 public static native void
01827 all_affine_ranking_functions_PR_NNC_Polyhedron
01828 (NNC_Polyhedron p, Polyhedron ph);
01829
01830
01831
01832
01833
01834 public static native void
01835 all_affine_quasi_ranking_functions_MS_C_Polyhedron
01836 (C_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01837 public static native void
01838 all_affine_quasi_ranking_functions_MS_NNC_Polyhedron
01839 (NNC_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01840
01841
01842
01843
01844 public static native boolean
01845 termination_test_MS_C_Polyhedron_2
01846 (C_Polyhedron p_before, C_Polyhedron p_after);
01847 public static native boolean
01848 termination_test_PR_C_Polyhedron_2
01849 (C_Polyhedron p_before, C_Polyhedron p_after);
01850 public static native boolean
01851 termination_test_MS_NNC_Polyhedron_2
01852 (NNC_Polyhedron p_before, NNC_Polyhedron p_after);
01853 public static native boolean
01854 termination_test_PR_NNC_Polyhedron_2
01855 (NNC_Polyhedron p_before, NNC_Polyhedron p_after);
01856
01857
01858
01859
01860
01861 public static native boolean
01862 one_affine_ranking_function_MS_C_Polyhedron_2
01863 (C_Polyhedron p_before, C_Polyhedron p_after, Generator g);
01864 public static native boolean
01865 one_affine_ranking_function_PR_C_Polyhedron_2
01866 (C_Polyhedron p_before, C_Polyhedron p_after, Generator g);
01867 public static native boolean
01868 one_affine_ranking_function_MS_NNC_Polyhedron_2
01869 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g);
01870 public static native boolean
01871 one_affine_ranking_function_PR_NNC_Polyhedron_2
01872 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g);
01873
01874
01875
01876
01877
01878 public static native void
01879 all_affine_ranking_functions_MS_C_Polyhedron_2
01880 (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph);
01881 public static native void
01882 all_affine_ranking_functions_PR_C_Polyhedron_2
01883 (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph);
01884 public static native void
01885 all_affine_ranking_functions_MS_NNC_Polyhedron_2
01886 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph);
01887 public static native void
01888 all_affine_ranking_functions_PR_NNC_Polyhedron_2
01889 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph);
01890
01891
01892
01893
01894
01895 public static native void
01896 all_affine_quasi_ranking_functions_MS_C_Polyhedron_2
01897 (C_Polyhedron p_before, C_Polyhedron p_after,
01898 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01899 public static native void
01900 all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2
01901 (NNC_Polyhedron p_before, NNC_Polyhedron p_after,
01902 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01903
01904
01905
01906
01907
01908 public static native boolean
01909 termination_test_MS_Grid(Grid p);
01910 public static native boolean
01911 termination_test_PR_Grid(Grid p);
01912
01913
01914
01915
01916
01917 public static native boolean
01918 one_affine_ranking_function_MS_Grid
01919 (Grid p, Generator g);
01920 public static native boolean
01921 one_affine_ranking_function_PR_Grid
01922 (Grid p, Generator g);
01923
01924
01925
01926
01927
01928 public static native void
01929 all_affine_ranking_functions_MS_Grid
01930 (Grid p, Polyhedron ph);
01931 public static native void
01932 all_affine_ranking_functions_PR_Grid
01933 (Grid p, Polyhedron ph);
01934
01935
01936
01937
01938
01939 public static native void
01940 all_affine_quasi_ranking_functions_MS_Grid
01941 (Grid p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
01942
01943
01944
01945
01946 public static native boolean
01947 termination_test_MS_Grid_2
01948 (Grid p_before, Grid p_after);
01949 public static native boolean
01950 termination_test_PR_Grid_2
01951 (Grid p_before, Grid p_after);
01952
01953
01954
01955
01956
01957 public static native boolean
01958 one_affine_ranking_function_MS_Grid_2
01959 (Grid p_before, Grid p_after, Generator g);
01960 public static native boolean
01961 one_affine_ranking_function_PR_Grid_2
01962 (Grid p_before, Grid p_after, Generator g);
01963
01964
01965
01966
01967
01968 public static native void
01969 all_affine_ranking_functions_MS_Grid_2
01970 (Grid p_before, Grid p_after, Polyhedron ph);
01971 public static native void
01972 all_affine_ranking_functions_PR_Grid_2
01973 (Grid p_before, Grid p_after, Polyhedron ph);
01974
01975
01976
01977
01978
01979 public static native void
01980 all_affine_quasi_ranking_functions_MS_Grid_2
01981 (Grid p_before, Grid p_after,
01982 Polyhedron ph_decreasing, Polyhedron ph_bounded);
01983
01984
01985
01986
01987
01988 public static native boolean
01989 termination_test_MS_Float_Box(Float_Box p);
01990 public static native boolean
01991 termination_test_PR_Float_Box(Float_Box p);
01992
01993
01994
01995
01996
01997 public static native boolean
01998 one_affine_ranking_function_MS_Float_Box
01999 (Float_Box p, Generator g);
02000 public static native boolean
02001 one_affine_ranking_function_PR_Float_Box
02002 (Float_Box p, Generator g);
02003
02004
02005
02006
02007
02008 public static native void
02009 all_affine_ranking_functions_MS_Float_Box
02010 (Float_Box p, Polyhedron ph);
02011 public static native void
02012 all_affine_ranking_functions_PR_Float_Box
02013 (Float_Box p, Polyhedron ph);
02014
02015
02016
02017
02018
02019 public static native void
02020 all_affine_quasi_ranking_functions_MS_Float_Box
02021 (Float_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02022
02023
02024
02025
02026 public static native boolean
02027 termination_test_MS_Float_Box_2
02028 (Float_Box p_before, Float_Box p_after);
02029 public static native boolean
02030 termination_test_PR_Float_Box_2
02031 (Float_Box p_before, Float_Box p_after);
02032
02033
02034
02035
02036
02037 public static native boolean
02038 one_affine_ranking_function_MS_Float_Box_2
02039 (Float_Box p_before, Float_Box p_after, Generator g);
02040 public static native boolean
02041 one_affine_ranking_function_PR_Float_Box_2
02042 (Float_Box p_before, Float_Box p_after, Generator g);
02043
02044
02045
02046
02047
02048 public static native void
02049 all_affine_ranking_functions_MS_Float_Box_2
02050 (Float_Box p_before, Float_Box p_after, Polyhedron ph);
02051 public static native void
02052 all_affine_ranking_functions_PR_Float_Box_2
02053 (Float_Box p_before, Float_Box p_after, Polyhedron ph);
02054
02055
02056
02057
02058
02059 public static native void
02060 all_affine_quasi_ranking_functions_MS_Float_Box_2
02061 (Float_Box p_before, Float_Box p_after,
02062 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02063
02064
02065
02066
02067
02068 public static native boolean
02069 termination_test_MS_BD_Shape_float(BD_Shape_float p);
02070 public static native boolean
02071 termination_test_PR_BD_Shape_float(BD_Shape_float p);
02072
02073
02074
02075
02076
02077 public static native boolean
02078 one_affine_ranking_function_MS_BD_Shape_float
02079 (BD_Shape_float p, Generator g);
02080 public static native boolean
02081 one_affine_ranking_function_PR_BD_Shape_float
02082 (BD_Shape_float p, Generator g);
02083
02084
02085
02086
02087
02088 public static native void
02089 all_affine_ranking_functions_MS_BD_Shape_float
02090 (BD_Shape_float p, Polyhedron ph);
02091 public static native void
02092 all_affine_ranking_functions_PR_BD_Shape_float
02093 (BD_Shape_float p, Polyhedron ph);
02094
02095
02096
02097
02098
02099 public static native void
02100 all_affine_quasi_ranking_functions_MS_BD_Shape_float
02101 (BD_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02102
02103
02104
02105
02106 public static native boolean
02107 termination_test_MS_BD_Shape_float_2
02108 (BD_Shape_float p_before, BD_Shape_float p_after);
02109 public static native boolean
02110 termination_test_PR_BD_Shape_float_2
02111 (BD_Shape_float p_before, BD_Shape_float p_after);
02112
02113
02114
02115
02116
02117 public static native boolean
02118 one_affine_ranking_function_MS_BD_Shape_float_2
02119 (BD_Shape_float p_before, BD_Shape_float p_after, Generator g);
02120 public static native boolean
02121 one_affine_ranking_function_PR_BD_Shape_float_2
02122 (BD_Shape_float p_before, BD_Shape_float p_after, Generator g);
02123
02124
02125
02126
02127
02128 public static native void
02129 all_affine_ranking_functions_MS_BD_Shape_float_2
02130 (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph);
02131 public static native void
02132 all_affine_ranking_functions_PR_BD_Shape_float_2
02133 (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph);
02134
02135
02136
02137
02138
02139 public static native void
02140 all_affine_quasi_ranking_functions_MS_BD_Shape_float_2
02141 (BD_Shape_float p_before, BD_Shape_float p_after,
02142 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02143
02144
02145
02146
02147
02148 public static native boolean
02149 termination_test_MS_Octagonal_Shape_float(Octagonal_Shape_float p);
02150 public static native boolean
02151 termination_test_PR_Octagonal_Shape_float(Octagonal_Shape_float p);
02152
02153
02154
02155
02156
02157 public static native boolean
02158 one_affine_ranking_function_MS_Octagonal_Shape_float
02159 (Octagonal_Shape_float p, Generator g);
02160 public static native boolean
02161 one_affine_ranking_function_PR_Octagonal_Shape_float
02162 (Octagonal_Shape_float p, Generator g);
02163
02164
02165
02166
02167
02168 public static native void
02169 all_affine_ranking_functions_MS_Octagonal_Shape_float
02170 (Octagonal_Shape_float p, Polyhedron ph);
02171 public static native void
02172 all_affine_ranking_functions_PR_Octagonal_Shape_float
02173 (Octagonal_Shape_float p, Polyhedron ph);
02174
02175
02176
02177
02178
02179 public static native void
02180 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float
02181 (Octagonal_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02182
02183
02184
02185
02186 public static native boolean
02187 termination_test_MS_Octagonal_Shape_float_2
02188 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after);
02189 public static native boolean
02190 termination_test_PR_Octagonal_Shape_float_2
02191 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after);
02192
02193
02194
02195
02196
02197 public static native boolean
02198 one_affine_ranking_function_MS_Octagonal_Shape_float_2
02199 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g);
02200 public static native boolean
02201 one_affine_ranking_function_PR_Octagonal_Shape_float_2
02202 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g);
02203
02204
02205
02206
02207
02208 public static native void
02209 all_affine_ranking_functions_MS_Octagonal_Shape_float_2
02210 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph);
02211 public static native void
02212 all_affine_ranking_functions_PR_Octagonal_Shape_float_2
02213 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph);
02214
02215
02216
02217
02218
02219 public static native void
02220 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2
02221 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after,
02222 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02223
02224
02225
02226
02227
02228 public static native boolean
02229 termination_test_MS_Double_Box(Double_Box p);
02230 public static native boolean
02231 termination_test_PR_Double_Box(Double_Box p);
02232
02233
02234
02235
02236
02237 public static native boolean
02238 one_affine_ranking_function_MS_Double_Box
02239 (Double_Box p, Generator g);
02240 public static native boolean
02241 one_affine_ranking_function_PR_Double_Box
02242 (Double_Box p, Generator g);
02243
02244
02245
02246
02247
02248 public static native void
02249 all_affine_ranking_functions_MS_Double_Box
02250 (Double_Box p, Polyhedron ph);
02251 public static native void
02252 all_affine_ranking_functions_PR_Double_Box
02253 (Double_Box p, Polyhedron ph);
02254
02255
02256
02257
02258
02259 public static native void
02260 all_affine_quasi_ranking_functions_MS_Double_Box
02261 (Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02262
02263
02264
02265
02266 public static native boolean
02267 termination_test_MS_Double_Box_2
02268 (Double_Box p_before, Double_Box p_after);
02269 public static native boolean
02270 termination_test_PR_Double_Box_2
02271 (Double_Box p_before, Double_Box p_after);
02272
02273
02274
02275
02276
02277 public static native boolean
02278 one_affine_ranking_function_MS_Double_Box_2
02279 (Double_Box p_before, Double_Box p_after, Generator g);
02280 public static native boolean
02281 one_affine_ranking_function_PR_Double_Box_2
02282 (Double_Box p_before, Double_Box p_after, Generator g);
02283
02284
02285
02286
02287
02288 public static native void
02289 all_affine_ranking_functions_MS_Double_Box_2
02290 (Double_Box p_before, Double_Box p_after, Polyhedron ph);
02291 public static native void
02292 all_affine_ranking_functions_PR_Double_Box_2
02293 (Double_Box p_before, Double_Box p_after, Polyhedron ph);
02294
02295
02296
02297
02298
02299 public static native void
02300 all_affine_quasi_ranking_functions_MS_Double_Box_2
02301 (Double_Box p_before, Double_Box p_after,
02302 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02303
02304
02305
02306
02307
02308 public static native boolean
02309 termination_test_MS_BD_Shape_double(BD_Shape_double p);
02310 public static native boolean
02311 termination_test_PR_BD_Shape_double(BD_Shape_double p);
02312
02313
02314
02315
02316
02317 public static native boolean
02318 one_affine_ranking_function_MS_BD_Shape_double
02319 (BD_Shape_double p, Generator g);
02320 public static native boolean
02321 one_affine_ranking_function_PR_BD_Shape_double
02322 (BD_Shape_double p, Generator g);
02323
02324
02325
02326
02327
02328 public static native void
02329 all_affine_ranking_functions_MS_BD_Shape_double
02330 (BD_Shape_double p, Polyhedron ph);
02331 public static native void
02332 all_affine_ranking_functions_PR_BD_Shape_double
02333 (BD_Shape_double p, Polyhedron ph);
02334
02335
02336
02337
02338
02339 public static native void
02340 all_affine_quasi_ranking_functions_MS_BD_Shape_double
02341 (BD_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02342
02343
02344
02345
02346 public static native boolean
02347 termination_test_MS_BD_Shape_double_2
02348 (BD_Shape_double p_before, BD_Shape_double p_after);
02349 public static native boolean
02350 termination_test_PR_BD_Shape_double_2
02351 (BD_Shape_double p_before, BD_Shape_double p_after);
02352
02353
02354
02355
02356
02357 public static native boolean
02358 one_affine_ranking_function_MS_BD_Shape_double_2
02359 (BD_Shape_double p_before, BD_Shape_double p_after, Generator g);
02360 public static native boolean
02361 one_affine_ranking_function_PR_BD_Shape_double_2
02362 (BD_Shape_double p_before, BD_Shape_double p_after, Generator g);
02363
02364
02365
02366
02367
02368 public static native void
02369 all_affine_ranking_functions_MS_BD_Shape_double_2
02370 (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph);
02371 public static native void
02372 all_affine_ranking_functions_PR_BD_Shape_double_2
02373 (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph);
02374
02375
02376
02377
02378
02379 public static native void
02380 all_affine_quasi_ranking_functions_MS_BD_Shape_double_2
02381 (BD_Shape_double p_before, BD_Shape_double p_after,
02382 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02383
02384
02385
02386
02387
02388 public static native boolean
02389 termination_test_MS_Octagonal_Shape_double(Octagonal_Shape_double p);
02390 public static native boolean
02391 termination_test_PR_Octagonal_Shape_double(Octagonal_Shape_double p);
02392
02393
02394
02395
02396
02397 public static native boolean
02398 one_affine_ranking_function_MS_Octagonal_Shape_double
02399 (Octagonal_Shape_double p, Generator g);
02400 public static native boolean
02401 one_affine_ranking_function_PR_Octagonal_Shape_double
02402 (Octagonal_Shape_double p, Generator g);
02403
02404
02405
02406
02407
02408 public static native void
02409 all_affine_ranking_functions_MS_Octagonal_Shape_double
02410 (Octagonal_Shape_double p, Polyhedron ph);
02411 public static native void
02412 all_affine_ranking_functions_PR_Octagonal_Shape_double
02413 (Octagonal_Shape_double p, Polyhedron ph);
02414
02415
02416
02417
02418
02419 public static native void
02420 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double
02421 (Octagonal_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02422
02423
02424
02425
02426 public static native boolean
02427 termination_test_MS_Octagonal_Shape_double_2
02428 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after);
02429 public static native boolean
02430 termination_test_PR_Octagonal_Shape_double_2
02431 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after);
02432
02433
02434
02435
02436
02437 public static native boolean
02438 one_affine_ranking_function_MS_Octagonal_Shape_double_2
02439 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g);
02440 public static native boolean
02441 one_affine_ranking_function_PR_Octagonal_Shape_double_2
02442 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g);
02443
02444
02445
02446
02447
02448 public static native void
02449 all_affine_ranking_functions_MS_Octagonal_Shape_double_2
02450 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph);
02451 public static native void
02452 all_affine_ranking_functions_PR_Octagonal_Shape_double_2
02453 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph);
02454
02455
02456
02457
02458
02459 public static native void
02460 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2
02461 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after,
02462 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02463
02464
02465
02466
02467
02468 public static native boolean
02469 termination_test_MS_Long_Double_Box(Long_Double_Box p);
02470 public static native boolean
02471 termination_test_PR_Long_Double_Box(Long_Double_Box p);
02472
02473
02474
02475
02476
02477 public static native boolean
02478 one_affine_ranking_function_MS_Long_Double_Box
02479 (Long_Double_Box p, Generator g);
02480 public static native boolean
02481 one_affine_ranking_function_PR_Long_Double_Box
02482 (Long_Double_Box p, Generator g);
02483
02484
02485
02486
02487
02488 public static native void
02489 all_affine_ranking_functions_MS_Long_Double_Box
02490 (Long_Double_Box p, Polyhedron ph);
02491 public static native void
02492 all_affine_ranking_functions_PR_Long_Double_Box
02493 (Long_Double_Box p, Polyhedron ph);
02494
02495
02496
02497
02498
02499 public static native void
02500 all_affine_quasi_ranking_functions_MS_Long_Double_Box
02501 (Long_Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02502
02503
02504
02505
02506 public static native boolean
02507 termination_test_MS_Long_Double_Box_2
02508 (Long_Double_Box p_before, Long_Double_Box p_after);
02509 public static native boolean
02510 termination_test_PR_Long_Double_Box_2
02511 (Long_Double_Box p_before, Long_Double_Box p_after);
02512
02513
02514
02515
02516
02517 public static native boolean
02518 one_affine_ranking_function_MS_Long_Double_Box_2
02519 (Long_Double_Box p_before, Long_Double_Box p_after, Generator g);
02520 public static native boolean
02521 one_affine_ranking_function_PR_Long_Double_Box_2
02522 (Long_Double_Box p_before, Long_Double_Box p_after, Generator g);
02523
02524
02525
02526
02527
02528 public static native void
02529 all_affine_ranking_functions_MS_Long_Double_Box_2
02530 (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph);
02531 public static native void
02532 all_affine_ranking_functions_PR_Long_Double_Box_2
02533 (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph);
02534
02535
02536
02537
02538
02539 public static native void
02540 all_affine_quasi_ranking_functions_MS_Long_Double_Box_2
02541 (Long_Double_Box p_before, Long_Double_Box p_after,
02542 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02543
02544
02545
02546
02547
02548 public static native boolean
02549 termination_test_MS_BD_Shape_long_double(BD_Shape_long_double p);
02550 public static native boolean
02551 termination_test_PR_BD_Shape_long_double(BD_Shape_long_double p);
02552
02553
02554
02555
02556
02557 public static native boolean
02558 one_affine_ranking_function_MS_BD_Shape_long_double
02559 (BD_Shape_long_double p, Generator g);
02560 public static native boolean
02561 one_affine_ranking_function_PR_BD_Shape_long_double
02562 (BD_Shape_long_double p, Generator g);
02563
02564
02565
02566
02567
02568 public static native void
02569 all_affine_ranking_functions_MS_BD_Shape_long_double
02570 (BD_Shape_long_double p, Polyhedron ph);
02571 public static native void
02572 all_affine_ranking_functions_PR_BD_Shape_long_double
02573 (BD_Shape_long_double p, Polyhedron ph);
02574
02575
02576
02577
02578
02579 public static native void
02580 all_affine_quasi_ranking_functions_MS_BD_Shape_long_double
02581 (BD_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02582
02583
02584
02585
02586 public static native boolean
02587 termination_test_MS_BD_Shape_long_double_2
02588 (BD_Shape_long_double p_before, BD_Shape_long_double p_after);
02589 public static native boolean
02590 termination_test_PR_BD_Shape_long_double_2
02591 (BD_Shape_long_double p_before, BD_Shape_long_double p_after);
02592
02593
02594
02595
02596
02597 public static native boolean
02598 one_affine_ranking_function_MS_BD_Shape_long_double_2
02599 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g);
02600 public static native boolean
02601 one_affine_ranking_function_PR_BD_Shape_long_double_2
02602 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g);
02603
02604
02605
02606
02607
02608 public static native void
02609 all_affine_ranking_functions_MS_BD_Shape_long_double_2
02610 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph);
02611 public static native void
02612 all_affine_ranking_functions_PR_BD_Shape_long_double_2
02613 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph);
02614
02615
02616
02617
02618
02619 public static native void
02620 all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2
02621 (BD_Shape_long_double p_before, BD_Shape_long_double p_after,
02622 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02623
02624
02625
02626
02627
02628 public static native boolean
02629 termination_test_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p);
02630 public static native boolean
02631 termination_test_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p);
02632
02633
02634
02635
02636
02637 public static native boolean
02638 one_affine_ranking_function_MS_Octagonal_Shape_long_double
02639 (Octagonal_Shape_long_double p, Generator g);
02640 public static native boolean
02641 one_affine_ranking_function_PR_Octagonal_Shape_long_double
02642 (Octagonal_Shape_long_double p, Generator g);
02643
02644
02645
02646
02647
02648 public static native void
02649 all_affine_ranking_functions_MS_Octagonal_Shape_long_double
02650 (Octagonal_Shape_long_double p, Polyhedron ph);
02651 public static native void
02652 all_affine_ranking_functions_PR_Octagonal_Shape_long_double
02653 (Octagonal_Shape_long_double p, Polyhedron ph);
02654
02655
02656
02657
02658
02659 public static native void
02660 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double
02661 (Octagonal_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
02662
02663
02664
02665
02666 public static native boolean
02667 termination_test_MS_Octagonal_Shape_long_double_2
02668 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after);
02669 public static native boolean
02670 termination_test_PR_Octagonal_Shape_long_double_2
02671 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after);
02672
02673
02674
02675
02676
02677 public static native boolean
02678 one_affine_ranking_function_MS_Octagonal_Shape_long_double_2
02679 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g);
02680 public static native boolean
02681 one_affine_ranking_function_PR_Octagonal_Shape_long_double_2
02682 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g);
02683
02684
02685
02686
02687
02688 public static native void
02689 all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2
02690 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph);
02691 public static native void
02692 all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2
02693 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph);
02694
02695
02696
02697
02698
02699 public static native void
02700 all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2
02701 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after,
02702 Polyhedron ph_decreasing, Polyhedron ph_bounded);
02703
02704
02705
02706
02707
02708 }