PPL Configured Java Language Interface  1.2
Termination.java
Go to the documentation of this file.
1 /* PPL Java interface: Termination definition.
2  Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
3  Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)
4 
5 This file is part of the Parma Polyhedra Library (PPL).
6 
7 The PPL is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 3 of the License, or (at your
10 option) any later version.
11 
12 The PPL is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16 
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software Foundation,
19 Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA.
20 
21 For the most up-to-date information see the Parma Polyhedra Library
22 site: http://bugseng.com/products/ppl/ . */
23 
24 package parma_polyhedra_library;
25 public class Termination {
26 
27  public static native boolean
28  termination_test_MS_Int8_Box(Int8_Box p);
29  public static native boolean
30  termination_test_PR_Int8_Box(Int8_Box p);
31 
32 
33 
34 
35 
36  public static native boolean
37  one_affine_ranking_function_MS_Int8_Box
38  (Int8_Box p, Generator g);
39  public static native boolean
40  one_affine_ranking_function_PR_Int8_Box
41  (Int8_Box p, Generator g);
42 
43 
44 
45 
46 
47  public static native void
48  all_affine_ranking_functions_MS_Int8_Box
49  (Int8_Box p, Polyhedron ph);
50  public static native void
51  all_affine_ranking_functions_PR_Int8_Box
52  (Int8_Box p, Polyhedron ph);
53 
54 
55 
56 
57 
58  public static native void
59  all_affine_quasi_ranking_functions_MS_Int8_Box
60  (Int8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
61 
62 
63 
64 
65  public static native boolean
66  termination_test_MS_Int8_Box_2
67  (Int8_Box p_before, Int8_Box p_after);
68  public static native boolean
69  termination_test_PR_Int8_Box_2
70  (Int8_Box p_before, Int8_Box p_after);
71 
72 
73 
74 
75 
76  public static native boolean
77  one_affine_ranking_function_MS_Int8_Box_2
78  (Int8_Box p_before, Int8_Box p_after, Generator g);
79  public static native boolean
80  one_affine_ranking_function_PR_Int8_Box_2
81  (Int8_Box p_before, Int8_Box p_after, Generator g);
82 
83 
84 
85 
86 
87  public static native void
88  all_affine_ranking_functions_MS_Int8_Box_2
89  (Int8_Box p_before, Int8_Box p_after, Polyhedron ph);
90  public static native void
91  all_affine_ranking_functions_PR_Int8_Box_2
92  (Int8_Box p_before, Int8_Box p_after, Polyhedron ph);
93 
94 
95 
96 
97 
98  public static native void
99  all_affine_quasi_ranking_functions_MS_Int8_Box_2
100  (Int8_Box p_before, Int8_Box p_after,
101  Polyhedron ph_decreasing, Polyhedron ph_bounded);
102 
103 
104 
105 
106 
107  public static native boolean
108  termination_test_MS_Int16_Box(Int16_Box p);
109  public static native boolean
110  termination_test_PR_Int16_Box(Int16_Box p);
111 
112 
113 
114 
115 
116  public static native boolean
117  one_affine_ranking_function_MS_Int16_Box
118  (Int16_Box p, Generator g);
119  public static native boolean
120  one_affine_ranking_function_PR_Int16_Box
121  (Int16_Box p, Generator g);
122 
123 
124 
125 
126 
127  public static native void
128  all_affine_ranking_functions_MS_Int16_Box
129  (Int16_Box p, Polyhedron ph);
130  public static native void
131  all_affine_ranking_functions_PR_Int16_Box
132  (Int16_Box p, Polyhedron ph);
133 
134 
135 
136 
137 
138  public static native void
139  all_affine_quasi_ranking_functions_MS_Int16_Box
140  (Int16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
141 
142 
143 
144 
145  public static native boolean
146  termination_test_MS_Int16_Box_2
147  (Int16_Box p_before, Int16_Box p_after);
148  public static native boolean
149  termination_test_PR_Int16_Box_2
150  (Int16_Box p_before, Int16_Box p_after);
151 
152 
153 
154 
155 
156  public static native boolean
157  one_affine_ranking_function_MS_Int16_Box_2
158  (Int16_Box p_before, Int16_Box p_after, Generator g);
159  public static native boolean
160  one_affine_ranking_function_PR_Int16_Box_2
161  (Int16_Box p_before, Int16_Box p_after, Generator g);
162 
163 
164 
165 
166 
167  public static native void
168  all_affine_ranking_functions_MS_Int16_Box_2
169  (Int16_Box p_before, Int16_Box p_after, Polyhedron ph);
170  public static native void
171  all_affine_ranking_functions_PR_Int16_Box_2
172  (Int16_Box p_before, Int16_Box p_after, Polyhedron ph);
173 
174 
175 
176 
177 
178  public static native void
179  all_affine_quasi_ranking_functions_MS_Int16_Box_2
180  (Int16_Box p_before, Int16_Box p_after,
181  Polyhedron ph_decreasing, Polyhedron ph_bounded);
182 
183 
184 
185 
186 
187  public static native boolean
188  termination_test_MS_Int32_Box(Int32_Box p);
189  public static native boolean
190  termination_test_PR_Int32_Box(Int32_Box p);
191 
192 
193 
194 
195 
196  public static native boolean
197  one_affine_ranking_function_MS_Int32_Box
198  (Int32_Box p, Generator g);
199  public static native boolean
200  one_affine_ranking_function_PR_Int32_Box
201  (Int32_Box p, Generator g);
202 
203 
204 
205 
206 
207  public static native void
208  all_affine_ranking_functions_MS_Int32_Box
209  (Int32_Box p, Polyhedron ph);
210  public static native void
211  all_affine_ranking_functions_PR_Int32_Box
212  (Int32_Box p, Polyhedron ph);
213 
214 
215 
216 
217 
218  public static native void
219  all_affine_quasi_ranking_functions_MS_Int32_Box
220  (Int32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
221 
222 
223 
224 
225  public static native boolean
226  termination_test_MS_Int32_Box_2
227  (Int32_Box p_before, Int32_Box p_after);
228  public static native boolean
229  termination_test_PR_Int32_Box_2
230  (Int32_Box p_before, Int32_Box p_after);
231 
232 
233 
234 
235 
236  public static native boolean
237  one_affine_ranking_function_MS_Int32_Box_2
238  (Int32_Box p_before, Int32_Box p_after, Generator g);
239  public static native boolean
240  one_affine_ranking_function_PR_Int32_Box_2
241  (Int32_Box p_before, Int32_Box p_after, Generator g);
242 
243 
244 
245 
246 
247  public static native void
248  all_affine_ranking_functions_MS_Int32_Box_2
249  (Int32_Box p_before, Int32_Box p_after, Polyhedron ph);
250  public static native void
251  all_affine_ranking_functions_PR_Int32_Box_2
252  (Int32_Box p_before, Int32_Box p_after, Polyhedron ph);
253 
254 
255 
256 
257 
258  public static native void
259  all_affine_quasi_ranking_functions_MS_Int32_Box_2
260  (Int32_Box p_before, Int32_Box p_after,
261  Polyhedron ph_decreasing, Polyhedron ph_bounded);
262 
263 
264 
265 
266 
267  public static native boolean
268  termination_test_MS_Int64_Box(Int64_Box p);
269  public static native boolean
270  termination_test_PR_Int64_Box(Int64_Box p);
271 
272 
273 
274 
275 
276  public static native boolean
277  one_affine_ranking_function_MS_Int64_Box
278  (Int64_Box p, Generator g);
279  public static native boolean
280  one_affine_ranking_function_PR_Int64_Box
281  (Int64_Box p, Generator g);
282 
283 
284 
285 
286 
287  public static native void
288  all_affine_ranking_functions_MS_Int64_Box
289  (Int64_Box p, Polyhedron ph);
290  public static native void
291  all_affine_ranking_functions_PR_Int64_Box
292  (Int64_Box p, Polyhedron ph);
293 
294 
295 
296 
297 
298  public static native void
299  all_affine_quasi_ranking_functions_MS_Int64_Box
300  (Int64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
301 
302 
303 
304 
305  public static native boolean
306  termination_test_MS_Int64_Box_2
307  (Int64_Box p_before, Int64_Box p_after);
308  public static native boolean
309  termination_test_PR_Int64_Box_2
310  (Int64_Box p_before, Int64_Box p_after);
311 
312 
313 
314 
315 
316  public static native boolean
317  one_affine_ranking_function_MS_Int64_Box_2
318  (Int64_Box p_before, Int64_Box p_after, Generator g);
319  public static native boolean
320  one_affine_ranking_function_PR_Int64_Box_2
321  (Int64_Box p_before, Int64_Box p_after, Generator g);
322 
323 
324 
325 
326 
327  public static native void
328  all_affine_ranking_functions_MS_Int64_Box_2
329  (Int64_Box p_before, Int64_Box p_after, Polyhedron ph);
330  public static native void
331  all_affine_ranking_functions_PR_Int64_Box_2
332  (Int64_Box p_before, Int64_Box p_after, Polyhedron ph);
333 
334 
335 
336 
337 
338  public static native void
339  all_affine_quasi_ranking_functions_MS_Int64_Box_2
340  (Int64_Box p_before, Int64_Box p_after,
341  Polyhedron ph_decreasing, Polyhedron ph_bounded);
342 
343 
344 
345 
346 
347  public static native boolean
348  termination_test_MS_Uint8_Box(Uint8_Box p);
349  public static native boolean
350  termination_test_PR_Uint8_Box(Uint8_Box p);
351 
352 
353 
354 
355 
356  public static native boolean
357  one_affine_ranking_function_MS_Uint8_Box
358  (Uint8_Box p, Generator g);
359  public static native boolean
360  one_affine_ranking_function_PR_Uint8_Box
361  (Uint8_Box p, Generator g);
362 
363 
364 
365 
366 
367  public static native void
368  all_affine_ranking_functions_MS_Uint8_Box
369  (Uint8_Box p, Polyhedron ph);
370  public static native void
371  all_affine_ranking_functions_PR_Uint8_Box
372  (Uint8_Box p, Polyhedron ph);
373 
374 
375 
376 
377 
378  public static native void
379  all_affine_quasi_ranking_functions_MS_Uint8_Box
380  (Uint8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
381 
382 
383 
384 
385  public static native boolean
386  termination_test_MS_Uint8_Box_2
387  (Uint8_Box p_before, Uint8_Box p_after);
388  public static native boolean
389  termination_test_PR_Uint8_Box_2
390  (Uint8_Box p_before, Uint8_Box p_after);
391 
392 
393 
394 
395 
396  public static native boolean
397  one_affine_ranking_function_MS_Uint8_Box_2
398  (Uint8_Box p_before, Uint8_Box p_after, Generator g);
399  public static native boolean
400  one_affine_ranking_function_PR_Uint8_Box_2
401  (Uint8_Box p_before, Uint8_Box p_after, Generator g);
402 
403 
404 
405 
406 
407  public static native void
408  all_affine_ranking_functions_MS_Uint8_Box_2
409  (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph);
410  public static native void
411  all_affine_ranking_functions_PR_Uint8_Box_2
412  (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph);
413 
414 
415 
416 
417 
418  public static native void
419  all_affine_quasi_ranking_functions_MS_Uint8_Box_2
420  (Uint8_Box p_before, Uint8_Box p_after,
421  Polyhedron ph_decreasing, Polyhedron ph_bounded);
422 
423 
424 
425 
426 
427  public static native boolean
428  termination_test_MS_Uint16_Box(Uint16_Box p);
429  public static native boolean
430  termination_test_PR_Uint16_Box(Uint16_Box p);
431 
432 
433 
434 
435 
436  public static native boolean
437  one_affine_ranking_function_MS_Uint16_Box
438  (Uint16_Box p, Generator g);
439  public static native boolean
440  one_affine_ranking_function_PR_Uint16_Box
441  (Uint16_Box p, Generator g);
442 
443 
444 
445 
446 
447  public static native void
448  all_affine_ranking_functions_MS_Uint16_Box
449  (Uint16_Box p, Polyhedron ph);
450  public static native void
451  all_affine_ranking_functions_PR_Uint16_Box
452  (Uint16_Box p, Polyhedron ph);
453 
454 
455 
456 
457 
458  public static native void
459  all_affine_quasi_ranking_functions_MS_Uint16_Box
460  (Uint16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
461 
462 
463 
464 
465  public static native boolean
466  termination_test_MS_Uint16_Box_2
467  (Uint16_Box p_before, Uint16_Box p_after);
468  public static native boolean
469  termination_test_PR_Uint16_Box_2
470  (Uint16_Box p_before, Uint16_Box p_after);
471 
472 
473 
474 
475 
476  public static native boolean
477  one_affine_ranking_function_MS_Uint16_Box_2
478  (Uint16_Box p_before, Uint16_Box p_after, Generator g);
479  public static native boolean
480  one_affine_ranking_function_PR_Uint16_Box_2
481  (Uint16_Box p_before, Uint16_Box p_after, Generator g);
482 
483 
484 
485 
486 
487  public static native void
488  all_affine_ranking_functions_MS_Uint16_Box_2
489  (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph);
490  public static native void
491  all_affine_ranking_functions_PR_Uint16_Box_2
492  (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph);
493 
494 
495 
496 
497 
498  public static native void
499  all_affine_quasi_ranking_functions_MS_Uint16_Box_2
500  (Uint16_Box p_before, Uint16_Box p_after,
501  Polyhedron ph_decreasing, Polyhedron ph_bounded);
502 
503 
504 
505 
506 
507  public static native boolean
508  termination_test_MS_Uint32_Box(Uint32_Box p);
509  public static native boolean
510  termination_test_PR_Uint32_Box(Uint32_Box p);
511 
512 
513 
514 
515 
516  public static native boolean
517  one_affine_ranking_function_MS_Uint32_Box
518  (Uint32_Box p, Generator g);
519  public static native boolean
520  one_affine_ranking_function_PR_Uint32_Box
521  (Uint32_Box p, Generator g);
522 
523 
524 
525 
526 
527  public static native void
528  all_affine_ranking_functions_MS_Uint32_Box
529  (Uint32_Box p, Polyhedron ph);
530  public static native void
531  all_affine_ranking_functions_PR_Uint32_Box
532  (Uint32_Box p, Polyhedron ph);
533 
534 
535 
536 
537 
538  public static native void
539  all_affine_quasi_ranking_functions_MS_Uint32_Box
540  (Uint32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
541 
542 
543 
544 
545  public static native boolean
546  termination_test_MS_Uint32_Box_2
547  (Uint32_Box p_before, Uint32_Box p_after);
548  public static native boolean
549  termination_test_PR_Uint32_Box_2
550  (Uint32_Box p_before, Uint32_Box p_after);
551 
552 
553 
554 
555 
556  public static native boolean
557  one_affine_ranking_function_MS_Uint32_Box_2
558  (Uint32_Box p_before, Uint32_Box p_after, Generator g);
559  public static native boolean
560  one_affine_ranking_function_PR_Uint32_Box_2
561  (Uint32_Box p_before, Uint32_Box p_after, Generator g);
562 
563 
564 
565 
566 
567  public static native void
568  all_affine_ranking_functions_MS_Uint32_Box_2
569  (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph);
570  public static native void
571  all_affine_ranking_functions_PR_Uint32_Box_2
572  (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph);
573 
574 
575 
576 
577 
578  public static native void
579  all_affine_quasi_ranking_functions_MS_Uint32_Box_2
580  (Uint32_Box p_before, Uint32_Box p_after,
581  Polyhedron ph_decreasing, Polyhedron ph_bounded);
582 
583 
584 
585 
586 
587  public static native boolean
588  termination_test_MS_Uint64_Box(Uint64_Box p);
589  public static native boolean
590  termination_test_PR_Uint64_Box(Uint64_Box p);
591 
592 
593 
594 
595 
596  public static native boolean
597  one_affine_ranking_function_MS_Uint64_Box
598  (Uint64_Box p, Generator g);
599  public static native boolean
600  one_affine_ranking_function_PR_Uint64_Box
601  (Uint64_Box p, Generator g);
602 
603 
604 
605 
606 
607  public static native void
608  all_affine_ranking_functions_MS_Uint64_Box
609  (Uint64_Box p, Polyhedron ph);
610  public static native void
611  all_affine_ranking_functions_PR_Uint64_Box
612  (Uint64_Box p, Polyhedron ph);
613 
614 
615 
616 
617 
618  public static native void
619  all_affine_quasi_ranking_functions_MS_Uint64_Box
620  (Uint64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
621 
622 
623 
624 
625  public static native boolean
626  termination_test_MS_Uint64_Box_2
627  (Uint64_Box p_before, Uint64_Box p_after);
628  public static native boolean
629  termination_test_PR_Uint64_Box_2
630  (Uint64_Box p_before, Uint64_Box p_after);
631 
632 
633 
634 
635 
636  public static native boolean
637  one_affine_ranking_function_MS_Uint64_Box_2
638  (Uint64_Box p_before, Uint64_Box p_after, Generator g);
639  public static native boolean
640  one_affine_ranking_function_PR_Uint64_Box_2
641  (Uint64_Box p_before, Uint64_Box p_after, Generator g);
642 
643 
644 
645 
646 
647  public static native void
648  all_affine_ranking_functions_MS_Uint64_Box_2
649  (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph);
650  public static native void
651  all_affine_ranking_functions_PR_Uint64_Box_2
652  (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph);
653 
654 
655 
656 
657 
658  public static native void
659  all_affine_quasi_ranking_functions_MS_Uint64_Box_2
660  (Uint64_Box p_before, Uint64_Box p_after,
661  Polyhedron ph_decreasing, Polyhedron ph_bounded);
662 
663 
664 
665 
666 
667  public static native boolean
668  termination_test_MS_Z_Box(Z_Box p);
669  public static native boolean
670  termination_test_PR_Z_Box(Z_Box p);
671 
672 
673 
674 
675 
676  public static native boolean
677  one_affine_ranking_function_MS_Z_Box
678  (Z_Box p, Generator g);
679  public static native boolean
680  one_affine_ranking_function_PR_Z_Box
681  (Z_Box p, Generator g);
682 
683 
684 
685 
686 
687  public static native void
688  all_affine_ranking_functions_MS_Z_Box
689  (Z_Box p, Polyhedron ph);
690  public static native void
691  all_affine_ranking_functions_PR_Z_Box
692  (Z_Box p, Polyhedron ph);
693 
694 
695 
696 
697 
698  public static native void
699  all_affine_quasi_ranking_functions_MS_Z_Box
700  (Z_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
701 
702 
703 
704 
705  public static native boolean
706  termination_test_MS_Z_Box_2
707  (Z_Box p_before, Z_Box p_after);
708  public static native boolean
709  termination_test_PR_Z_Box_2
710  (Z_Box p_before, Z_Box p_after);
711 
712 
713 
714 
715 
716  public static native boolean
717  one_affine_ranking_function_MS_Z_Box_2
718  (Z_Box p_before, Z_Box p_after, Generator g);
719  public static native boolean
720  one_affine_ranking_function_PR_Z_Box_2
721  (Z_Box p_before, Z_Box p_after, Generator g);
722 
723 
724 
725 
726 
727  public static native void
728  all_affine_ranking_functions_MS_Z_Box_2
729  (Z_Box p_before, Z_Box p_after, Polyhedron ph);
730  public static native void
731  all_affine_ranking_functions_PR_Z_Box_2
732  (Z_Box p_before, Z_Box p_after, Polyhedron ph);
733 
734 
735 
736 
737 
738  public static native void
739  all_affine_quasi_ranking_functions_MS_Z_Box_2
740  (Z_Box p_before, Z_Box p_after,
741  Polyhedron ph_decreasing, Polyhedron ph_bounded);
742 
743 
744 
745 
746 
747  public static native boolean
748  termination_test_MS_Rational_Box(Rational_Box p);
749  public static native boolean
750  termination_test_PR_Rational_Box(Rational_Box p);
751 
752 
753 
754 
755 
756  public static native boolean
757  one_affine_ranking_function_MS_Rational_Box
758  (Rational_Box p, Generator g);
759  public static native boolean
760  one_affine_ranking_function_PR_Rational_Box
761  (Rational_Box p, Generator g);
762 
763 
764 
765 
766 
767  public static native void
768  all_affine_ranking_functions_MS_Rational_Box
769  (Rational_Box p, Polyhedron ph);
770  public static native void
771  all_affine_ranking_functions_PR_Rational_Box
772  (Rational_Box p, Polyhedron ph);
773 
774 
775 
776 
777 
778  public static native void
779  all_affine_quasi_ranking_functions_MS_Rational_Box
780  (Rational_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
781 
782 
783 
784 
785  public static native boolean
786  termination_test_MS_Rational_Box_2
787  (Rational_Box p_before, Rational_Box p_after);
788  public static native boolean
789  termination_test_PR_Rational_Box_2
790  (Rational_Box p_before, Rational_Box p_after);
791 
792 
793 
794 
795 
796  public static native boolean
797  one_affine_ranking_function_MS_Rational_Box_2
798  (Rational_Box p_before, Rational_Box p_after, Generator g);
799  public static native boolean
800  one_affine_ranking_function_PR_Rational_Box_2
801  (Rational_Box p_before, Rational_Box p_after, Generator g);
802 
803 
804 
805 
806 
807  public static native void
808  all_affine_ranking_functions_MS_Rational_Box_2
809  (Rational_Box p_before, Rational_Box p_after, Polyhedron ph);
810  public static native void
811  all_affine_ranking_functions_PR_Rational_Box_2
812  (Rational_Box p_before, Rational_Box p_after, Polyhedron ph);
813 
814 
815 
816 
817 
818  public static native void
819  all_affine_quasi_ranking_functions_MS_Rational_Box_2
820  (Rational_Box p_before, Rational_Box p_after,
821  Polyhedron ph_decreasing, Polyhedron ph_bounded);
822 
823 
824 
825 
826 
827  public static native boolean
828  termination_test_MS_BD_Shape_int8_t(BD_Shape_int8_t p);
829  public static native boolean
830  termination_test_PR_BD_Shape_int8_t(BD_Shape_int8_t p);
831 
832 
833 
834 
835 
836  public static native boolean
837  one_affine_ranking_function_MS_BD_Shape_int8_t
838  (BD_Shape_int8_t p, Generator g);
839  public static native boolean
840  one_affine_ranking_function_PR_BD_Shape_int8_t
841  (BD_Shape_int8_t p, Generator g);
842 
843 
844 
845 
846 
847  public static native void
848  all_affine_ranking_functions_MS_BD_Shape_int8_t
849  (BD_Shape_int8_t p, Polyhedron ph);
850  public static native void
851  all_affine_ranking_functions_PR_BD_Shape_int8_t
852  (BD_Shape_int8_t p, Polyhedron ph);
853 
854 
855 
856 
857 
858  public static native void
859  all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t
860  (BD_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
861 
862 
863 
864 
865  public static native boolean
866  termination_test_MS_BD_Shape_int8_t_2
867  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after);
868  public static native boolean
869  termination_test_PR_BD_Shape_int8_t_2
870  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after);
871 
872 
873 
874 
875 
876  public static native boolean
877  one_affine_ranking_function_MS_BD_Shape_int8_t_2
878  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g);
879  public static native boolean
880  one_affine_ranking_function_PR_BD_Shape_int8_t_2
881  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g);
882 
883 
884 
885 
886 
887  public static native void
888  all_affine_ranking_functions_MS_BD_Shape_int8_t_2
889  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph);
890  public static native void
891  all_affine_ranking_functions_PR_BD_Shape_int8_t_2
892  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph);
893 
894 
895 
896 
897 
898  public static native void
899  all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2
900  (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after,
901  Polyhedron ph_decreasing, Polyhedron ph_bounded);
902 
903 
904 
905 
906 
907  public static native boolean
908  termination_test_MS_BD_Shape_int16_t(BD_Shape_int16_t p);
909  public static native boolean
910  termination_test_PR_BD_Shape_int16_t(BD_Shape_int16_t p);
911 
912 
913 
914 
915 
916  public static native boolean
917  one_affine_ranking_function_MS_BD_Shape_int16_t
918  (BD_Shape_int16_t p, Generator g);
919  public static native boolean
920  one_affine_ranking_function_PR_BD_Shape_int16_t
921  (BD_Shape_int16_t p, Generator g);
922 
923 
924 
925 
926 
927  public static native void
928  all_affine_ranking_functions_MS_BD_Shape_int16_t
929  (BD_Shape_int16_t p, Polyhedron ph);
930  public static native void
931  all_affine_ranking_functions_PR_BD_Shape_int16_t
932  (BD_Shape_int16_t p, Polyhedron ph);
933 
934 
935 
936 
937 
938  public static native void
939  all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t
940  (BD_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
941 
942 
943 
944 
945  public static native boolean
946  termination_test_MS_BD_Shape_int16_t_2
947  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after);
948  public static native boolean
949  termination_test_PR_BD_Shape_int16_t_2
950  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after);
951 
952 
953 
954 
955 
956  public static native boolean
957  one_affine_ranking_function_MS_BD_Shape_int16_t_2
958  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g);
959  public static native boolean
960  one_affine_ranking_function_PR_BD_Shape_int16_t_2
961  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g);
962 
963 
964 
965 
966 
967  public static native void
968  all_affine_ranking_functions_MS_BD_Shape_int16_t_2
969  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph);
970  public static native void
971  all_affine_ranking_functions_PR_BD_Shape_int16_t_2
972  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph);
973 
974 
975 
976 
977 
978  public static native void
979  all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2
980  (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after,
981  Polyhedron ph_decreasing, Polyhedron ph_bounded);
982 
983 
984 
985 
986 
987  public static native boolean
988  termination_test_MS_BD_Shape_int32_t(BD_Shape_int32_t p);
989  public static native boolean
990  termination_test_PR_BD_Shape_int32_t(BD_Shape_int32_t p);
991 
992 
993 
994 
995 
996  public static native boolean
997  one_affine_ranking_function_MS_BD_Shape_int32_t
998  (BD_Shape_int32_t p, Generator g);
999  public static native boolean
1000  one_affine_ranking_function_PR_BD_Shape_int32_t
1001  (BD_Shape_int32_t p, Generator g);
1002 
1003 
1004 
1005 
1006 
1007  public static native void
1008  all_affine_ranking_functions_MS_BD_Shape_int32_t
1009  (BD_Shape_int32_t p, Polyhedron ph);
1010  public static native void
1011  all_affine_ranking_functions_PR_BD_Shape_int32_t
1012  (BD_Shape_int32_t p, Polyhedron ph);
1013 
1014 
1015 
1016 
1017 
1018  public static native void
1019  all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t
1020  (BD_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1021 
1022 
1023 
1024 
1025  public static native boolean
1026  termination_test_MS_BD_Shape_int32_t_2
1027  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after);
1028  public static native boolean
1029  termination_test_PR_BD_Shape_int32_t_2
1030  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after);
1031 
1032 
1033 
1034 
1035 
1036  public static native boolean
1037  one_affine_ranking_function_MS_BD_Shape_int32_t_2
1038  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g);
1039  public static native boolean
1040  one_affine_ranking_function_PR_BD_Shape_int32_t_2
1041  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g);
1042 
1043 
1044 
1045 
1046 
1047  public static native void
1048  all_affine_ranking_functions_MS_BD_Shape_int32_t_2
1049  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph);
1050  public static native void
1051  all_affine_ranking_functions_PR_BD_Shape_int32_t_2
1052  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph);
1053 
1054 
1055 
1056 
1057 
1058  public static native void
1059  all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2
1060  (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after,
1061  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1062 
1063 
1064 
1065 
1066 
1067  public static native boolean
1068  termination_test_MS_BD_Shape_int64_t(BD_Shape_int64_t p);
1069  public static native boolean
1070  termination_test_PR_BD_Shape_int64_t(BD_Shape_int64_t p);
1071 
1072 
1073 
1074 
1075 
1076  public static native boolean
1077  one_affine_ranking_function_MS_BD_Shape_int64_t
1078  (BD_Shape_int64_t p, Generator g);
1079  public static native boolean
1080  one_affine_ranking_function_PR_BD_Shape_int64_t
1081  (BD_Shape_int64_t p, Generator g);
1082 
1083 
1084 
1085 
1086 
1087  public static native void
1088  all_affine_ranking_functions_MS_BD_Shape_int64_t
1089  (BD_Shape_int64_t p, Polyhedron ph);
1090  public static native void
1091  all_affine_ranking_functions_PR_BD_Shape_int64_t
1092  (BD_Shape_int64_t p, Polyhedron ph);
1093 
1094 
1095 
1096 
1097 
1098  public static native void
1099  all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t
1100  (BD_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1101 
1102 
1103 
1104 
1105  public static native boolean
1106  termination_test_MS_BD_Shape_int64_t_2
1107  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after);
1108  public static native boolean
1109  termination_test_PR_BD_Shape_int64_t_2
1110  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after);
1111 
1112 
1113 
1114 
1115 
1116  public static native boolean
1117  one_affine_ranking_function_MS_BD_Shape_int64_t_2
1118  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g);
1119  public static native boolean
1120  one_affine_ranking_function_PR_BD_Shape_int64_t_2
1121  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g);
1122 
1123 
1124 
1125 
1126 
1127  public static native void
1128  all_affine_ranking_functions_MS_BD_Shape_int64_t_2
1129  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph);
1130  public static native void
1131  all_affine_ranking_functions_PR_BD_Shape_int64_t_2
1132  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph);
1133 
1134 
1135 
1136 
1137 
1138  public static native void
1139  all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2
1140  (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after,
1141  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1142 
1143 
1144 
1145 
1146 
1147  public static native boolean
1148  termination_test_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p);
1149  public static native boolean
1150  termination_test_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p);
1151 
1152 
1153 
1154 
1155 
1156  public static native boolean
1157  one_affine_ranking_function_MS_BD_Shape_mpz_class
1158  (BD_Shape_mpz_class p, Generator g);
1159  public static native boolean
1160  one_affine_ranking_function_PR_BD_Shape_mpz_class
1161  (BD_Shape_mpz_class p, Generator g);
1162 
1163 
1164 
1165 
1166 
1167  public static native void
1168  all_affine_ranking_functions_MS_BD_Shape_mpz_class
1169  (BD_Shape_mpz_class p, Polyhedron ph);
1170  public static native void
1171  all_affine_ranking_functions_PR_BD_Shape_mpz_class
1172  (BD_Shape_mpz_class p, Polyhedron ph);
1173 
1174 
1175 
1176 
1177 
1178  public static native void
1179  all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class
1180  (BD_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1181 
1182 
1183 
1184 
1185  public static native boolean
1186  termination_test_MS_BD_Shape_mpz_class_2
1187  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after);
1188  public static native boolean
1189  termination_test_PR_BD_Shape_mpz_class_2
1190  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after);
1191 
1192 
1193 
1194 
1195 
1196  public static native boolean
1197  one_affine_ranking_function_MS_BD_Shape_mpz_class_2
1198  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g);
1199  public static native boolean
1200  one_affine_ranking_function_PR_BD_Shape_mpz_class_2
1201  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g);
1202 
1203 
1204 
1205 
1206 
1207  public static native void
1208  all_affine_ranking_functions_MS_BD_Shape_mpz_class_2
1209  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph);
1210  public static native void
1211  all_affine_ranking_functions_PR_BD_Shape_mpz_class_2
1212  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph);
1213 
1214 
1215 
1216 
1217 
1218  public static native void
1219  all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2
1220  (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after,
1221  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1222 
1223 
1224 
1225 
1226 
1227  public static native boolean
1228  termination_test_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p);
1229  public static native boolean
1230  termination_test_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p);
1231 
1232 
1233 
1234 
1235 
1236  public static native boolean
1237  one_affine_ranking_function_MS_BD_Shape_mpq_class
1238  (BD_Shape_mpq_class p, Generator g);
1239  public static native boolean
1240  one_affine_ranking_function_PR_BD_Shape_mpq_class
1241  (BD_Shape_mpq_class p, Generator g);
1242 
1243 
1244 
1245 
1246 
1247  public static native void
1248  all_affine_ranking_functions_MS_BD_Shape_mpq_class
1249  (BD_Shape_mpq_class p, Polyhedron ph);
1250  public static native void
1251  all_affine_ranking_functions_PR_BD_Shape_mpq_class
1252  (BD_Shape_mpq_class p, Polyhedron ph);
1253 
1254 
1255 
1256 
1257 
1258  public static native void
1259  all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class
1260  (BD_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1261 
1262 
1263 
1264 
1265  public static native boolean
1266  termination_test_MS_BD_Shape_mpq_class_2
1267  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after);
1268  public static native boolean
1269  termination_test_PR_BD_Shape_mpq_class_2
1270  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after);
1271 
1272 
1273 
1274 
1275 
1276  public static native boolean
1277  one_affine_ranking_function_MS_BD_Shape_mpq_class_2
1278  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g);
1279  public static native boolean
1280  one_affine_ranking_function_PR_BD_Shape_mpq_class_2
1281  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g);
1282 
1283 
1284 
1285 
1286 
1287  public static native void
1288  all_affine_ranking_functions_MS_BD_Shape_mpq_class_2
1289  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph);
1290  public static native void
1291  all_affine_ranking_functions_PR_BD_Shape_mpq_class_2
1292  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph);
1293 
1294 
1295 
1296 
1297 
1298  public static native void
1299  all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2
1300  (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after,
1301  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1302 
1303 
1304 
1305 
1306 
1307  public static native boolean
1308  termination_test_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p);
1309  public static native boolean
1310  termination_test_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p);
1311 
1312 
1313 
1314 
1315 
1316  public static native boolean
1317  one_affine_ranking_function_MS_Octagonal_Shape_int8_t
1318  (Octagonal_Shape_int8_t p, Generator g);
1319  public static native boolean
1320  one_affine_ranking_function_PR_Octagonal_Shape_int8_t
1321  (Octagonal_Shape_int8_t p, Generator g);
1322 
1323 
1324 
1325 
1326 
1327  public static native void
1328  all_affine_ranking_functions_MS_Octagonal_Shape_int8_t
1329  (Octagonal_Shape_int8_t p, Polyhedron ph);
1330  public static native void
1331  all_affine_ranking_functions_PR_Octagonal_Shape_int8_t
1332  (Octagonal_Shape_int8_t p, Polyhedron ph);
1333 
1334 
1335 
1336 
1337 
1338  public static native void
1339  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t
1340  (Octagonal_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1341 
1342 
1343 
1344 
1345  public static native boolean
1346  termination_test_MS_Octagonal_Shape_int8_t_2
1347  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after);
1348  public static native boolean
1349  termination_test_PR_Octagonal_Shape_int8_t_2
1350  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after);
1351 
1352 
1353 
1354 
1355 
1356  public static native boolean
1357  one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2
1358  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g);
1359  public static native boolean
1360  one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2
1361  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g);
1362 
1363 
1364 
1365 
1366 
1367  public static native void
1368  all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2
1369  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph);
1370  public static native void
1371  all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2
1372  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph);
1373 
1374 
1375 
1376 
1377 
1378  public static native void
1379  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2
1380  (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after,
1381  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1382 
1383 
1384 
1385 
1386 
1387  public static native boolean
1388  termination_test_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p);
1389  public static native boolean
1390  termination_test_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p);
1391 
1392 
1393 
1394 
1395 
1396  public static native boolean
1397  one_affine_ranking_function_MS_Octagonal_Shape_int16_t
1398  (Octagonal_Shape_int16_t p, Generator g);
1399  public static native boolean
1400  one_affine_ranking_function_PR_Octagonal_Shape_int16_t
1401  (Octagonal_Shape_int16_t p, Generator g);
1402 
1403 
1404 
1405 
1406 
1407  public static native void
1408  all_affine_ranking_functions_MS_Octagonal_Shape_int16_t
1409  (Octagonal_Shape_int16_t p, Polyhedron ph);
1410  public static native void
1411  all_affine_ranking_functions_PR_Octagonal_Shape_int16_t
1412  (Octagonal_Shape_int16_t p, Polyhedron ph);
1413 
1414 
1415 
1416 
1417 
1418  public static native void
1419  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t
1420  (Octagonal_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1421 
1422 
1423 
1424 
1425  public static native boolean
1426  termination_test_MS_Octagonal_Shape_int16_t_2
1427  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after);
1428  public static native boolean
1429  termination_test_PR_Octagonal_Shape_int16_t_2
1430  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after);
1431 
1432 
1433 
1434 
1435 
1436  public static native boolean
1437  one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2
1438  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g);
1439  public static native boolean
1440  one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2
1441  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g);
1442 
1443 
1444 
1445 
1446 
1447  public static native void
1448  all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2
1449  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph);
1450  public static native void
1451  all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2
1452  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph);
1453 
1454 
1455 
1456 
1457 
1458  public static native void
1459  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2
1460  (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after,
1461  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1462 
1463 
1464 
1465 
1466 
1467  public static native boolean
1468  termination_test_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p);
1469  public static native boolean
1470  termination_test_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p);
1471 
1472 
1473 
1474 
1475 
1476  public static native boolean
1477  one_affine_ranking_function_MS_Octagonal_Shape_int32_t
1478  (Octagonal_Shape_int32_t p, Generator g);
1479  public static native boolean
1480  one_affine_ranking_function_PR_Octagonal_Shape_int32_t
1481  (Octagonal_Shape_int32_t p, Generator g);
1482 
1483 
1484 
1485 
1486 
1487  public static native void
1488  all_affine_ranking_functions_MS_Octagonal_Shape_int32_t
1489  (Octagonal_Shape_int32_t p, Polyhedron ph);
1490  public static native void
1491  all_affine_ranking_functions_PR_Octagonal_Shape_int32_t
1492  (Octagonal_Shape_int32_t p, Polyhedron ph);
1493 
1494 
1495 
1496 
1497 
1498  public static native void
1499  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t
1500  (Octagonal_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1501 
1502 
1503 
1504 
1505  public static native boolean
1506  termination_test_MS_Octagonal_Shape_int32_t_2
1507  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after);
1508  public static native boolean
1509  termination_test_PR_Octagonal_Shape_int32_t_2
1510  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after);
1511 
1512 
1513 
1514 
1515 
1516  public static native boolean
1517  one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2
1518  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g);
1519  public static native boolean
1520  one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2
1521  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g);
1522 
1523 
1524 
1525 
1526 
1527  public static native void
1528  all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2
1529  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph);
1530  public static native void
1531  all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2
1532  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph);
1533 
1534 
1535 
1536 
1537 
1538  public static native void
1539  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2
1540  (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after,
1541  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1542 
1543 
1544 
1545 
1546 
1547  public static native boolean
1548  termination_test_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p);
1549  public static native boolean
1550  termination_test_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p);
1551 
1552 
1553 
1554 
1555 
1556  public static native boolean
1557  one_affine_ranking_function_MS_Octagonal_Shape_int64_t
1558  (Octagonal_Shape_int64_t p, Generator g);
1559  public static native boolean
1560  one_affine_ranking_function_PR_Octagonal_Shape_int64_t
1561  (Octagonal_Shape_int64_t p, Generator g);
1562 
1563 
1564 
1565 
1566 
1567  public static native void
1568  all_affine_ranking_functions_MS_Octagonal_Shape_int64_t
1569  (Octagonal_Shape_int64_t p, Polyhedron ph);
1570  public static native void
1571  all_affine_ranking_functions_PR_Octagonal_Shape_int64_t
1572  (Octagonal_Shape_int64_t p, Polyhedron ph);
1573 
1574 
1575 
1576 
1577 
1578  public static native void
1579  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t
1580  (Octagonal_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1581 
1582 
1583 
1584 
1585  public static native boolean
1586  termination_test_MS_Octagonal_Shape_int64_t_2
1587  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after);
1588  public static native boolean
1589  termination_test_PR_Octagonal_Shape_int64_t_2
1590  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after);
1591 
1592 
1593 
1594 
1595 
1596  public static native boolean
1597  one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2
1598  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g);
1599  public static native boolean
1600  one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2
1601  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g);
1602 
1603 
1604 
1605 
1606 
1607  public static native void
1608  all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2
1609  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph);
1610  public static native void
1611  all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2
1612  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph);
1613 
1614 
1615 
1616 
1617 
1618  public static native void
1619  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2
1620  (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after,
1621  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1622 
1623 
1624 
1625 
1626 
1627  public static native boolean
1628  termination_test_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p);
1629  public static native boolean
1630  termination_test_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p);
1631 
1632 
1633 
1634 
1635 
1636  public static native boolean
1637  one_affine_ranking_function_MS_Octagonal_Shape_mpz_class
1638  (Octagonal_Shape_mpz_class p, Generator g);
1639  public static native boolean
1640  one_affine_ranking_function_PR_Octagonal_Shape_mpz_class
1641  (Octagonal_Shape_mpz_class p, Generator g);
1642 
1643 
1644 
1645 
1646 
1647  public static native void
1648  all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class
1649  (Octagonal_Shape_mpz_class p, Polyhedron ph);
1650  public static native void
1651  all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class
1652  (Octagonal_Shape_mpz_class p, Polyhedron ph);
1653 
1654 
1655 
1656 
1657 
1658  public static native void
1659  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class
1660  (Octagonal_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1661 
1662 
1663 
1664 
1665  public static native boolean
1666  termination_test_MS_Octagonal_Shape_mpz_class_2
1667  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after);
1668  public static native boolean
1669  termination_test_PR_Octagonal_Shape_mpz_class_2
1670  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after);
1671 
1672 
1673 
1674 
1675 
1676  public static native boolean
1677  one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2
1678  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g);
1679  public static native boolean
1680  one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2
1681  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g);
1682 
1683 
1684 
1685 
1686 
1687  public static native void
1688  all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2
1689  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph);
1690  public static native void
1691  all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2
1692  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph);
1693 
1694 
1695 
1696 
1697 
1698  public static native void
1699  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2
1700  (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after,
1701  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1702 
1703 
1704 
1705 
1706 
1707  public static native boolean
1708  termination_test_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p);
1709  public static native boolean
1710  termination_test_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p);
1711 
1712 
1713 
1714 
1715 
1716  public static native boolean
1717  one_affine_ranking_function_MS_Octagonal_Shape_mpq_class
1718  (Octagonal_Shape_mpq_class p, Generator g);
1719  public static native boolean
1720  one_affine_ranking_function_PR_Octagonal_Shape_mpq_class
1721  (Octagonal_Shape_mpq_class p, Generator g);
1722 
1723 
1724 
1725 
1726 
1727  public static native void
1728  all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class
1729  (Octagonal_Shape_mpq_class p, Polyhedron ph);
1730  public static native void
1731  all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class
1732  (Octagonal_Shape_mpq_class p, Polyhedron ph);
1733 
1734 
1735 
1736 
1737 
1738  public static native void
1739  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class
1740  (Octagonal_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1741 
1742 
1743 
1744 
1745  public static native boolean
1746  termination_test_MS_Octagonal_Shape_mpq_class_2
1747  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after);
1748  public static native boolean
1749  termination_test_PR_Octagonal_Shape_mpq_class_2
1750  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after);
1751 
1752 
1753 
1754 
1755 
1756  public static native boolean
1757  one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2
1758  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g);
1759  public static native boolean
1760  one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2
1761  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g);
1762 
1763 
1764 
1765 
1766 
1767  public static native void
1768  all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2
1769  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph);
1770  public static native void
1771  all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2
1772  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph);
1773 
1774 
1775 
1776 
1777 
1778  public static native void
1779  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2
1780  (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after,
1781  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1782 
1783 
1784 
1785 
1786 
1787  public static native boolean
1788  termination_test_MS_C_Polyhedron(C_Polyhedron p);
1789  public static native boolean
1790  termination_test_PR_C_Polyhedron(C_Polyhedron p);
1791  public static native boolean
1792  termination_test_MS_NNC_Polyhedron(NNC_Polyhedron p);
1793  public static native boolean
1794  termination_test_PR_NNC_Polyhedron(NNC_Polyhedron p);
1795 
1796 
1797 
1798 
1799 
1800  public static native boolean
1801  one_affine_ranking_function_MS_C_Polyhedron
1802  (C_Polyhedron p, Generator g);
1803  public static native boolean
1804  one_affine_ranking_function_PR_C_Polyhedron
1805  (C_Polyhedron p, Generator g);
1806  public static native boolean
1807  one_affine_ranking_function_MS_NNC_Polyhedron
1808  (NNC_Polyhedron p, Generator g);
1809  public static native boolean
1810  one_affine_ranking_function_PR_NNC_Polyhedron
1811  (NNC_Polyhedron p, Generator g);
1812 
1813 
1814 
1815 
1816 
1817  public static native void
1818  all_affine_ranking_functions_MS_C_Polyhedron
1819  (C_Polyhedron p, Polyhedron ph);
1820  public static native void
1821  all_affine_ranking_functions_PR_C_Polyhedron
1822  (C_Polyhedron p, Polyhedron ph);
1823  public static native void
1824  all_affine_ranking_functions_MS_NNC_Polyhedron
1825  (NNC_Polyhedron p, Polyhedron ph);
1826  public static native void
1827  all_affine_ranking_functions_PR_NNC_Polyhedron
1828  (NNC_Polyhedron p, Polyhedron ph);
1829 
1830 
1831 
1832 
1833 
1834  public static native void
1835  all_affine_quasi_ranking_functions_MS_C_Polyhedron
1836  (C_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1837  public static native void
1838  all_affine_quasi_ranking_functions_MS_NNC_Polyhedron
1839  (NNC_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1840 
1841 
1842 
1843 
1844  public static native boolean
1845  termination_test_MS_C_Polyhedron_2
1846  (C_Polyhedron p_before, C_Polyhedron p_after);
1847  public static native boolean
1848  termination_test_PR_C_Polyhedron_2
1849  (C_Polyhedron p_before, C_Polyhedron p_after);
1850  public static native boolean
1851  termination_test_MS_NNC_Polyhedron_2
1852  (NNC_Polyhedron p_before, NNC_Polyhedron p_after);
1853  public static native boolean
1854  termination_test_PR_NNC_Polyhedron_2
1855  (NNC_Polyhedron p_before, NNC_Polyhedron p_after);
1856 
1857 
1858 
1859 
1860 
1861  public static native boolean
1862  one_affine_ranking_function_MS_C_Polyhedron_2
1863  (C_Polyhedron p_before, C_Polyhedron p_after, Generator g);
1864  public static native boolean
1865  one_affine_ranking_function_PR_C_Polyhedron_2
1866  (C_Polyhedron p_before, C_Polyhedron p_after, Generator g);
1867  public static native boolean
1868  one_affine_ranking_function_MS_NNC_Polyhedron_2
1869  (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g);
1870  public static native boolean
1871  one_affine_ranking_function_PR_NNC_Polyhedron_2
1872  (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g);
1873 
1874 
1875 
1876 
1877 
1878  public static native void
1879  all_affine_ranking_functions_MS_C_Polyhedron_2
1880  (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph);
1881  public static native void
1882  all_affine_ranking_functions_PR_C_Polyhedron_2
1883  (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph);
1884  public static native void
1885  all_affine_ranking_functions_MS_NNC_Polyhedron_2
1886  (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph);
1887  public static native void
1888  all_affine_ranking_functions_PR_NNC_Polyhedron_2
1889  (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph);
1890 
1891 
1892 
1893 
1894 
1895  public static native void
1896  all_affine_quasi_ranking_functions_MS_C_Polyhedron_2
1897  (C_Polyhedron p_before, C_Polyhedron p_after,
1898  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1899  public static native void
1900  all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2
1901  (NNC_Polyhedron p_before, NNC_Polyhedron p_after,
1902  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1903 
1904 
1905 
1906 
1907 
1908  public static native boolean
1909  termination_test_MS_Grid(Grid p);
1910  public static native boolean
1911  termination_test_PR_Grid(Grid p);
1912 
1913 
1914 
1915 
1916 
1917  public static native boolean
1918  one_affine_ranking_function_MS_Grid
1919  (Grid p, Generator g);
1920  public static native boolean
1921  one_affine_ranking_function_PR_Grid
1922  (Grid p, Generator g);
1923 
1924 
1925 
1926 
1927 
1928  public static native void
1929  all_affine_ranking_functions_MS_Grid
1930  (Grid p, Polyhedron ph);
1931  public static native void
1932  all_affine_ranking_functions_PR_Grid
1933  (Grid p, Polyhedron ph);
1934 
1935 
1936 
1937 
1938 
1939  public static native void
1940  all_affine_quasi_ranking_functions_MS_Grid
1941  (Grid p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
1942 
1943 
1944 
1945 
1946  public static native boolean
1947  termination_test_MS_Grid_2
1948  (Grid p_before, Grid p_after);
1949  public static native boolean
1950  termination_test_PR_Grid_2
1951  (Grid p_before, Grid p_after);
1952 
1953 
1954 
1955 
1956 
1957  public static native boolean
1958  one_affine_ranking_function_MS_Grid_2
1959  (Grid p_before, Grid p_after, Generator g);
1960  public static native boolean
1961  one_affine_ranking_function_PR_Grid_2
1962  (Grid p_before, Grid p_after, Generator g);
1963 
1964 
1965 
1966 
1967 
1968  public static native void
1969  all_affine_ranking_functions_MS_Grid_2
1970  (Grid p_before, Grid p_after, Polyhedron ph);
1971  public static native void
1972  all_affine_ranking_functions_PR_Grid_2
1973  (Grid p_before, Grid p_after, Polyhedron ph);
1974 
1975 
1976 
1977 
1978 
1979  public static native void
1980  all_affine_quasi_ranking_functions_MS_Grid_2
1981  (Grid p_before, Grid p_after,
1982  Polyhedron ph_decreasing, Polyhedron ph_bounded);
1983 
1984 
1985 
1986 
1987 
1988  public static native boolean
1989  termination_test_MS_Float_Box(Float_Box p);
1990  public static native boolean
1991  termination_test_PR_Float_Box(Float_Box p);
1992 
1993 
1994 
1995 
1996 
1997  public static native boolean
1998  one_affine_ranking_function_MS_Float_Box
1999  (Float_Box p, Generator g);
2000  public static native boolean
2001  one_affine_ranking_function_PR_Float_Box
2002  (Float_Box p, Generator g);
2003 
2004 
2005 
2006 
2007 
2008  public static native void
2009  all_affine_ranking_functions_MS_Float_Box
2010  (Float_Box p, Polyhedron ph);
2011  public static native void
2012  all_affine_ranking_functions_PR_Float_Box
2013  (Float_Box p, Polyhedron ph);
2014 
2015 
2016 
2017 
2018 
2019  public static native void
2020  all_affine_quasi_ranking_functions_MS_Float_Box
2021  (Float_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2022 
2023 
2024 
2025 
2026  public static native boolean
2027  termination_test_MS_Float_Box_2
2028  (Float_Box p_before, Float_Box p_after);
2029  public static native boolean
2030  termination_test_PR_Float_Box_2
2031  (Float_Box p_before, Float_Box p_after);
2032 
2033 
2034 
2035 
2036 
2037  public static native boolean
2038  one_affine_ranking_function_MS_Float_Box_2
2039  (Float_Box p_before, Float_Box p_after, Generator g);
2040  public static native boolean
2041  one_affine_ranking_function_PR_Float_Box_2
2042  (Float_Box p_before, Float_Box p_after, Generator g);
2043 
2044 
2045 
2046 
2047 
2048  public static native void
2049  all_affine_ranking_functions_MS_Float_Box_2
2050  (Float_Box p_before, Float_Box p_after, Polyhedron ph);
2051  public static native void
2052  all_affine_ranking_functions_PR_Float_Box_2
2053  (Float_Box p_before, Float_Box p_after, Polyhedron ph);
2054 
2055 
2056 
2057 
2058 
2059  public static native void
2060  all_affine_quasi_ranking_functions_MS_Float_Box_2
2061  (Float_Box p_before, Float_Box p_after,
2062  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2063 
2064 
2065 
2066 
2067 
2068  public static native boolean
2069  termination_test_MS_BD_Shape_float(BD_Shape_float p);
2070  public static native boolean
2071  termination_test_PR_BD_Shape_float(BD_Shape_float p);
2072 
2073 
2074 
2075 
2076 
2077  public static native boolean
2078  one_affine_ranking_function_MS_BD_Shape_float
2079  (BD_Shape_float p, Generator g);
2080  public static native boolean
2081  one_affine_ranking_function_PR_BD_Shape_float
2082  (BD_Shape_float p, Generator g);
2083 
2084 
2085 
2086 
2087 
2088  public static native void
2089  all_affine_ranking_functions_MS_BD_Shape_float
2090  (BD_Shape_float p, Polyhedron ph);
2091  public static native void
2092  all_affine_ranking_functions_PR_BD_Shape_float
2093  (BD_Shape_float p, Polyhedron ph);
2094 
2095 
2096 
2097 
2098 
2099  public static native void
2100  all_affine_quasi_ranking_functions_MS_BD_Shape_float
2101  (BD_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2102 
2103 
2104 
2105 
2106  public static native boolean
2107  termination_test_MS_BD_Shape_float_2
2108  (BD_Shape_float p_before, BD_Shape_float p_after);
2109  public static native boolean
2110  termination_test_PR_BD_Shape_float_2
2111  (BD_Shape_float p_before, BD_Shape_float p_after);
2112 
2113 
2114 
2115 
2116 
2117  public static native boolean
2118  one_affine_ranking_function_MS_BD_Shape_float_2
2119  (BD_Shape_float p_before, BD_Shape_float p_after, Generator g);
2120  public static native boolean
2121  one_affine_ranking_function_PR_BD_Shape_float_2
2122  (BD_Shape_float p_before, BD_Shape_float p_after, Generator g);
2123 
2124 
2125 
2126 
2127 
2128  public static native void
2129  all_affine_ranking_functions_MS_BD_Shape_float_2
2130  (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph);
2131  public static native void
2132  all_affine_ranking_functions_PR_BD_Shape_float_2
2133  (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph);
2134 
2135 
2136 
2137 
2138 
2139  public static native void
2140  all_affine_quasi_ranking_functions_MS_BD_Shape_float_2
2141  (BD_Shape_float p_before, BD_Shape_float p_after,
2142  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2143 
2144 
2145 
2146 
2147 
2148  public static native boolean
2149  termination_test_MS_Octagonal_Shape_float(Octagonal_Shape_float p);
2150  public static native boolean
2151  termination_test_PR_Octagonal_Shape_float(Octagonal_Shape_float p);
2152 
2153 
2154 
2155 
2156 
2157  public static native boolean
2158  one_affine_ranking_function_MS_Octagonal_Shape_float
2159  (Octagonal_Shape_float p, Generator g);
2160  public static native boolean
2161  one_affine_ranking_function_PR_Octagonal_Shape_float
2162  (Octagonal_Shape_float p, Generator g);
2163 
2164 
2165 
2166 
2167 
2168  public static native void
2169  all_affine_ranking_functions_MS_Octagonal_Shape_float
2170  (Octagonal_Shape_float p, Polyhedron ph);
2171  public static native void
2172  all_affine_ranking_functions_PR_Octagonal_Shape_float
2173  (Octagonal_Shape_float p, Polyhedron ph);
2174 
2175 
2176 
2177 
2178 
2179  public static native void
2180  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float
2181  (Octagonal_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2182 
2183 
2184 
2185 
2186  public static native boolean
2187  termination_test_MS_Octagonal_Shape_float_2
2188  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after);
2189  public static native boolean
2190  termination_test_PR_Octagonal_Shape_float_2
2191  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after);
2192 
2193 
2194 
2195 
2196 
2197  public static native boolean
2198  one_affine_ranking_function_MS_Octagonal_Shape_float_2
2199  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g);
2200  public static native boolean
2201  one_affine_ranking_function_PR_Octagonal_Shape_float_2
2202  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g);
2203 
2204 
2205 
2206 
2207 
2208  public static native void
2209  all_affine_ranking_functions_MS_Octagonal_Shape_float_2
2210  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph);
2211  public static native void
2212  all_affine_ranking_functions_PR_Octagonal_Shape_float_2
2213  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph);
2214 
2215 
2216 
2217 
2218 
2219  public static native void
2220  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2
2221  (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after,
2222  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2223 
2224 
2225 
2226 
2227 
2228  public static native boolean
2229  termination_test_MS_Double_Box(Double_Box p);
2230  public static native boolean
2231  termination_test_PR_Double_Box(Double_Box p);
2232 
2233 
2234 
2235 
2236 
2237  public static native boolean
2238  one_affine_ranking_function_MS_Double_Box
2239  (Double_Box p, Generator g);
2240  public static native boolean
2241  one_affine_ranking_function_PR_Double_Box
2242  (Double_Box p, Generator g);
2243 
2244 
2245 
2246 
2247 
2248  public static native void
2249  all_affine_ranking_functions_MS_Double_Box
2250  (Double_Box p, Polyhedron ph);
2251  public static native void
2252  all_affine_ranking_functions_PR_Double_Box
2253  (Double_Box p, Polyhedron ph);
2254 
2255 
2256 
2257 
2258 
2259  public static native void
2260  all_affine_quasi_ranking_functions_MS_Double_Box
2261  (Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2262 
2263 
2264 
2265 
2266  public static native boolean
2267  termination_test_MS_Double_Box_2
2268  (Double_Box p_before, Double_Box p_after);
2269  public static native boolean
2270  termination_test_PR_Double_Box_2
2271  (Double_Box p_before, Double_Box p_after);
2272 
2273 
2274 
2275 
2276 
2277  public static native boolean
2278  one_affine_ranking_function_MS_Double_Box_2
2279  (Double_Box p_before, Double_Box p_after, Generator g);
2280  public static native boolean
2281  one_affine_ranking_function_PR_Double_Box_2
2282  (Double_Box p_before, Double_Box p_after, Generator g);
2283 
2284 
2285 
2286 
2287 
2288  public static native void
2289  all_affine_ranking_functions_MS_Double_Box_2
2290  (Double_Box p_before, Double_Box p_after, Polyhedron ph);
2291  public static native void
2292  all_affine_ranking_functions_PR_Double_Box_2
2293  (Double_Box p_before, Double_Box p_after, Polyhedron ph);
2294 
2295 
2296 
2297 
2298 
2299  public static native void
2300  all_affine_quasi_ranking_functions_MS_Double_Box_2
2301  (Double_Box p_before, Double_Box p_after,
2302  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2303 
2304 
2305 
2306 
2307 
2308  public static native boolean
2309  termination_test_MS_BD_Shape_double(BD_Shape_double p);
2310  public static native boolean
2311  termination_test_PR_BD_Shape_double(BD_Shape_double p);
2312 
2313 
2314 
2315 
2316 
2317  public static native boolean
2318  one_affine_ranking_function_MS_BD_Shape_double
2319  (BD_Shape_double p, Generator g);
2320  public static native boolean
2321  one_affine_ranking_function_PR_BD_Shape_double
2322  (BD_Shape_double p, Generator g);
2323 
2324 
2325 
2326 
2327 
2328  public static native void
2329  all_affine_ranking_functions_MS_BD_Shape_double
2330  (BD_Shape_double p, Polyhedron ph);
2331  public static native void
2332  all_affine_ranking_functions_PR_BD_Shape_double
2333  (BD_Shape_double p, Polyhedron ph);
2334 
2335 
2336 
2337 
2338 
2339  public static native void
2340  all_affine_quasi_ranking_functions_MS_BD_Shape_double
2341  (BD_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2342 
2343 
2344 
2345 
2346  public static native boolean
2347  termination_test_MS_BD_Shape_double_2
2348  (BD_Shape_double p_before, BD_Shape_double p_after);
2349  public static native boolean
2350  termination_test_PR_BD_Shape_double_2
2351  (BD_Shape_double p_before, BD_Shape_double p_after);
2352 
2353 
2354 
2355 
2356 
2357  public static native boolean
2358  one_affine_ranking_function_MS_BD_Shape_double_2
2359  (BD_Shape_double p_before, BD_Shape_double p_after, Generator g);
2360  public static native boolean
2361  one_affine_ranking_function_PR_BD_Shape_double_2
2362  (BD_Shape_double p_before, BD_Shape_double p_after, Generator g);
2363 
2364 
2365 
2366 
2367 
2368  public static native void
2369  all_affine_ranking_functions_MS_BD_Shape_double_2
2370  (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph);
2371  public static native void
2372  all_affine_ranking_functions_PR_BD_Shape_double_2
2373  (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph);
2374 
2375 
2376 
2377 
2378 
2379  public static native void
2380  all_affine_quasi_ranking_functions_MS_BD_Shape_double_2
2381  (BD_Shape_double p_before, BD_Shape_double p_after,
2382  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2383 
2384 
2385 
2386 
2387 
2388  public static native boolean
2389  termination_test_MS_Octagonal_Shape_double(Octagonal_Shape_double p);
2390  public static native boolean
2391  termination_test_PR_Octagonal_Shape_double(Octagonal_Shape_double p);
2392 
2393 
2394 
2395 
2396 
2397  public static native boolean
2398  one_affine_ranking_function_MS_Octagonal_Shape_double
2399  (Octagonal_Shape_double p, Generator g);
2400  public static native boolean
2401  one_affine_ranking_function_PR_Octagonal_Shape_double
2402  (Octagonal_Shape_double p, Generator g);
2403 
2404 
2405 
2406 
2407 
2408  public static native void
2409  all_affine_ranking_functions_MS_Octagonal_Shape_double
2410  (Octagonal_Shape_double p, Polyhedron ph);
2411  public static native void
2412  all_affine_ranking_functions_PR_Octagonal_Shape_double
2413  (Octagonal_Shape_double p, Polyhedron ph);
2414 
2415 
2416 
2417 
2418 
2419  public static native void
2420  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double
2421  (Octagonal_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2422 
2423 
2424 
2425 
2426  public static native boolean
2427  termination_test_MS_Octagonal_Shape_double_2
2428  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after);
2429  public static native boolean
2430  termination_test_PR_Octagonal_Shape_double_2
2431  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after);
2432 
2433 
2434 
2435 
2436 
2437  public static native boolean
2438  one_affine_ranking_function_MS_Octagonal_Shape_double_2
2439  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g);
2440  public static native boolean
2441  one_affine_ranking_function_PR_Octagonal_Shape_double_2
2442  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g);
2443 
2444 
2445 
2446 
2447 
2448  public static native void
2449  all_affine_ranking_functions_MS_Octagonal_Shape_double_2
2450  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph);
2451  public static native void
2452  all_affine_ranking_functions_PR_Octagonal_Shape_double_2
2453  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph);
2454 
2455 
2456 
2457 
2458 
2459  public static native void
2460  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2
2461  (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after,
2462  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2463 
2464 
2465 
2466 
2467 
2468  public static native boolean
2469  termination_test_MS_Long_Double_Box(Long_Double_Box p);
2470  public static native boolean
2471  termination_test_PR_Long_Double_Box(Long_Double_Box p);
2472 
2473 
2474 
2475 
2476 
2477  public static native boolean
2478  one_affine_ranking_function_MS_Long_Double_Box
2479  (Long_Double_Box p, Generator g);
2480  public static native boolean
2481  one_affine_ranking_function_PR_Long_Double_Box
2482  (Long_Double_Box p, Generator g);
2483 
2484 
2485 
2486 
2487 
2488  public static native void
2489  all_affine_ranking_functions_MS_Long_Double_Box
2490  (Long_Double_Box p, Polyhedron ph);
2491  public static native void
2492  all_affine_ranking_functions_PR_Long_Double_Box
2493  (Long_Double_Box p, Polyhedron ph);
2494 
2495 
2496 
2497 
2498 
2499  public static native void
2500  all_affine_quasi_ranking_functions_MS_Long_Double_Box
2501  (Long_Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2502 
2503 
2504 
2505 
2506  public static native boolean
2507  termination_test_MS_Long_Double_Box_2
2508  (Long_Double_Box p_before, Long_Double_Box p_after);
2509  public static native boolean
2510  termination_test_PR_Long_Double_Box_2
2511  (Long_Double_Box p_before, Long_Double_Box p_after);
2512 
2513 
2514 
2515 
2516 
2517  public static native boolean
2518  one_affine_ranking_function_MS_Long_Double_Box_2
2519  (Long_Double_Box p_before, Long_Double_Box p_after, Generator g);
2520  public static native boolean
2521  one_affine_ranking_function_PR_Long_Double_Box_2
2522  (Long_Double_Box p_before, Long_Double_Box p_after, Generator g);
2523 
2524 
2525 
2526 
2527 
2528  public static native void
2529  all_affine_ranking_functions_MS_Long_Double_Box_2
2530  (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph);
2531  public static native void
2532  all_affine_ranking_functions_PR_Long_Double_Box_2
2533  (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph);
2534 
2535 
2536 
2537 
2538 
2539  public static native void
2540  all_affine_quasi_ranking_functions_MS_Long_Double_Box_2
2541  (Long_Double_Box p_before, Long_Double_Box p_after,
2542  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2543 
2544 
2545 
2546 
2547 
2548  public static native boolean
2549  termination_test_MS_BD_Shape_long_double(BD_Shape_long_double p);
2550  public static native boolean
2551  termination_test_PR_BD_Shape_long_double(BD_Shape_long_double p);
2552 
2553 
2554 
2555 
2556 
2557  public static native boolean
2558  one_affine_ranking_function_MS_BD_Shape_long_double
2559  (BD_Shape_long_double p, Generator g);
2560  public static native boolean
2561  one_affine_ranking_function_PR_BD_Shape_long_double
2562  (BD_Shape_long_double p, Generator g);
2563 
2564 
2565 
2566 
2567 
2568  public static native void
2569  all_affine_ranking_functions_MS_BD_Shape_long_double
2570  (BD_Shape_long_double p, Polyhedron ph);
2571  public static native void
2572  all_affine_ranking_functions_PR_BD_Shape_long_double
2573  (BD_Shape_long_double p, Polyhedron ph);
2574 
2575 
2576 
2577 
2578 
2579  public static native void
2580  all_affine_quasi_ranking_functions_MS_BD_Shape_long_double
2581  (BD_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2582 
2583 
2584 
2585 
2586  public static native boolean
2587  termination_test_MS_BD_Shape_long_double_2
2588  (BD_Shape_long_double p_before, BD_Shape_long_double p_after);
2589  public static native boolean
2590  termination_test_PR_BD_Shape_long_double_2
2591  (BD_Shape_long_double p_before, BD_Shape_long_double p_after);
2592 
2593 
2594 
2595 
2596 
2597  public static native boolean
2598  one_affine_ranking_function_MS_BD_Shape_long_double_2
2599  (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g);
2600  public static native boolean
2601  one_affine_ranking_function_PR_BD_Shape_long_double_2
2602  (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g);
2603 
2604 
2605 
2606 
2607 
2608  public static native void
2609  all_affine_ranking_functions_MS_BD_Shape_long_double_2
2610  (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph);
2611  public static native void
2612  all_affine_ranking_functions_PR_BD_Shape_long_double_2
2613  (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph);
2614 
2615 
2616 
2617 
2618 
2619  public static native void
2620  all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2
2621  (BD_Shape_long_double p_before, BD_Shape_long_double p_after,
2622  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2623 
2624 
2625 
2626 
2627 
2628  public static native boolean
2629  termination_test_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p);
2630  public static native boolean
2631  termination_test_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p);
2632 
2633 
2634 
2635 
2636 
2637  public static native boolean
2638  one_affine_ranking_function_MS_Octagonal_Shape_long_double
2639  (Octagonal_Shape_long_double p, Generator g);
2640  public static native boolean
2641  one_affine_ranking_function_PR_Octagonal_Shape_long_double
2642  (Octagonal_Shape_long_double p, Generator g);
2643 
2644 
2645 
2646 
2647 
2648  public static native void
2649  all_affine_ranking_functions_MS_Octagonal_Shape_long_double
2650  (Octagonal_Shape_long_double p, Polyhedron ph);
2651  public static native void
2652  all_affine_ranking_functions_PR_Octagonal_Shape_long_double
2653  (Octagonal_Shape_long_double p, Polyhedron ph);
2654 
2655 
2656 
2657 
2658 
2659  public static native void
2660  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double
2661  (Octagonal_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded);
2662 
2663 
2664 
2665 
2666  public static native boolean
2667  termination_test_MS_Octagonal_Shape_long_double_2
2668  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after);
2669  public static native boolean
2670  termination_test_PR_Octagonal_Shape_long_double_2
2671  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after);
2672 
2673 
2674 
2675 
2676 
2677  public static native boolean
2678  one_affine_ranking_function_MS_Octagonal_Shape_long_double_2
2679  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g);
2680  public static native boolean
2681  one_affine_ranking_function_PR_Octagonal_Shape_long_double_2
2682  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g);
2683 
2684 
2685 
2686 
2687 
2688  public static native void
2689  all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2
2690  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph);
2691  public static native void
2692  all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2
2693  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph);
2694 
2695 
2696 
2697 
2698 
2699  public static native void
2700  all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2
2701  (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after,
2702  Polyhedron ph_decreasing, Polyhedron ph_bounded);
2703 
2704 
2705 
2706 
2707 
2708 }
parma_polyhedra_library.Termination.termination_test_MS_Int8_Box_2
static native boolean termination_test_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int64_t
static native boolean termination_test_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_float
static native boolean termination_test_MS_Octagonal_Shape_float(Octagonal_Shape_float p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint8_Box
static native void all_affine_ranking_functions_PR_Uint8_Box(Uint8_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint64_Box
static native void all_affine_quasi_ranking_functions_MS_Uint64_Box(Uint64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int16_t
static native boolean one_affine_ranking_function_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_double_2
static native boolean termination_test_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint8_Box_2
static native void all_affine_ranking_functions_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_double_2
static native void all_affine_ranking_functions_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int64_Box
static native boolean one_affine_ranking_function_PR_Int64_Box(Int64_Box p, Generator g)
parma_polyhedra_library.BD_Shape_int8_t
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_int8_t.java:30
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int16_t_2
static native boolean termination_test_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int8_Box
static native boolean one_affine_ranking_function_MS_Int8_Box(Int8_Box p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpq_class
static native boolean one_affine_ranking_function_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_float_2
static native void all_affine_ranking_functions_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_NNC_Polyhedron
static native boolean termination_test_PR_NNC_Polyhedron(NNC_Polyhedron p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Z_Box
static native boolean one_affine_ranking_function_PR_Z_Box(Z_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_NNC_Polyhedron_2
static native boolean termination_test_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int32_t_2
static native void all_affine_ranking_functions_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_C_Polyhedron
static native boolean one_affine_ranking_function_MS_C_Polyhedron(C_Polyhedron p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_NNC_Polyhedron_2
static native boolean one_affine_ranking_function_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint32_Box_2
static native void all_affine_ranking_functions_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Double_Box
static native boolean one_affine_ranking_function_PR_Double_Box(Double_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpq_class_2
static native boolean termination_test_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int8_Box_2
static native void all_affine_ranking_functions_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int16_t_2
static native void all_affine_ranking_functions_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpz_class_2
static native boolean one_affine_ranking_function_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_long_double_2
static native boolean termination_test_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint32_Box
static native boolean one_affine_ranking_function_MS_Uint32_Box(Uint32_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_NNC_Polyhedron
static native void all_affine_quasi_ranking_functions_MS_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_NNC_Polyhedron
static native void all_affine_ranking_functions_PR_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int64_t
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int32_t
static native boolean one_affine_ranking_function_PR_BD_Shape_int32_t(BD_Shape_int32_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_double_2
static native boolean termination_test_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int64_t
static native boolean one_affine_ranking_function_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Generator g)
parma_polyhedra_library.Octagonal_Shape_int8_t
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_int8_t.java:30
parma_polyhedra_library.BD_Shape_int64_t
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_int64_t.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint64_Box_2
static native void all_affine_ranking_functions_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_long_double_2
static native boolean termination_test_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after)
parma_polyhedra_library.Termination.termination_test_MS_Uint16_Box_2
static native boolean termination_test_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_float_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_long_double
static native boolean one_affine_ranking_function_PR_BD_Shape_long_double(BD_Shape_long_double p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_long_double
static native void all_affine_ranking_functions_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpq_class
static native boolean termination_test_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Rational_Box_2
static native void all_affine_ranking_functions_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Long_Double_Box
static native void all_affine_ranking_functions_MS_Long_Double_Box(Long_Double_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint64_Box_2
static native void all_affine_ranking_functions_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Grid
static native void all_affine_ranking_functions_PR_Grid(Grid p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_C_Polyhedron
static native void all_affine_quasi_ranking_functions_MS_C_Polyhedron(C_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int64_t
static native boolean one_affine_ranking_function_PR_BD_Shape_int64_t(BD_Shape_int64_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Z_Box_2
static native boolean termination_test_MS_Z_Box_2(Z_Box p_before, Z_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int16_t
static native void all_affine_ranking_functions_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint16_Box_2
static native void all_affine_ranking_functions_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Int8_Box
static native boolean termination_test_PR_Int8_Box(Int8_Box p)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_float_2
static native boolean termination_test_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Grid_2
static native void all_affine_ranking_functions_PR_Grid_2(Grid p_before, Grid p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Float_Box_2
static native void all_affine_ranking_functions_PR_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_double
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_double(Octagonal_Shape_double p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int64_Box_2
static native void all_affine_ranking_functions_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Float_Box
static native void all_affine_quasi_ranking_functions_MS_Float_Box(Float_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Float_Box
static native void all_affine_ranking_functions_MS_Float_Box(Float_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int8_t_2
static native void all_affine_ranking_functions_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int16_t
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint32_Box_2
static native void all_affine_quasi_ranking_functions_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_double
static native void all_affine_ranking_functions_PR_BD_Shape_double(BD_Shape_double p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_long_double_2
static native boolean one_affine_ranking_function_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Z_Box
static native boolean one_affine_ranking_function_MS_Z_Box(Z_Box p, Generator g)
parma_polyhedra_library.BD_Shape_int16_t
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_int16_t.java:30
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int64_t
static native boolean termination_test_PR_BD_Shape_int64_t(BD_Shape_int64_t p)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int16_t
static native boolean termination_test_PR_BD_Shape_int16_t(BD_Shape_int16_t p)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_long_double
static native boolean termination_test_MS_BD_Shape_long_double(BD_Shape_long_double p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class
static native void all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int16_Box_2
static native void all_affine_ranking_functions_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Rational_Box_2
static native void all_affine_quasi_ranking_functions_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint16_Box
static native void all_affine_ranking_functions_PR_Uint16_Box(Uint16_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_float_2
static native boolean one_affine_ranking_function_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_double_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_double_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_double
static native boolean termination_test_PR_Octagonal_Shape_double(Octagonal_Shape_double p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Z_Box_2
static native void all_affine_ranking_functions_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint32_Box
static native void all_affine_ranking_functions_MS_Uint32_Box(Uint32_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int32_Box
static native boolean one_affine_ranking_function_MS_Int32_Box(Int32_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Z_Box_2
static native void all_affine_ranking_functions_PR_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_float
static native boolean termination_test_MS_BD_Shape_float(BD_Shape_float p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int32_Box_2
static native void all_affine_quasi_ranking_functions_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int8_t
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Z_Box_2
static native boolean one_affine_ranking_function_PR_Z_Box_2(Z_Box p_before, Z_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int32_t_2
static native boolean one_affine_ranking_function_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_double_2
static native boolean one_affine_ranking_function_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2
static native void all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int16_Box_2
static native boolean one_affine_ranking_function_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Float_Box
static native boolean termination_test_PR_Float_Box(Float_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int16_Box_2
static native boolean one_affine_ranking_function_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpz_class_2
static native boolean termination_test_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int16_t_2
static native boolean termination_test_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)
parma_polyhedra_library.Termination.termination_test_MS_Uint8_Box
static native boolean termination_test_MS_Uint8_Box(Uint8_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Z_Box
static native void all_affine_ranking_functions_PR_Z_Box(Z_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int64_t
static native void all_affine_ranking_functions_MS_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Int16_Box
static native boolean termination_test_MS_Int16_Box(Int16_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpq_class
static native void all_affine_ranking_functions_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int32_t
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint8_Box
static native boolean one_affine_ranking_function_PR_Uint8_Box(Uint8_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Grid
static native void all_affine_quasi_ranking_functions_MS_Grid(Grid p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_C_Polyhedron_2
static native boolean one_affine_ranking_function_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int32_t_2
static native boolean termination_test_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpq_class_2
static native boolean termination_test_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Rational_Box
static native boolean one_affine_ranking_function_MS_Rational_Box(Rational_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Long_Double_Box_2
static native boolean termination_test_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint8_Box
static native void all_affine_ranking_functions_MS_Uint8_Box(Uint8_Box p, Polyhedron ph)
parma_polyhedra_library.Termination
Definition: Termination.java:25
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_NNC_Polyhedron_2
static native void all_affine_ranking_functions_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int16_t_2
static native boolean one_affine_ranking_function_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_float
static native void all_affine_ranking_functions_MS_BD_Shape_float(BD_Shape_float p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int8_t
static native boolean one_affine_ranking_function_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Generator g)
parma_polyhedra_library.Octagonal_Shape_int16_t
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_int16_t.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int16_Box
static native boolean one_affine_ranking_function_MS_Int16_Box(Int16_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int32_Box_2
static native void all_affine_ranking_functions_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Float_Box_2
static native boolean one_affine_ranking_function_PR_Float_Box_2(Float_Box p_before, Float_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Long_Double_Box_2
static native void all_affine_quasi_ranking_functions_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int64_Box_2
static native void all_affine_quasi_ranking_functions_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Z_Box
static native void all_affine_quasi_ranking_functions_MS_Z_Box(Z_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Polyhedron
Java class interfacing C++ Parma_Polyhedra_Library::Polyhedron.
Definition: Polyhedron.java:30
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpq_class
static native boolean termination_test_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int16_t
static native boolean termination_test_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int32_Box_2
static native void all_affine_ranking_functions_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int64_t
static native boolean termination_test_MS_BD_Shape_int64_t(BD_Shape_int64_t p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_float
static native void all_affine_ranking_functions_PR_BD_Shape_float(BD_Shape_float p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_float_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Double_Box_2
static native boolean one_affine_ranking_function_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpq_class
static native boolean termination_test_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int64_t_2
static native void all_affine_ranking_functions_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint8_Box_2
static native boolean one_affine_ranking_function_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int16_Box_2
static native void all_affine_ranking_functions_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint32_Box_2
static native boolean one_affine_ranking_function_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int32_Box
static native void all_affine_ranking_functions_MS_Int32_Box(Int32_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Double_Box_2
static native boolean one_affine_ranking_function_PR_Double_Box_2(Double_Box p_before, Double_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Float_Box_2
static native void all_affine_ranking_functions_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int64_Box
static native void all_affine_ranking_functions_MS_Int64_Box(Int64_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_double
static native void all_affine_ranking_functions_MS_BD_Shape_double(BD_Shape_double p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_long_double_2
static native void all_affine_ranking_functions_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpz_class
static native boolean termination_test_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Long_Double_Box
static native boolean one_affine_ranking_function_PR_Long_Double_Box(Long_Double_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Uint16_Box
static native boolean termination_test_MS_Uint16_Box(Uint16_Box p)
parma_polyhedra_library.Long_Double_Box
Java class interfacing C++ Parma_Polyhedra_Library::Long_Double_Box.
Definition: Long_Double_Box.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Z_Box_2
static native boolean one_affine_ranking_function_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_float_2
static native boolean termination_test_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int64_t_2
static native void all_affine_ranking_functions_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpz_class
static native void all_affine_ranking_functions_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_long_double
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int16_Box
static native void all_affine_quasi_ranking_functions_MS_Int16_Box(Int16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint16_Box
static native void all_affine_ranking_functions_MS_Uint16_Box(Uint16_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Uint8_Box
static native boolean termination_test_PR_Uint8_Box(Uint8_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_double
static native void all_affine_ranking_functions_PR_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int8_t
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpz_class
static native void all_affine_ranking_functions_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_float
static native boolean termination_test_PR_BD_Shape_float(BD_Shape_float p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint16_Box_2
static native void all_affine_ranking_functions_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)
parma_polyhedra_library.Uint32_Box
Java class interfacing C++ Parma_Polyhedra_Library::Uint32_Box.
Definition: Uint32_Box.java:30
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpz_class_2
static native boolean termination_test_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)
parma_polyhedra_library.Termination.termination_test_PR_Grid_2
static native boolean termination_test_PR_Grid_2(Grid p_before, Grid p_after)
parma_polyhedra_library.Octagonal_Shape_int64_t
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_int64_t.java:30
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint32_Box
static native void all_affine_quasi_ranking_functions_MS_Uint32_Box(Uint32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_NNC_Polyhedron
static native boolean termination_test_MS_NNC_Polyhedron(NNC_Polyhedron p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int16_t
static native boolean one_affine_ranking_function_PR_BD_Shape_int16_t(BD_Shape_int16_t p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Long_Double_Box
static native void all_affine_quasi_ranking_functions_MS_Long_Double_Box(Long_Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_NNC_Polyhedron_2
static native boolean one_affine_ranking_function_MS_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Uint8_Box_2
static native boolean termination_test_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int8_t
static native void all_affine_ranking_functions_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int8_Box
static native void all_affine_ranking_functions_PR_Int8_Box(Int8_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_long_double
static native void all_affine_ranking_functions_PR_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Rational_Box
static native boolean termination_test_PR_Rational_Box(Rational_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_double_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_float
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_float(BD_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int64_Box_2
static native void all_affine_ranking_functions_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpz_class_2
static native void all_affine_ranking_functions_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint16_Box
static native boolean one_affine_ranking_function_MS_Uint16_Box(Uint16_Box p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpq_class_2
static native boolean one_affine_ranking_function_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Float_Box
static native boolean one_affine_ranking_function_MS_Float_Box(Float_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int64_t
static native boolean termination_test_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p)
parma_polyhedra_library.Termination.termination_test_MS_Long_Double_Box
static native boolean termination_test_MS_Long_Double_Box(Long_Double_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int32_t
static native void all_affine_ranking_functions_PR_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int64_t_2
static native boolean termination_test_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int32_Box_2
static native boolean one_affine_ranking_function_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpq_class
static native void all_affine_ranking_functions_MS_BD_Shape_mpq_class(BD_Shape_mpq_class p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Rational_Box_2
static native boolean one_affine_ranking_function_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Double_Box_2
static native void all_affine_quasi_ranking_functions_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Double_Box_2
static native void all_affine_ranking_functions_PR_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int8_t_2
static native boolean termination_test_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Rational_Box_2
static native void all_affine_ranking_functions_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int64_Box_2
static native boolean one_affine_ranking_function_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int64_Box
static native void all_affine_quasi_ranking_functions_MS_Int64_Box(Int64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_long_double_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Grid_2
static native void all_affine_quasi_ranking_functions_MS_Grid_2(Grid p_before, Grid p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_float
static native boolean termination_test_PR_Octagonal_Shape_float(Octagonal_Shape_float p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int32_t_2
static native boolean one_affine_ranking_function_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)
parma_polyhedra_library.Generator
A line, ray, point or closure point.
Definition: Generator.java:36
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int8_t_2
static native boolean termination_test_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint64_Box_2
static native boolean one_affine_ranking_function_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_float_2
static native boolean termination_test_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_float_2
static native boolean termination_test_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_double
static native boolean termination_test_MS_Octagonal_Shape_double(Octagonal_Shape_double p)
parma_polyhedra_library.Termination.termination_test_PR_Uint32_Box_2
static native boolean termination_test_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_float
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_float(Octagonal_Shape_float p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_long_double_2
static native boolean termination_test_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after)
parma_polyhedra_library.Int16_Box
Java class interfacing C++ Parma_Polyhedra_Library::Int16_Box.
Definition: Int16_Box.java:30
parma_polyhedra_library.Termination.termination_test_PR_C_Polyhedron_2
static native boolean termination_test_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after)
parma_polyhedra_library.Termination.termination_test_PR_Int64_Box_2
static native boolean termination_test_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int8_t
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint8_Box
static native boolean one_affine_ranking_function_MS_Uint8_Box(Uint8_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int8_t
static native boolean one_affine_ranking_function_PR_BD_Shape_int8_t(BD_Shape_int8_t p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpz_class
static native boolean one_affine_ranking_function_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpz_class_2
static native boolean termination_test_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Z_Box
static native void all_affine_ranking_functions_MS_Z_Box(Z_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int64_t_2
static native boolean one_affine_ranking_function_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Rational_Box
static native void all_affine_quasi_ranking_functions_MS_Rational_Box(Rational_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int32_t_2
static native boolean termination_test_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)
parma_polyhedra_library.Termination.termination_test_PR_Int32_Box_2
static native boolean termination_test_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int8_Box_2
static native boolean one_affine_ranking_function_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_long_double
static native boolean termination_test_PR_BD_Shape_long_double(BD_Shape_long_double p)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpq_class_2
static native boolean termination_test_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)
parma_polyhedra_library.Termination.termination_test_PR_Long_Double_Box
static native boolean termination_test_PR_Long_Double_Box(Long_Double_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int8_t_2
static native boolean one_affine_ranking_function_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int8_t
static native void all_affine_ranking_functions_PR_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_long_double
static native boolean termination_test_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class
static native void all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int32_t_2
static native boolean termination_test_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int32_t
static native void all_affine_ranking_functions_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_long_double
static native void all_affine_ranking_functions_MS_BD_Shape_long_double(BD_Shape_long_double p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Float_Box
static native boolean termination_test_MS_Float_Box(Float_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_float
static native boolean one_affine_ranking_function_PR_BD_Shape_float(BD_Shape_float p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_double
static native boolean termination_test_MS_BD_Shape_double(BD_Shape_double p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint32_Box_2
static native void all_affine_ranking_functions_PR_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Rational_Box_2
static native boolean one_affine_ranking_function_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Int64_Box
static native boolean termination_test_MS_Int64_Box(Int64_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int64_t
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t(BD_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_float
static native void all_affine_ranking_functions_PR_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph)
parma_polyhedra_library.Uint8_Box
Java class interfacing C++ Parma_Polyhedra_Library::Uint8_Box.
Definition: Uint8_Box.java:30
parma_polyhedra_library.Termination.termination_test_MS_Z_Box
static native boolean termination_test_MS_Z_Box(Z_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int16_t_2
static native void all_affine_ranking_functions_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpz_class_2
static native boolean termination_test_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_double
static native void all_affine_ranking_functions_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph)
parma_polyhedra_library.C_Polyhedron
Java class interfacing C++ Parma_Polyhedra_Library::C_Polyhedron.
Definition: C_Polyhedron.java:30
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int64_t_2
static native boolean termination_test_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)
parma_polyhedra_library.BD_Shape_float
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_float.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_float
static native boolean one_affine_ranking_function_MS_BD_Shape_float(BD_Shape_float p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_float
static native void all_affine_ranking_functions_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int32_t
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpz_class_2
static native boolean one_affine_ranking_function_PR_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int32_t
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Generator g)
parma_polyhedra_library.Int64_Box
Java class interfacing C++ Parma_Polyhedra_Library::Int64_Box.
Definition: Int64_Box.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int64_t
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int16_Box
static native void all_affine_ranking_functions_MS_Int16_Box(Int16_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Int64_Box
static native boolean termination_test_PR_Int64_Box(Int64_Box p)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int16_t_2
static native boolean termination_test_PR_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_double
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_double(BD_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_double
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint32_Box
static native void all_affine_ranking_functions_PR_Uint32_Box(Uint32_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint64_Box
static native boolean one_affine_ranking_function_PR_Uint64_Box(Uint64_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int16_Box
static native void all_affine_ranking_functions_PR_Int16_Box(Int16_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Double_Box
static native boolean termination_test_MS_Double_Box(Double_Box p)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int64_t_2
static native boolean termination_test_PR_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int8_t
static native boolean termination_test_PR_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int8_t
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_double_2
static native boolean termination_test_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after)
parma_polyhedra_library.Termination.termination_test_MS_Rational_Box_2
static native boolean termination_test_MS_Rational_Box_2(Rational_Box p_before, Rational_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpq_class_2
static native boolean one_affine_ranking_function_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint32_Box_2
static native boolean one_affine_ranking_function_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_long_double
static native boolean termination_test_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p)
parma_polyhedra_library.Termination.termination_test_MS_Long_Double_Box_2
static native boolean termination_test_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Rational_Box_2
static native boolean termination_test_PR_Rational_Box_2(Rational_Box p_before, Rational_Box p_after)
parma_polyhedra_library.Uint16_Box
Java class interfacing C++ Parma_Polyhedra_Library::Uint16_Box.
Definition: Uint16_Box.java:30
parma_polyhedra_library.Termination.termination_test_MS_Grid_2
static native boolean termination_test_MS_Grid_2(Grid p_before, Grid p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint64_Box
static native void all_affine_ranking_functions_PR_Uint64_Box(Uint64_Box p, Polyhedron ph)
parma_polyhedra_library.BD_Shape_mpz_class
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_mpz_class.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int8_Box_2
static native boolean one_affine_ranking_function_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_C_Polyhedron
static native void all_affine_ranking_functions_PR_C_Polyhedron(C_Polyhedron p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpq_class
static native boolean termination_test_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint16_Box_2
static native boolean one_affine_ranking_function_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int64_t
static native void all_affine_ranking_functions_PR_BD_Shape_int64_t(BD_Shape_int64_t p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Rational_Box
static native void all_affine_ranking_functions_PR_Rational_Box(Rational_Box p, Polyhedron ph)
parma_polyhedra_library.Rational_Box
Java class interfacing C++ Parma_Polyhedra_Library::Rational_Box.
Definition: Rational_Box.java:30
parma_polyhedra_library.Termination.termination_test_PR_Double_Box_2
static native boolean termination_test_PR_Double_Box_2(Double_Box p_before, Double_Box p_after)
parma_polyhedra_library.Termination.termination_test_PR_Grid
static native boolean termination_test_PR_Grid(Grid p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int32_t_2
static native void all_affine_ranking_functions_PR_BD_Shape_int32_t_2(BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int64_t
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int64_t(Octagonal_Shape_int64_t p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_double
static native boolean one_affine_ranking_function_MS_BD_Shape_double(BD_Shape_double p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Float_Box_2
static native boolean one_affine_ranking_function_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Grid
static native boolean one_affine_ranking_function_PR_Grid(Grid p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpz_class
static native boolean termination_test_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_double_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Double_Box
static native boolean termination_test_PR_Double_Box(Double_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Long_Double_Box
static native boolean one_affine_ranking_function_MS_Long_Double_Box(Long_Double_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int32_t
static native boolean termination_test_PR_BD_Shape_int32_t(BD_Shape_int32_t p)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_double
static native boolean termination_test_PR_BD_Shape_double(BD_Shape_double p)
parma_polyhedra_library.Termination.termination_test_MS_Float_Box_2
static native boolean termination_test_MS_Float_Box_2(Float_Box p_before, Float_Box p_after)
parma_polyhedra_library.Grid
Java class interfacing C++ Parma_Polyhedra_Library::Grid.
Definition: Grid.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_float_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int32_t
static native boolean termination_test_MS_BD_Shape_int32_t(BD_Shape_int32_t p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int8_t_2
static native boolean termination_test_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Z_Box_2
static native void all_affine_quasi_ranking_functions_MS_Z_Box_2(Z_Box p_before, Z_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_long_double_2
static native boolean one_affine_ranking_function_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Float_Box
static native boolean one_affine_ranking_function_PR_Float_Box(Float_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint64_Box_2
static native void all_affine_quasi_ranking_functions_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Z_Box
Java class interfacing C++ Parma_Polyhedra_Library::Z_Box.
Definition: Z_Box.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint64_Box
static native void all_affine_ranking_functions_MS_Uint64_Box(Uint64_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpz_class
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_NNC_Polyhedron
static native boolean one_affine_ranking_function_PR_NNC_Polyhedron(NNC_Polyhedron p, Generator g)
parma_polyhedra_library.BD_Shape_long_double
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_long_double.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_float_2
static native void all_affine_ranking_functions_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Grid
static native void all_affine_ranking_functions_MS_Grid(Grid p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Double_Box
static native void all_affine_quasi_ranking_functions_MS_Double_Box(Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int8_Box
static native void all_affine_ranking_functions_MS_Int8_Box(Int8_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int32_t
static native boolean termination_test_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpq_class_2
static native void all_affine_ranking_functions_PR_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int32_Box
static native boolean one_affine_ranking_function_PR_Int32_Box(Int32_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_float
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_float(Octagonal_Shape_float p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Int16_Box
static native boolean termination_test_PR_Int16_Box(Int16_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int64_t_2
static native boolean one_affine_ranking_function_MS_BD_Shape_int64_t_2(BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Uint32_Box_2
static native boolean termination_test_MS_Uint32_Box_2(Uint32_Box p_before, Uint32_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2(Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_long_double
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int16_t
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpz_class
static native boolean termination_test_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int32_Box
static native void all_affine_quasi_ranking_functions_MS_Int32_Box(Int32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpq_class
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Generator g)
parma_polyhedra_library.Octagonal_Shape_double
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_double.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_long_double_2
static native void all_affine_ranking_functions_PR_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int32_t
static native boolean termination_test_PR_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Uint16_Box_2
static native boolean termination_test_PR_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_double_2
static native void all_affine_ranking_functions_PR_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_float_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int16_t
static native boolean termination_test_MS_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Long_Double_Box_2
static native void all_affine_ranking_functions_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Z_Box
static native boolean termination_test_PR_Z_Box(Z_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int64_Box
static native boolean one_affine_ranking_function_MS_Int64_Box(Int64_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint8_Box_2
static native void all_affine_ranking_functions_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int16_t
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Int32_Box
static native boolean termination_test_MS_Int32_Box(Int32_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint32_Box
static native boolean one_affine_ranking_function_PR_Uint32_Box(Uint32_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Float_Box_2
static native void all_affine_quasi_ranking_functions_MS_Float_Box_2(Float_Box p_before, Float_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_C_Polyhedron_2
static native void all_affine_quasi_ranking_functions_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Uint32_Box
static native boolean termination_test_MS_Uint32_Box(Uint32_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_C_Polyhedron_2
static native void all_affine_ranking_functions_PR_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint64_Box
static native boolean one_affine_ranking_function_MS_Uint64_Box(Uint64_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Rational_Box
static native boolean termination_test_MS_Rational_Box(Rational_Box p)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int16_t
static native boolean termination_test_MS_BD_Shape_int16_t(BD_Shape_int16_t p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpz_class
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int8_t
static native boolean termination_test_MS_Octagonal_Shape_int8_t(Octagonal_Shape_int8_t p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Grid_2
static native void all_affine_ranking_functions_MS_Grid_2(Grid p_before, Grid p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_PR_Int8_Box_2
static native boolean termination_test_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Double_Box_2
static native boolean termination_test_MS_Double_Box_2(Double_Box p_before, Double_Box p_after)
parma_polyhedra_library.Termination.termination_test_MS_C_Polyhedron
static native boolean termination_test_MS_C_Polyhedron(C_Polyhedron p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint16_Box_2
static native boolean one_affine_ranking_function_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int16_t_2
static native boolean one_affine_ranking_function_PR_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint8_Box
static native void all_affine_quasi_ranking_functions_MS_Uint8_Box(Uint8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Uint16_Box
static native boolean termination_test_PR_Uint16_Box(Uint16_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_NNC_Polyhedron
static native void all_affine_ranking_functions_MS_NNC_Polyhedron(NNC_Polyhedron p, Polyhedron ph)
parma_polyhedra_library.Octagonal_Shape_mpq_class
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_mpq_class.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_C_Polyhedron_2
static native boolean one_affine_ranking_function_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Uint8_Box_2
static native boolean termination_test_PR_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class
static native void all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Polyhedron ph)
parma_polyhedra_library.Octagonal_Shape_float
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_float.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_C_Polyhedron
static native void all_affine_ranking_functions_MS_C_Polyhedron(C_Polyhedron p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int32_Box_2
static native boolean one_affine_ranking_function_PR_Int32_Box_2(Int32_Box p_before, Int32_Box p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Double_Box
static native void all_affine_ranking_functions_MS_Double_Box(Double_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class
static native void all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class(Octagonal_Shape_mpz_class p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Rational_Box
static native boolean one_affine_ranking_function_PR_Rational_Box(Rational_Box p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int64_Box
static native void all_affine_ranking_functions_PR_Int64_Box(Int64_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Rational_Box
static native void all_affine_ranking_functions_MS_Rational_Box(Rational_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_double
static native boolean one_affine_ranking_function_PR_BD_Shape_double(BD_Shape_double p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_C_Polyhedron
static native boolean termination_test_PR_C_Polyhedron(C_Polyhedron p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Grid
static native boolean one_affine_ranking_function_MS_Grid(Grid p, Generator g)
parma_polyhedra_library.Octagonal_Shape_mpz_class
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_mpz_class.java:30
parma_polyhedra_library.Termination.termination_test_MS_C_Polyhedron_2
static native boolean termination_test_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint8_Box_2
static native void all_affine_quasi_ranking_functions_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint16_Box_2
static native void all_affine_quasi_ranking_functions_MS_Uint16_Box_2(Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Long_Double_Box
static native void all_affine_ranking_functions_PR_Long_Double_Box(Long_Double_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Grid
static native boolean termination_test_MS_Grid(Grid p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_double_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)
parma_polyhedra_library.Int32_Box
Java class interfacing C++ Parma_Polyhedra_Library::Int32_Box.
Definition: Int32_Box.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_long_double_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpz_class_2
static native void all_affine_ranking_functions_MS_BD_Shape_mpz_class_2(BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)
parma_polyhedra_library.Float_Box
Java class interfacing C++ Parma_Polyhedra_Library::Float_Box.
Definition: Float_Box.java:30
parma_polyhedra_library.NNC_Polyhedron
Java class interfacing C++ Parma_Polyhedra_Library::NNC_Polyhedron.
Definition: NNC_Polyhedron.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_C_Polyhedron
static native boolean one_affine_ranking_function_PR_C_Polyhedron(C_Polyhedron p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int8_Box
static native boolean one_affine_ranking_function_PR_Int8_Box(Int8_Box p, Generator g)
parma_polyhedra_library.Int8_Box
Java class interfacing C++ Parma_Polyhedra_Library::Int8_Box.
Definition: Int8_Box.java:30
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint16_Box
static native void all_affine_quasi_ranking_functions_MS_Uint16_Box(Uint16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_PR_Int16_Box_2
static native boolean termination_test_PR_Int16_Box_2(Int16_Box p_before, Int16_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint8_Box_2
static native boolean one_affine_ranking_function_MS_Uint8_Box_2(Uint8_Box p_before, Uint8_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Int16_Box_2
static native boolean termination_test_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int16_t
static native void all_affine_ranking_functions_PR_BD_Shape_int16_t(BD_Shape_int16_t p, Polyhedron ph)
parma_polyhedra_library.BD_Shape_double
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_double.java:30
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpz_class
static native boolean termination_test_MS_BD_Shape_mpz_class(BD_Shape_mpz_class p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int16_t
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int16_t(Octagonal_Shape_int16_t p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Long_Double_Box_2
static native boolean one_affine_ranking_function_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Grid_2
static native boolean one_affine_ranking_function_MS_Grid_2(Grid p_before, Grid p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Uint64_Box_2
static native boolean termination_test_PR_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after)
parma_polyhedra_library.Termination.termination_test_PR_Uint32_Box
static native boolean termination_test_PR_Uint32_Box(Uint32_Box p)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int8_Box_2
static native void all_affine_ranking_functions_PR_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph)
parma_polyhedra_library.BD_Shape_mpq_class
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_mpq_class.java:30
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Long_Double_Box_2
static native boolean one_affine_ranking_function_PR_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_NNC_Polyhedron
static native boolean one_affine_ranking_function_MS_NNC_Polyhedron(NNC_Polyhedron p, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int8_t_2
static native boolean termination_test_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)
parma_polyhedra_library.Uint64_Box
Java class interfacing C++ Parma_Polyhedra_Library::Uint64_Box.
Definition: Uint64_Box.java:30
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int8_Box
static native void all_affine_quasi_ranking_functions_MS_Int8_Box(Int8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int8_t_2
static native boolean one_affine_ranking_function_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)
parma_polyhedra_library.BD_Shape_int32_t
Java class interfacing C++ Parma_Polyhedra_Library::BD_Shape
Definition: BD_Shape_int32_t.java:30
parma_polyhedra_library.Double_Box
Java class interfacing C++ Parma_Polyhedra_Library::Double_Box.
Definition: Double_Box.java:30
parma_polyhedra_library.Termination.termination_test_PR_Float_Box_2
static native boolean termination_test_PR_Float_Box_2(Float_Box p_before, Float_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_float_2
static native boolean one_affine_ranking_function_PR_BD_Shape_float_2(BD_Shape_float p_before, BD_Shape_float p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int32_Box
static native void all_affine_ranking_functions_PR_Int32_Box(Int32_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Double_Box
static native void all_affine_ranking_functions_PR_Double_Box(Double_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int64_Box_2
static native boolean one_affine_ranking_function_PR_Int64_Box_2(Int64_Box p_before, Int64_Box p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_double_2
static native boolean termination_test_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Uint64_Box_2
static native boolean termination_test_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after)
parma_polyhedra_library.Termination.termination_test_PR_Uint64_Box
static native boolean termination_test_PR_Uint64_Box(Uint64_Box p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Double_Box_2
static native void all_affine_ranking_functions_MS_Double_Box_2(Double_Box p_before, Double_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2(Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Long_Double_Box_2
static native void all_affine_ranking_functions_MS_Long_Double_Box_2(Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Grid_2
static native boolean one_affine_ranking_function_PR_Grid_2(Grid p_before, Grid p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_NNC_Polyhedron_2
static native boolean termination_test_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_NNC_Polyhedron_2
static native void all_affine_ranking_functions_PR_NNC_Polyhedron_2(NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2(Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_double_2
static native boolean one_affine_ranking_function_MS_BD_Shape_double_2(BD_Shape_double p_before, BD_Shape_double p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int32_t
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int32_t(Octagonal_Shape_int32_t p, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int8_t
static native boolean termination_test_MS_BD_Shape_int8_t(BD_Shape_int8_t p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_float_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_float_2(Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2
static native void all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Float_Box
static native void all_affine_ranking_functions_PR_Float_Box(Float_Box p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.termination_test_MS_Uint64_Box
static native boolean termination_test_MS_Uint64_Box(Uint64_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_long_double
static native boolean one_affine_ranking_function_MS_BD_Shape_long_double(BD_Shape_long_double p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_long_double
static native void all_affine_ranking_functions_PR_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_C_Polyhedron_2
static native void all_affine_ranking_functions_MS_C_Polyhedron_2(C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Octagonal_Shape_long_double
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_long_double.java:30
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int8_Box_2
static native void all_affine_quasi_ranking_functions_MS_Int8_Box_2(Int8_Box p_before, Int8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int32_t_2
static native boolean termination_test_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2
static native void all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2(BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int16_Box_2
static native void all_affine_quasi_ranking_functions_MS_Int16_Box_2(Int16_Box p_before, Int16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_long_double_2
static native boolean termination_test_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_long_double
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_long_double(Octagonal_Shape_long_double p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Int8_Box
static native boolean termination_test_MS_Int8_Box(Int8_Box p)
parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double
static native void all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double(Octagonal_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpq_class_2
static native boolean termination_test_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)
parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int8_t
static native boolean termination_test_PR_BD_Shape_int8_t(BD_Shape_int8_t p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint16_Box
static native boolean one_affine_ranking_function_PR_Uint16_Box(Uint16_Box p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpq_class
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_mpq_class(Octagonal_Shape_mpq_class p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2(Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)
parma_polyhedra_library.Termination.termination_test_PR_Z_Box_2
static native boolean termination_test_PR_Z_Box_2(Z_Box p_before, Z_Box p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int16_Box
static native boolean one_affine_ranking_function_PR_Int16_Box(Int16_Box p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Int32_Box_2
static native boolean termination_test_MS_Int32_Box_2(Int32_Box p_before, Int32_Box p_after)
parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int8_t_2
static native void all_affine_ranking_functions_PR_BD_Shape_int8_t_2(BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpz_class
static native boolean one_affine_ranking_function_PR_BD_Shape_mpz_class(BD_Shape_mpz_class p, Generator g)
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpq_class_2
static native void all_affine_ranking_functions_MS_BD_Shape_mpq_class_2(BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpq_class
static native boolean one_affine_ranking_function_PR_BD_Shape_mpq_class(BD_Shape_mpq_class p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int16_t_2
static native boolean termination_test_MS_BD_Shape_int16_t_2(BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)
parma_polyhedra_library.Termination.termination_test_MS_Int64_Box_2
static native boolean termination_test_MS_Int64_Box_2(Int64_Box p_before, Int64_Box p_after)
parma_polyhedra_library.Termination.termination_test_PR_Int32_Box
static native boolean termination_test_PR_Int32_Box(Int32_Box p)
parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2
static native boolean one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2(Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)
parma_polyhedra_library.Octagonal_Shape_int32_t
Java class interfacing C++ Parma_Polyhedra_Library::Octagonal_Shape
Definition: Octagonal_Shape_int32_t.java:30
parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2
static native void all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2(Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Double_Box
static native boolean one_affine_ranking_function_MS_Double_Box(Double_Box p, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint64_Box_2
static native boolean one_affine_ranking_function_MS_Uint64_Box_2(Uint64_Box p_before, Uint64_Box p_after, Generator g)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int32_t
static native boolean one_affine_ranking_function_MS_BD_Shape_int32_t(BD_Shape_int32_t p, Generator g)
parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int64_t_2
static native boolean termination_test_MS_Octagonal_Shape_int64_t_2(Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)
parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2
static native boolean one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2(Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)