PPL Configured Java Language Interface  1.2
parma_polyhedra_library_Termination.h
Go to the documentation of this file.
1 /* DO NOT EDIT THIS FILE - it is machine generated */
2 #include <jni.h>
3 /* Header for class parma_polyhedra_library_Termination */
4 
5 #ifndef _Included_parma_polyhedra_library_Termination
6 #define _Included_parma_polyhedra_library_Termination
7 #ifdef __cplusplus
8 extern "C" {
9 #endif
10 /*
11  * Class: parma_polyhedra_library_Termination
12  * Method: termination_test_MS_Int8_Box
13  * Signature: (Lparma_polyhedra_library/Int8_Box;)Z
14  */
16  (JNIEnv *, jclass, jobject);
17 
18 /*
19  * Class: parma_polyhedra_library_Termination
20  * Method: termination_test_PR_Int8_Box
21  * Signature: (Lparma_polyhedra_library/Int8_Box;)Z
22  */
24  (JNIEnv *, jclass, jobject);
25 
26 /*
27  * Class: parma_polyhedra_library_Termination
28  * Method: one_affine_ranking_function_MS_Int8_Box
29  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Generator;)Z
30  */
32  (JNIEnv *, jclass, jobject, jobject);
33 
34 /*
35  * Class: parma_polyhedra_library_Termination
36  * Method: one_affine_ranking_function_PR_Int8_Box
37  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Generator;)Z
38  */
40  (JNIEnv *, jclass, jobject, jobject);
41 
42 /*
43  * Class: parma_polyhedra_library_Termination
44  * Method: all_affine_ranking_functions_MS_Int8_Box
45  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;)V
46  */
48  (JNIEnv *, jclass, jobject, jobject);
49 
50 /*
51  * Class: parma_polyhedra_library_Termination
52  * Method: all_affine_ranking_functions_PR_Int8_Box
53  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;)V
54  */
56  (JNIEnv *, jclass, jobject, jobject);
57 
58 /*
59  * Class: parma_polyhedra_library_Termination
60  * Method: all_affine_quasi_ranking_functions_MS_Int8_Box
61  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
62  */
64  (JNIEnv *, jclass, jobject, jobject, jobject);
65 
66 /*
67  * Class: parma_polyhedra_library_Termination
68  * Method: termination_test_MS_Int8_Box_2
69  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;)Z
70  */
72  (JNIEnv *, jclass, jobject, jobject);
73 
74 /*
75  * Class: parma_polyhedra_library_Termination
76  * Method: termination_test_PR_Int8_Box_2
77  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;)Z
78  */
80  (JNIEnv *, jclass, jobject, jobject);
81 
82 /*
83  * Class: parma_polyhedra_library_Termination
84  * Method: one_affine_ranking_function_MS_Int8_Box_2
85  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Generator;)Z
86  */
88  (JNIEnv *, jclass, jobject, jobject, jobject);
89 
90 /*
91  * Class: parma_polyhedra_library_Termination
92  * Method: one_affine_ranking_function_PR_Int8_Box_2
93  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Generator;)Z
94  */
96  (JNIEnv *, jclass, jobject, jobject, jobject);
97 
98 /*
99  * Class: parma_polyhedra_library_Termination
100  * Method: all_affine_ranking_functions_MS_Int8_Box_2
101  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;)V
102  */
104  (JNIEnv *, jclass, jobject, jobject, jobject);
105 
106 /*
107  * Class: parma_polyhedra_library_Termination
108  * Method: all_affine_ranking_functions_PR_Int8_Box_2
109  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;)V
110  */
112  (JNIEnv *, jclass, jobject, jobject, jobject);
113 
114 /*
115  * Class: parma_polyhedra_library_Termination
116  * Method: all_affine_quasi_ranking_functions_MS_Int8_Box_2
117  * Signature: (Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Int8_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
118  */
120  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
121 
122 /*
123  * Class: parma_polyhedra_library_Termination
124  * Method: termination_test_MS_Int16_Box
125  * Signature: (Lparma_polyhedra_library/Int16_Box;)Z
126  */
128  (JNIEnv *, jclass, jobject);
129 
130 /*
131  * Class: parma_polyhedra_library_Termination
132  * Method: termination_test_PR_Int16_Box
133  * Signature: (Lparma_polyhedra_library/Int16_Box;)Z
134  */
136  (JNIEnv *, jclass, jobject);
137 
138 /*
139  * Class: parma_polyhedra_library_Termination
140  * Method: one_affine_ranking_function_MS_Int16_Box
141  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Generator;)Z
142  */
144  (JNIEnv *, jclass, jobject, jobject);
145 
146 /*
147  * Class: parma_polyhedra_library_Termination
148  * Method: one_affine_ranking_function_PR_Int16_Box
149  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Generator;)Z
150  */
152  (JNIEnv *, jclass, jobject, jobject);
153 
154 /*
155  * Class: parma_polyhedra_library_Termination
156  * Method: all_affine_ranking_functions_MS_Int16_Box
157  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;)V
158  */
160  (JNIEnv *, jclass, jobject, jobject);
161 
162 /*
163  * Class: parma_polyhedra_library_Termination
164  * Method: all_affine_ranking_functions_PR_Int16_Box
165  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;)V
166  */
168  (JNIEnv *, jclass, jobject, jobject);
169 
170 /*
171  * Class: parma_polyhedra_library_Termination
172  * Method: all_affine_quasi_ranking_functions_MS_Int16_Box
173  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
174  */
176  (JNIEnv *, jclass, jobject, jobject, jobject);
177 
178 /*
179  * Class: parma_polyhedra_library_Termination
180  * Method: termination_test_MS_Int16_Box_2
181  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;)Z
182  */
184  (JNIEnv *, jclass, jobject, jobject);
185 
186 /*
187  * Class: parma_polyhedra_library_Termination
188  * Method: termination_test_PR_Int16_Box_2
189  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;)Z
190  */
192  (JNIEnv *, jclass, jobject, jobject);
193 
194 /*
195  * Class: parma_polyhedra_library_Termination
196  * Method: one_affine_ranking_function_MS_Int16_Box_2
197  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Generator;)Z
198  */
200  (JNIEnv *, jclass, jobject, jobject, jobject);
201 
202 /*
203  * Class: parma_polyhedra_library_Termination
204  * Method: one_affine_ranking_function_PR_Int16_Box_2
205  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Generator;)Z
206  */
208  (JNIEnv *, jclass, jobject, jobject, jobject);
209 
210 /*
211  * Class: parma_polyhedra_library_Termination
212  * Method: all_affine_ranking_functions_MS_Int16_Box_2
213  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;)V
214  */
216  (JNIEnv *, jclass, jobject, jobject, jobject);
217 
218 /*
219  * Class: parma_polyhedra_library_Termination
220  * Method: all_affine_ranking_functions_PR_Int16_Box_2
221  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;)V
222  */
224  (JNIEnv *, jclass, jobject, jobject, jobject);
225 
226 /*
227  * Class: parma_polyhedra_library_Termination
228  * Method: all_affine_quasi_ranking_functions_MS_Int16_Box_2
229  * Signature: (Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Int16_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
230  */
232  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
233 
234 /*
235  * Class: parma_polyhedra_library_Termination
236  * Method: termination_test_MS_Int32_Box
237  * Signature: (Lparma_polyhedra_library/Int32_Box;)Z
238  */
240  (JNIEnv *, jclass, jobject);
241 
242 /*
243  * Class: parma_polyhedra_library_Termination
244  * Method: termination_test_PR_Int32_Box
245  * Signature: (Lparma_polyhedra_library/Int32_Box;)Z
246  */
248  (JNIEnv *, jclass, jobject);
249 
250 /*
251  * Class: parma_polyhedra_library_Termination
252  * Method: one_affine_ranking_function_MS_Int32_Box
253  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Generator;)Z
254  */
256  (JNIEnv *, jclass, jobject, jobject);
257 
258 /*
259  * Class: parma_polyhedra_library_Termination
260  * Method: one_affine_ranking_function_PR_Int32_Box
261  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Generator;)Z
262  */
264  (JNIEnv *, jclass, jobject, jobject);
265 
266 /*
267  * Class: parma_polyhedra_library_Termination
268  * Method: all_affine_ranking_functions_MS_Int32_Box
269  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;)V
270  */
272  (JNIEnv *, jclass, jobject, jobject);
273 
274 /*
275  * Class: parma_polyhedra_library_Termination
276  * Method: all_affine_ranking_functions_PR_Int32_Box
277  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;)V
278  */
280  (JNIEnv *, jclass, jobject, jobject);
281 
282 /*
283  * Class: parma_polyhedra_library_Termination
284  * Method: all_affine_quasi_ranking_functions_MS_Int32_Box
285  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
286  */
288  (JNIEnv *, jclass, jobject, jobject, jobject);
289 
290 /*
291  * Class: parma_polyhedra_library_Termination
292  * Method: termination_test_MS_Int32_Box_2
293  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;)Z
294  */
296  (JNIEnv *, jclass, jobject, jobject);
297 
298 /*
299  * Class: parma_polyhedra_library_Termination
300  * Method: termination_test_PR_Int32_Box_2
301  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;)Z
302  */
304  (JNIEnv *, jclass, jobject, jobject);
305 
306 /*
307  * Class: parma_polyhedra_library_Termination
308  * Method: one_affine_ranking_function_MS_Int32_Box_2
309  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Generator;)Z
310  */
312  (JNIEnv *, jclass, jobject, jobject, jobject);
313 
314 /*
315  * Class: parma_polyhedra_library_Termination
316  * Method: one_affine_ranking_function_PR_Int32_Box_2
317  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Generator;)Z
318  */
320  (JNIEnv *, jclass, jobject, jobject, jobject);
321 
322 /*
323  * Class: parma_polyhedra_library_Termination
324  * Method: all_affine_ranking_functions_MS_Int32_Box_2
325  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;)V
326  */
328  (JNIEnv *, jclass, jobject, jobject, jobject);
329 
330 /*
331  * Class: parma_polyhedra_library_Termination
332  * Method: all_affine_ranking_functions_PR_Int32_Box_2
333  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;)V
334  */
336  (JNIEnv *, jclass, jobject, jobject, jobject);
337 
338 /*
339  * Class: parma_polyhedra_library_Termination
340  * Method: all_affine_quasi_ranking_functions_MS_Int32_Box_2
341  * Signature: (Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Int32_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
342  */
344  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
345 
346 /*
347  * Class: parma_polyhedra_library_Termination
348  * Method: termination_test_MS_Int64_Box
349  * Signature: (Lparma_polyhedra_library/Int64_Box;)Z
350  */
352  (JNIEnv *, jclass, jobject);
353 
354 /*
355  * Class: parma_polyhedra_library_Termination
356  * Method: termination_test_PR_Int64_Box
357  * Signature: (Lparma_polyhedra_library/Int64_Box;)Z
358  */
360  (JNIEnv *, jclass, jobject);
361 
362 /*
363  * Class: parma_polyhedra_library_Termination
364  * Method: one_affine_ranking_function_MS_Int64_Box
365  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Generator;)Z
366  */
368  (JNIEnv *, jclass, jobject, jobject);
369 
370 /*
371  * Class: parma_polyhedra_library_Termination
372  * Method: one_affine_ranking_function_PR_Int64_Box
373  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Generator;)Z
374  */
376  (JNIEnv *, jclass, jobject, jobject);
377 
378 /*
379  * Class: parma_polyhedra_library_Termination
380  * Method: all_affine_ranking_functions_MS_Int64_Box
381  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;)V
382  */
384  (JNIEnv *, jclass, jobject, jobject);
385 
386 /*
387  * Class: parma_polyhedra_library_Termination
388  * Method: all_affine_ranking_functions_PR_Int64_Box
389  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;)V
390  */
392  (JNIEnv *, jclass, jobject, jobject);
393 
394 /*
395  * Class: parma_polyhedra_library_Termination
396  * Method: all_affine_quasi_ranking_functions_MS_Int64_Box
397  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
398  */
400  (JNIEnv *, jclass, jobject, jobject, jobject);
401 
402 /*
403  * Class: parma_polyhedra_library_Termination
404  * Method: termination_test_MS_Int64_Box_2
405  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;)Z
406  */
408  (JNIEnv *, jclass, jobject, jobject);
409 
410 /*
411  * Class: parma_polyhedra_library_Termination
412  * Method: termination_test_PR_Int64_Box_2
413  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;)Z
414  */
416  (JNIEnv *, jclass, jobject, jobject);
417 
418 /*
419  * Class: parma_polyhedra_library_Termination
420  * Method: one_affine_ranking_function_MS_Int64_Box_2
421  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Generator;)Z
422  */
424  (JNIEnv *, jclass, jobject, jobject, jobject);
425 
426 /*
427  * Class: parma_polyhedra_library_Termination
428  * Method: one_affine_ranking_function_PR_Int64_Box_2
429  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Generator;)Z
430  */
432  (JNIEnv *, jclass, jobject, jobject, jobject);
433 
434 /*
435  * Class: parma_polyhedra_library_Termination
436  * Method: all_affine_ranking_functions_MS_Int64_Box_2
437  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;)V
438  */
440  (JNIEnv *, jclass, jobject, jobject, jobject);
441 
442 /*
443  * Class: parma_polyhedra_library_Termination
444  * Method: all_affine_ranking_functions_PR_Int64_Box_2
445  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;)V
446  */
448  (JNIEnv *, jclass, jobject, jobject, jobject);
449 
450 /*
451  * Class: parma_polyhedra_library_Termination
452  * Method: all_affine_quasi_ranking_functions_MS_Int64_Box_2
453  * Signature: (Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Int64_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
454  */
456  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
457 
458 /*
459  * Class: parma_polyhedra_library_Termination
460  * Method: termination_test_MS_Uint8_Box
461  * Signature: (Lparma_polyhedra_library/Uint8_Box;)Z
462  */
464  (JNIEnv *, jclass, jobject);
465 
466 /*
467  * Class: parma_polyhedra_library_Termination
468  * Method: termination_test_PR_Uint8_Box
469  * Signature: (Lparma_polyhedra_library/Uint8_Box;)Z
470  */
472  (JNIEnv *, jclass, jobject);
473 
474 /*
475  * Class: parma_polyhedra_library_Termination
476  * Method: one_affine_ranking_function_MS_Uint8_Box
477  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Generator;)Z
478  */
480  (JNIEnv *, jclass, jobject, jobject);
481 
482 /*
483  * Class: parma_polyhedra_library_Termination
484  * Method: one_affine_ranking_function_PR_Uint8_Box
485  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Generator;)Z
486  */
488  (JNIEnv *, jclass, jobject, jobject);
489 
490 /*
491  * Class: parma_polyhedra_library_Termination
492  * Method: all_affine_ranking_functions_MS_Uint8_Box
493  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;)V
494  */
496  (JNIEnv *, jclass, jobject, jobject);
497 
498 /*
499  * Class: parma_polyhedra_library_Termination
500  * Method: all_affine_ranking_functions_PR_Uint8_Box
501  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;)V
502  */
504  (JNIEnv *, jclass, jobject, jobject);
505 
506 /*
507  * Class: parma_polyhedra_library_Termination
508  * Method: all_affine_quasi_ranking_functions_MS_Uint8_Box
509  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
510  */
512  (JNIEnv *, jclass, jobject, jobject, jobject);
513 
514 /*
515  * Class: parma_polyhedra_library_Termination
516  * Method: termination_test_MS_Uint8_Box_2
517  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;)Z
518  */
520  (JNIEnv *, jclass, jobject, jobject);
521 
522 /*
523  * Class: parma_polyhedra_library_Termination
524  * Method: termination_test_PR_Uint8_Box_2
525  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;)Z
526  */
528  (JNIEnv *, jclass, jobject, jobject);
529 
530 /*
531  * Class: parma_polyhedra_library_Termination
532  * Method: one_affine_ranking_function_MS_Uint8_Box_2
533  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Generator;)Z
534  */
536  (JNIEnv *, jclass, jobject, jobject, jobject);
537 
538 /*
539  * Class: parma_polyhedra_library_Termination
540  * Method: one_affine_ranking_function_PR_Uint8_Box_2
541  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Generator;)Z
542  */
544  (JNIEnv *, jclass, jobject, jobject, jobject);
545 
546 /*
547  * Class: parma_polyhedra_library_Termination
548  * Method: all_affine_ranking_functions_MS_Uint8_Box_2
549  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;)V
550  */
552  (JNIEnv *, jclass, jobject, jobject, jobject);
553 
554 /*
555  * Class: parma_polyhedra_library_Termination
556  * Method: all_affine_ranking_functions_PR_Uint8_Box_2
557  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;)V
558  */
560  (JNIEnv *, jclass, jobject, jobject, jobject);
561 
562 /*
563  * Class: parma_polyhedra_library_Termination
564  * Method: all_affine_quasi_ranking_functions_MS_Uint8_Box_2
565  * Signature: (Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Uint8_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
566  */
568  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
569 
570 /*
571  * Class: parma_polyhedra_library_Termination
572  * Method: termination_test_MS_Uint16_Box
573  * Signature: (Lparma_polyhedra_library/Uint16_Box;)Z
574  */
576  (JNIEnv *, jclass, jobject);
577 
578 /*
579  * Class: parma_polyhedra_library_Termination
580  * Method: termination_test_PR_Uint16_Box
581  * Signature: (Lparma_polyhedra_library/Uint16_Box;)Z
582  */
584  (JNIEnv *, jclass, jobject);
585 
586 /*
587  * Class: parma_polyhedra_library_Termination
588  * Method: one_affine_ranking_function_MS_Uint16_Box
589  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Generator;)Z
590  */
592  (JNIEnv *, jclass, jobject, jobject);
593 
594 /*
595  * Class: parma_polyhedra_library_Termination
596  * Method: one_affine_ranking_function_PR_Uint16_Box
597  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Generator;)Z
598  */
600  (JNIEnv *, jclass, jobject, jobject);
601 
602 /*
603  * Class: parma_polyhedra_library_Termination
604  * Method: all_affine_ranking_functions_MS_Uint16_Box
605  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;)V
606  */
608  (JNIEnv *, jclass, jobject, jobject);
609 
610 /*
611  * Class: parma_polyhedra_library_Termination
612  * Method: all_affine_ranking_functions_PR_Uint16_Box
613  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;)V
614  */
616  (JNIEnv *, jclass, jobject, jobject);
617 
618 /*
619  * Class: parma_polyhedra_library_Termination
620  * Method: all_affine_quasi_ranking_functions_MS_Uint16_Box
621  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
622  */
624  (JNIEnv *, jclass, jobject, jobject, jobject);
625 
626 /*
627  * Class: parma_polyhedra_library_Termination
628  * Method: termination_test_MS_Uint16_Box_2
629  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;)Z
630  */
632  (JNIEnv *, jclass, jobject, jobject);
633 
634 /*
635  * Class: parma_polyhedra_library_Termination
636  * Method: termination_test_PR_Uint16_Box_2
637  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;)Z
638  */
640  (JNIEnv *, jclass, jobject, jobject);
641 
642 /*
643  * Class: parma_polyhedra_library_Termination
644  * Method: one_affine_ranking_function_MS_Uint16_Box_2
645  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Generator;)Z
646  */
648  (JNIEnv *, jclass, jobject, jobject, jobject);
649 
650 /*
651  * Class: parma_polyhedra_library_Termination
652  * Method: one_affine_ranking_function_PR_Uint16_Box_2
653  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Generator;)Z
654  */
656  (JNIEnv *, jclass, jobject, jobject, jobject);
657 
658 /*
659  * Class: parma_polyhedra_library_Termination
660  * Method: all_affine_ranking_functions_MS_Uint16_Box_2
661  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;)V
662  */
664  (JNIEnv *, jclass, jobject, jobject, jobject);
665 
666 /*
667  * Class: parma_polyhedra_library_Termination
668  * Method: all_affine_ranking_functions_PR_Uint16_Box_2
669  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;)V
670  */
672  (JNIEnv *, jclass, jobject, jobject, jobject);
673 
674 /*
675  * Class: parma_polyhedra_library_Termination
676  * Method: all_affine_quasi_ranking_functions_MS_Uint16_Box_2
677  * Signature: (Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Uint16_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
678  */
680  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
681 
682 /*
683  * Class: parma_polyhedra_library_Termination
684  * Method: termination_test_MS_Uint32_Box
685  * Signature: (Lparma_polyhedra_library/Uint32_Box;)Z
686  */
688  (JNIEnv *, jclass, jobject);
689 
690 /*
691  * Class: parma_polyhedra_library_Termination
692  * Method: termination_test_PR_Uint32_Box
693  * Signature: (Lparma_polyhedra_library/Uint32_Box;)Z
694  */
696  (JNIEnv *, jclass, jobject);
697 
698 /*
699  * Class: parma_polyhedra_library_Termination
700  * Method: one_affine_ranking_function_MS_Uint32_Box
701  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Generator;)Z
702  */
704  (JNIEnv *, jclass, jobject, jobject);
705 
706 /*
707  * Class: parma_polyhedra_library_Termination
708  * Method: one_affine_ranking_function_PR_Uint32_Box
709  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Generator;)Z
710  */
712  (JNIEnv *, jclass, jobject, jobject);
713 
714 /*
715  * Class: parma_polyhedra_library_Termination
716  * Method: all_affine_ranking_functions_MS_Uint32_Box
717  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;)V
718  */
720  (JNIEnv *, jclass, jobject, jobject);
721 
722 /*
723  * Class: parma_polyhedra_library_Termination
724  * Method: all_affine_ranking_functions_PR_Uint32_Box
725  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;)V
726  */
728  (JNIEnv *, jclass, jobject, jobject);
729 
730 /*
731  * Class: parma_polyhedra_library_Termination
732  * Method: all_affine_quasi_ranking_functions_MS_Uint32_Box
733  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
734  */
736  (JNIEnv *, jclass, jobject, jobject, jobject);
737 
738 /*
739  * Class: parma_polyhedra_library_Termination
740  * Method: termination_test_MS_Uint32_Box_2
741  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;)Z
742  */
744  (JNIEnv *, jclass, jobject, jobject);
745 
746 /*
747  * Class: parma_polyhedra_library_Termination
748  * Method: termination_test_PR_Uint32_Box_2
749  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;)Z
750  */
752  (JNIEnv *, jclass, jobject, jobject);
753 
754 /*
755  * Class: parma_polyhedra_library_Termination
756  * Method: one_affine_ranking_function_MS_Uint32_Box_2
757  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Generator;)Z
758  */
760  (JNIEnv *, jclass, jobject, jobject, jobject);
761 
762 /*
763  * Class: parma_polyhedra_library_Termination
764  * Method: one_affine_ranking_function_PR_Uint32_Box_2
765  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Generator;)Z
766  */
768  (JNIEnv *, jclass, jobject, jobject, jobject);
769 
770 /*
771  * Class: parma_polyhedra_library_Termination
772  * Method: all_affine_ranking_functions_MS_Uint32_Box_2
773  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;)V
774  */
776  (JNIEnv *, jclass, jobject, jobject, jobject);
777 
778 /*
779  * Class: parma_polyhedra_library_Termination
780  * Method: all_affine_ranking_functions_PR_Uint32_Box_2
781  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;)V
782  */
784  (JNIEnv *, jclass, jobject, jobject, jobject);
785 
786 /*
787  * Class: parma_polyhedra_library_Termination
788  * Method: all_affine_quasi_ranking_functions_MS_Uint32_Box_2
789  * Signature: (Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Uint32_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
790  */
792  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
793 
794 /*
795  * Class: parma_polyhedra_library_Termination
796  * Method: termination_test_MS_Uint64_Box
797  * Signature: (Lparma_polyhedra_library/Uint64_Box;)Z
798  */
800  (JNIEnv *, jclass, jobject);
801 
802 /*
803  * Class: parma_polyhedra_library_Termination
804  * Method: termination_test_PR_Uint64_Box
805  * Signature: (Lparma_polyhedra_library/Uint64_Box;)Z
806  */
808  (JNIEnv *, jclass, jobject);
809 
810 /*
811  * Class: parma_polyhedra_library_Termination
812  * Method: one_affine_ranking_function_MS_Uint64_Box
813  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Generator;)Z
814  */
816  (JNIEnv *, jclass, jobject, jobject);
817 
818 /*
819  * Class: parma_polyhedra_library_Termination
820  * Method: one_affine_ranking_function_PR_Uint64_Box
821  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Generator;)Z
822  */
824  (JNIEnv *, jclass, jobject, jobject);
825 
826 /*
827  * Class: parma_polyhedra_library_Termination
828  * Method: all_affine_ranking_functions_MS_Uint64_Box
829  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;)V
830  */
832  (JNIEnv *, jclass, jobject, jobject);
833 
834 /*
835  * Class: parma_polyhedra_library_Termination
836  * Method: all_affine_ranking_functions_PR_Uint64_Box
837  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;)V
838  */
840  (JNIEnv *, jclass, jobject, jobject);
841 
842 /*
843  * Class: parma_polyhedra_library_Termination
844  * Method: all_affine_quasi_ranking_functions_MS_Uint64_Box
845  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
846  */
848  (JNIEnv *, jclass, jobject, jobject, jobject);
849 
850 /*
851  * Class: parma_polyhedra_library_Termination
852  * Method: termination_test_MS_Uint64_Box_2
853  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;)Z
854  */
856  (JNIEnv *, jclass, jobject, jobject);
857 
858 /*
859  * Class: parma_polyhedra_library_Termination
860  * Method: termination_test_PR_Uint64_Box_2
861  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;)Z
862  */
864  (JNIEnv *, jclass, jobject, jobject);
865 
866 /*
867  * Class: parma_polyhedra_library_Termination
868  * Method: one_affine_ranking_function_MS_Uint64_Box_2
869  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Generator;)Z
870  */
872  (JNIEnv *, jclass, jobject, jobject, jobject);
873 
874 /*
875  * Class: parma_polyhedra_library_Termination
876  * Method: one_affine_ranking_function_PR_Uint64_Box_2
877  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Generator;)Z
878  */
880  (JNIEnv *, jclass, jobject, jobject, jobject);
881 
882 /*
883  * Class: parma_polyhedra_library_Termination
884  * Method: all_affine_ranking_functions_MS_Uint64_Box_2
885  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;)V
886  */
888  (JNIEnv *, jclass, jobject, jobject, jobject);
889 
890 /*
891  * Class: parma_polyhedra_library_Termination
892  * Method: all_affine_ranking_functions_PR_Uint64_Box_2
893  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;)V
894  */
896  (JNIEnv *, jclass, jobject, jobject, jobject);
897 
898 /*
899  * Class: parma_polyhedra_library_Termination
900  * Method: all_affine_quasi_ranking_functions_MS_Uint64_Box_2
901  * Signature: (Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Uint64_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
902  */
904  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
905 
906 /*
907  * Class: parma_polyhedra_library_Termination
908  * Method: termination_test_MS_Z_Box
909  * Signature: (Lparma_polyhedra_library/Z_Box;)Z
910  */
912  (JNIEnv *, jclass, jobject);
913 
914 /*
915  * Class: parma_polyhedra_library_Termination
916  * Method: termination_test_PR_Z_Box
917  * Signature: (Lparma_polyhedra_library/Z_Box;)Z
918  */
920  (JNIEnv *, jclass, jobject);
921 
922 /*
923  * Class: parma_polyhedra_library_Termination
924  * Method: one_affine_ranking_function_MS_Z_Box
925  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Generator;)Z
926  */
928  (JNIEnv *, jclass, jobject, jobject);
929 
930 /*
931  * Class: parma_polyhedra_library_Termination
932  * Method: one_affine_ranking_function_PR_Z_Box
933  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Generator;)Z
934  */
936  (JNIEnv *, jclass, jobject, jobject);
937 
938 /*
939  * Class: parma_polyhedra_library_Termination
940  * Method: all_affine_ranking_functions_MS_Z_Box
941  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;)V
942  */
944  (JNIEnv *, jclass, jobject, jobject);
945 
946 /*
947  * Class: parma_polyhedra_library_Termination
948  * Method: all_affine_ranking_functions_PR_Z_Box
949  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;)V
950  */
952  (JNIEnv *, jclass, jobject, jobject);
953 
954 /*
955  * Class: parma_polyhedra_library_Termination
956  * Method: all_affine_quasi_ranking_functions_MS_Z_Box
957  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
958  */
960  (JNIEnv *, jclass, jobject, jobject, jobject);
961 
962 /*
963  * Class: parma_polyhedra_library_Termination
964  * Method: termination_test_MS_Z_Box_2
965  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;)Z
966  */
968  (JNIEnv *, jclass, jobject, jobject);
969 
970 /*
971  * Class: parma_polyhedra_library_Termination
972  * Method: termination_test_PR_Z_Box_2
973  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;)Z
974  */
976  (JNIEnv *, jclass, jobject, jobject);
977 
978 /*
979  * Class: parma_polyhedra_library_Termination
980  * Method: one_affine_ranking_function_MS_Z_Box_2
981  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Generator;)Z
982  */
984  (JNIEnv *, jclass, jobject, jobject, jobject);
985 
986 /*
987  * Class: parma_polyhedra_library_Termination
988  * Method: one_affine_ranking_function_PR_Z_Box_2
989  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Generator;)Z
990  */
992  (JNIEnv *, jclass, jobject, jobject, jobject);
993 
994 /*
995  * Class: parma_polyhedra_library_Termination
996  * Method: all_affine_ranking_functions_MS_Z_Box_2
997  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;)V
998  */
1000  (JNIEnv *, jclass, jobject, jobject, jobject);
1001 
1002 /*
1003  * Class: parma_polyhedra_library_Termination
1004  * Method: all_affine_ranking_functions_PR_Z_Box_2
1005  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;)V
1006  */
1008  (JNIEnv *, jclass, jobject, jobject, jobject);
1009 
1010 /*
1011  * Class: parma_polyhedra_library_Termination
1012  * Method: all_affine_quasi_ranking_functions_MS_Z_Box_2
1013  * Signature: (Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Z_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1014  */
1016  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1017 
1018 /*
1019  * Class: parma_polyhedra_library_Termination
1020  * Method: termination_test_MS_Rational_Box
1021  * Signature: (Lparma_polyhedra_library/Rational_Box;)Z
1022  */
1024  (JNIEnv *, jclass, jobject);
1025 
1026 /*
1027  * Class: parma_polyhedra_library_Termination
1028  * Method: termination_test_PR_Rational_Box
1029  * Signature: (Lparma_polyhedra_library/Rational_Box;)Z
1030  */
1032  (JNIEnv *, jclass, jobject);
1033 
1034 /*
1035  * Class: parma_polyhedra_library_Termination
1036  * Method: one_affine_ranking_function_MS_Rational_Box
1037  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Generator;)Z
1038  */
1040  (JNIEnv *, jclass, jobject, jobject);
1041 
1042 /*
1043  * Class: parma_polyhedra_library_Termination
1044  * Method: one_affine_ranking_function_PR_Rational_Box
1045  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Generator;)Z
1046  */
1048  (JNIEnv *, jclass, jobject, jobject);
1049 
1050 /*
1051  * Class: parma_polyhedra_library_Termination
1052  * Method: all_affine_ranking_functions_MS_Rational_Box
1053  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;)V
1054  */
1056  (JNIEnv *, jclass, jobject, jobject);
1057 
1058 /*
1059  * Class: parma_polyhedra_library_Termination
1060  * Method: all_affine_ranking_functions_PR_Rational_Box
1061  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;)V
1062  */
1064  (JNIEnv *, jclass, jobject, jobject);
1065 
1066 /*
1067  * Class: parma_polyhedra_library_Termination
1068  * Method: all_affine_quasi_ranking_functions_MS_Rational_Box
1069  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1070  */
1072  (JNIEnv *, jclass, jobject, jobject, jobject);
1073 
1074 /*
1075  * Class: parma_polyhedra_library_Termination
1076  * Method: termination_test_MS_Rational_Box_2
1077  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;)Z
1078  */
1080  (JNIEnv *, jclass, jobject, jobject);
1081 
1082 /*
1083  * Class: parma_polyhedra_library_Termination
1084  * Method: termination_test_PR_Rational_Box_2
1085  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;)Z
1086  */
1088  (JNIEnv *, jclass, jobject, jobject);
1089 
1090 /*
1091  * Class: parma_polyhedra_library_Termination
1092  * Method: one_affine_ranking_function_MS_Rational_Box_2
1093  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Generator;)Z
1094  */
1096  (JNIEnv *, jclass, jobject, jobject, jobject);
1097 
1098 /*
1099  * Class: parma_polyhedra_library_Termination
1100  * Method: one_affine_ranking_function_PR_Rational_Box_2
1101  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Generator;)Z
1102  */
1104  (JNIEnv *, jclass, jobject, jobject, jobject);
1105 
1106 /*
1107  * Class: parma_polyhedra_library_Termination
1108  * Method: all_affine_ranking_functions_MS_Rational_Box_2
1109  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;)V
1110  */
1112  (JNIEnv *, jclass, jobject, jobject, jobject);
1113 
1114 /*
1115  * Class: parma_polyhedra_library_Termination
1116  * Method: all_affine_ranking_functions_PR_Rational_Box_2
1117  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;)V
1118  */
1120  (JNIEnv *, jclass, jobject, jobject, jobject);
1121 
1122 /*
1123  * Class: parma_polyhedra_library_Termination
1124  * Method: all_affine_quasi_ranking_functions_MS_Rational_Box_2
1125  * Signature: (Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Rational_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1126  */
1128  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1129 
1130 /*
1131  * Class: parma_polyhedra_library_Termination
1132  * Method: termination_test_MS_BD_Shape_int8_t
1133  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;)Z
1134  */
1136  (JNIEnv *, jclass, jobject);
1137 
1138 /*
1139  * Class: parma_polyhedra_library_Termination
1140  * Method: termination_test_PR_BD_Shape_int8_t
1141  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;)Z
1142  */
1144  (JNIEnv *, jclass, jobject);
1145 
1146 /*
1147  * Class: parma_polyhedra_library_Termination
1148  * Method: one_affine_ranking_function_MS_BD_Shape_int8_t
1149  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1150  */
1152  (JNIEnv *, jclass, jobject, jobject);
1153 
1154 /*
1155  * Class: parma_polyhedra_library_Termination
1156  * Method: one_affine_ranking_function_PR_BD_Shape_int8_t
1157  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1158  */
1160  (JNIEnv *, jclass, jobject, jobject);
1161 
1162 /*
1163  * Class: parma_polyhedra_library_Termination
1164  * Method: all_affine_ranking_functions_MS_BD_Shape_int8_t
1165  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1166  */
1168  (JNIEnv *, jclass, jobject, jobject);
1169 
1170 /*
1171  * Class: parma_polyhedra_library_Termination
1172  * Method: all_affine_ranking_functions_PR_BD_Shape_int8_t
1173  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1174  */
1176  (JNIEnv *, jclass, jobject, jobject);
1177 
1178 /*
1179  * Class: parma_polyhedra_library_Termination
1180  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t
1181  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1182  */
1184  (JNIEnv *, jclass, jobject, jobject, jobject);
1185 
1186 /*
1187  * Class: parma_polyhedra_library_Termination
1188  * Method: termination_test_MS_BD_Shape_int8_t_2
1189  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;)Z
1190  */
1192  (JNIEnv *, jclass, jobject, jobject);
1193 
1194 /*
1195  * Class: parma_polyhedra_library_Termination
1196  * Method: termination_test_PR_BD_Shape_int8_t_2
1197  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;)Z
1198  */
1200  (JNIEnv *, jclass, jobject, jobject);
1201 
1202 /*
1203  * Class: parma_polyhedra_library_Termination
1204  * Method: one_affine_ranking_function_MS_BD_Shape_int8_t_2
1205  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1206  */
1208  (JNIEnv *, jclass, jobject, jobject, jobject);
1209 
1210 /*
1211  * Class: parma_polyhedra_library_Termination
1212  * Method: one_affine_ranking_function_PR_BD_Shape_int8_t_2
1213  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1214  */
1216  (JNIEnv *, jclass, jobject, jobject, jobject);
1217 
1218 /*
1219  * Class: parma_polyhedra_library_Termination
1220  * Method: all_affine_ranking_functions_MS_BD_Shape_int8_t_2
1221  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1222  */
1224  (JNIEnv *, jclass, jobject, jobject, jobject);
1225 
1226 /*
1227  * Class: parma_polyhedra_library_Termination
1228  * Method: all_affine_ranking_functions_PR_BD_Shape_int8_t_2
1229  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1230  */
1232  (JNIEnv *, jclass, jobject, jobject, jobject);
1233 
1234 /*
1235  * Class: parma_polyhedra_library_Termination
1236  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2
1237  * Signature: (Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/BD_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1238  */
1240  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1241 
1242 /*
1243  * Class: parma_polyhedra_library_Termination
1244  * Method: termination_test_MS_BD_Shape_int16_t
1245  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;)Z
1246  */
1248  (JNIEnv *, jclass, jobject);
1249 
1250 /*
1251  * Class: parma_polyhedra_library_Termination
1252  * Method: termination_test_PR_BD_Shape_int16_t
1253  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;)Z
1254  */
1256  (JNIEnv *, jclass, jobject);
1257 
1258 /*
1259  * Class: parma_polyhedra_library_Termination
1260  * Method: one_affine_ranking_function_MS_BD_Shape_int16_t
1261  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1262  */
1264  (JNIEnv *, jclass, jobject, jobject);
1265 
1266 /*
1267  * Class: parma_polyhedra_library_Termination
1268  * Method: one_affine_ranking_function_PR_BD_Shape_int16_t
1269  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1270  */
1272  (JNIEnv *, jclass, jobject, jobject);
1273 
1274 /*
1275  * Class: parma_polyhedra_library_Termination
1276  * Method: all_affine_ranking_functions_MS_BD_Shape_int16_t
1277  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1278  */
1280  (JNIEnv *, jclass, jobject, jobject);
1281 
1282 /*
1283  * Class: parma_polyhedra_library_Termination
1284  * Method: all_affine_ranking_functions_PR_BD_Shape_int16_t
1285  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1286  */
1288  (JNIEnv *, jclass, jobject, jobject);
1289 
1290 /*
1291  * Class: parma_polyhedra_library_Termination
1292  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t
1293  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1294  */
1296  (JNIEnv *, jclass, jobject, jobject, jobject);
1297 
1298 /*
1299  * Class: parma_polyhedra_library_Termination
1300  * Method: termination_test_MS_BD_Shape_int16_t_2
1301  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;)Z
1302  */
1304  (JNIEnv *, jclass, jobject, jobject);
1305 
1306 /*
1307  * Class: parma_polyhedra_library_Termination
1308  * Method: termination_test_PR_BD_Shape_int16_t_2
1309  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;)Z
1310  */
1312  (JNIEnv *, jclass, jobject, jobject);
1313 
1314 /*
1315  * Class: parma_polyhedra_library_Termination
1316  * Method: one_affine_ranking_function_MS_BD_Shape_int16_t_2
1317  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1318  */
1320  (JNIEnv *, jclass, jobject, jobject, jobject);
1321 
1322 /*
1323  * Class: parma_polyhedra_library_Termination
1324  * Method: one_affine_ranking_function_PR_BD_Shape_int16_t_2
1325  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1326  */
1328  (JNIEnv *, jclass, jobject, jobject, jobject);
1329 
1330 /*
1331  * Class: parma_polyhedra_library_Termination
1332  * Method: all_affine_ranking_functions_MS_BD_Shape_int16_t_2
1333  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1334  */
1336  (JNIEnv *, jclass, jobject, jobject, jobject);
1337 
1338 /*
1339  * Class: parma_polyhedra_library_Termination
1340  * Method: all_affine_ranking_functions_PR_BD_Shape_int16_t_2
1341  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1342  */
1344  (JNIEnv *, jclass, jobject, jobject, jobject);
1345 
1346 /*
1347  * Class: parma_polyhedra_library_Termination
1348  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2
1349  * Signature: (Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/BD_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1350  */
1352  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1353 
1354 /*
1355  * Class: parma_polyhedra_library_Termination
1356  * Method: termination_test_MS_BD_Shape_int32_t
1357  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;)Z
1358  */
1360  (JNIEnv *, jclass, jobject);
1361 
1362 /*
1363  * Class: parma_polyhedra_library_Termination
1364  * Method: termination_test_PR_BD_Shape_int32_t
1365  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;)Z
1366  */
1368  (JNIEnv *, jclass, jobject);
1369 
1370 /*
1371  * Class: parma_polyhedra_library_Termination
1372  * Method: one_affine_ranking_function_MS_BD_Shape_int32_t
1373  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
1374  */
1376  (JNIEnv *, jclass, jobject, jobject);
1377 
1378 /*
1379  * Class: parma_polyhedra_library_Termination
1380  * Method: one_affine_ranking_function_PR_BD_Shape_int32_t
1381  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
1382  */
1384  (JNIEnv *, jclass, jobject, jobject);
1385 
1386 /*
1387  * Class: parma_polyhedra_library_Termination
1388  * Method: all_affine_ranking_functions_MS_BD_Shape_int32_t
1389  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
1390  */
1392  (JNIEnv *, jclass, jobject, jobject);
1393 
1394 /*
1395  * Class: parma_polyhedra_library_Termination
1396  * Method: all_affine_ranking_functions_PR_BD_Shape_int32_t
1397  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
1398  */
1400  (JNIEnv *, jclass, jobject, jobject);
1401 
1402 /*
1403  * Class: parma_polyhedra_library_Termination
1404  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t
1405  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1406  */
1408  (JNIEnv *, jclass, jobject, jobject, jobject);
1409 
1410 /*
1411  * Class: parma_polyhedra_library_Termination
1412  * Method: termination_test_MS_BD_Shape_int32_t_2
1413  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;)Z
1414  */
1416  (JNIEnv *, jclass, jobject, jobject);
1417 
1418 /*
1419  * Class: parma_polyhedra_library_Termination
1420  * Method: termination_test_PR_BD_Shape_int32_t_2
1421  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;)Z
1422  */
1424  (JNIEnv *, jclass, jobject, jobject);
1425 
1426 /*
1427  * Class: parma_polyhedra_library_Termination
1428  * Method: one_affine_ranking_function_MS_BD_Shape_int32_t_2
1429  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
1430  */
1432  (JNIEnv *, jclass, jobject, jobject, jobject);
1433 
1434 /*
1435  * Class: parma_polyhedra_library_Termination
1436  * Method: one_affine_ranking_function_PR_BD_Shape_int32_t_2
1437  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
1438  */
1440  (JNIEnv *, jclass, jobject, jobject, jobject);
1441 
1442 /*
1443  * Class: parma_polyhedra_library_Termination
1444  * Method: all_affine_ranking_functions_MS_BD_Shape_int32_t_2
1445  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
1446  */
1448  (JNIEnv *, jclass, jobject, jobject, jobject);
1449 
1450 /*
1451  * Class: parma_polyhedra_library_Termination
1452  * Method: all_affine_ranking_functions_PR_BD_Shape_int32_t_2
1453  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
1454  */
1456  (JNIEnv *, jclass, jobject, jobject, jobject);
1457 
1458 /*
1459  * Class: parma_polyhedra_library_Termination
1460  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2
1461  * Signature: (Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/BD_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1462  */
1464  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1465 
1466 /*
1467  * Class: parma_polyhedra_library_Termination
1468  * Method: termination_test_MS_BD_Shape_int64_t
1469  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;)Z
1470  */
1472  (JNIEnv *, jclass, jobject);
1473 
1474 /*
1475  * Class: parma_polyhedra_library_Termination
1476  * Method: termination_test_PR_BD_Shape_int64_t
1477  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;)Z
1478  */
1480  (JNIEnv *, jclass, jobject);
1481 
1482 /*
1483  * Class: parma_polyhedra_library_Termination
1484  * Method: one_affine_ranking_function_MS_BD_Shape_int64_t
1485  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
1486  */
1488  (JNIEnv *, jclass, jobject, jobject);
1489 
1490 /*
1491  * Class: parma_polyhedra_library_Termination
1492  * Method: one_affine_ranking_function_PR_BD_Shape_int64_t
1493  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
1494  */
1496  (JNIEnv *, jclass, jobject, jobject);
1497 
1498 /*
1499  * Class: parma_polyhedra_library_Termination
1500  * Method: all_affine_ranking_functions_MS_BD_Shape_int64_t
1501  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
1502  */
1504  (JNIEnv *, jclass, jobject, jobject);
1505 
1506 /*
1507  * Class: parma_polyhedra_library_Termination
1508  * Method: all_affine_ranking_functions_PR_BD_Shape_int64_t
1509  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
1510  */
1512  (JNIEnv *, jclass, jobject, jobject);
1513 
1514 /*
1515  * Class: parma_polyhedra_library_Termination
1516  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t
1517  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1518  */
1520  (JNIEnv *, jclass, jobject, jobject, jobject);
1521 
1522 /*
1523  * Class: parma_polyhedra_library_Termination
1524  * Method: termination_test_MS_BD_Shape_int64_t_2
1525  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;)Z
1526  */
1528  (JNIEnv *, jclass, jobject, jobject);
1529 
1530 /*
1531  * Class: parma_polyhedra_library_Termination
1532  * Method: termination_test_PR_BD_Shape_int64_t_2
1533  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;)Z
1534  */
1536  (JNIEnv *, jclass, jobject, jobject);
1537 
1538 /*
1539  * Class: parma_polyhedra_library_Termination
1540  * Method: one_affine_ranking_function_MS_BD_Shape_int64_t_2
1541  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
1542  */
1544  (JNIEnv *, jclass, jobject, jobject, jobject);
1545 
1546 /*
1547  * Class: parma_polyhedra_library_Termination
1548  * Method: one_affine_ranking_function_PR_BD_Shape_int64_t_2
1549  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
1550  */
1552  (JNIEnv *, jclass, jobject, jobject, jobject);
1553 
1554 /*
1555  * Class: parma_polyhedra_library_Termination
1556  * Method: all_affine_ranking_functions_MS_BD_Shape_int64_t_2
1557  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
1558  */
1560  (JNIEnv *, jclass, jobject, jobject, jobject);
1561 
1562 /*
1563  * Class: parma_polyhedra_library_Termination
1564  * Method: all_affine_ranking_functions_PR_BD_Shape_int64_t_2
1565  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
1566  */
1568  (JNIEnv *, jclass, jobject, jobject, jobject);
1569 
1570 /*
1571  * Class: parma_polyhedra_library_Termination
1572  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2
1573  * Signature: (Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/BD_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1574  */
1576  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1577 
1578 /*
1579  * Class: parma_polyhedra_library_Termination
1580  * Method: termination_test_MS_BD_Shape_mpz_class
1581  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;)Z
1582  */
1584  (JNIEnv *, jclass, jobject);
1585 
1586 /*
1587  * Class: parma_polyhedra_library_Termination
1588  * Method: termination_test_PR_BD_Shape_mpz_class
1589  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;)Z
1590  */
1592  (JNIEnv *, jclass, jobject);
1593 
1594 /*
1595  * Class: parma_polyhedra_library_Termination
1596  * Method: one_affine_ranking_function_MS_BD_Shape_mpz_class
1597  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
1598  */
1600  (JNIEnv *, jclass, jobject, jobject);
1601 
1602 /*
1603  * Class: parma_polyhedra_library_Termination
1604  * Method: one_affine_ranking_function_PR_BD_Shape_mpz_class
1605  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
1606  */
1608  (JNIEnv *, jclass, jobject, jobject);
1609 
1610 /*
1611  * Class: parma_polyhedra_library_Termination
1612  * Method: all_affine_ranking_functions_MS_BD_Shape_mpz_class
1613  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
1614  */
1616  (JNIEnv *, jclass, jobject, jobject);
1617 
1618 /*
1619  * Class: parma_polyhedra_library_Termination
1620  * Method: all_affine_ranking_functions_PR_BD_Shape_mpz_class
1621  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
1622  */
1624  (JNIEnv *, jclass, jobject, jobject);
1625 
1626 /*
1627  * Class: parma_polyhedra_library_Termination
1628  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class
1629  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1630  */
1632  (JNIEnv *, jclass, jobject, jobject, jobject);
1633 
1634 /*
1635  * Class: parma_polyhedra_library_Termination
1636  * Method: termination_test_MS_BD_Shape_mpz_class_2
1637  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;)Z
1638  */
1640  (JNIEnv *, jclass, jobject, jobject);
1641 
1642 /*
1643  * Class: parma_polyhedra_library_Termination
1644  * Method: termination_test_PR_BD_Shape_mpz_class_2
1645  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;)Z
1646  */
1648  (JNIEnv *, jclass, jobject, jobject);
1649 
1650 /*
1651  * Class: parma_polyhedra_library_Termination
1652  * Method: one_affine_ranking_function_MS_BD_Shape_mpz_class_2
1653  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
1654  */
1656  (JNIEnv *, jclass, jobject, jobject, jobject);
1657 
1658 /*
1659  * Class: parma_polyhedra_library_Termination
1660  * Method: one_affine_ranking_function_PR_BD_Shape_mpz_class_2
1661  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
1662  */
1664  (JNIEnv *, jclass, jobject, jobject, jobject);
1665 
1666 /*
1667  * Class: parma_polyhedra_library_Termination
1668  * Method: all_affine_ranking_functions_MS_BD_Shape_mpz_class_2
1669  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
1670  */
1672  (JNIEnv *, jclass, jobject, jobject, jobject);
1673 
1674 /*
1675  * Class: parma_polyhedra_library_Termination
1676  * Method: all_affine_ranking_functions_PR_BD_Shape_mpz_class_2
1677  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
1678  */
1680  (JNIEnv *, jclass, jobject, jobject, jobject);
1681 
1682 /*
1683  * Class: parma_polyhedra_library_Termination
1684  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2
1685  * Signature: (Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/BD_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1686  */
1688  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1689 
1690 /*
1691  * Class: parma_polyhedra_library_Termination
1692  * Method: termination_test_MS_BD_Shape_mpq_class
1693  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;)Z
1694  */
1696  (JNIEnv *, jclass, jobject);
1697 
1698 /*
1699  * Class: parma_polyhedra_library_Termination
1700  * Method: termination_test_PR_BD_Shape_mpq_class
1701  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;)Z
1702  */
1704  (JNIEnv *, jclass, jobject);
1705 
1706 /*
1707  * Class: parma_polyhedra_library_Termination
1708  * Method: one_affine_ranking_function_MS_BD_Shape_mpq_class
1709  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
1710  */
1712  (JNIEnv *, jclass, jobject, jobject);
1713 
1714 /*
1715  * Class: parma_polyhedra_library_Termination
1716  * Method: one_affine_ranking_function_PR_BD_Shape_mpq_class
1717  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
1718  */
1720  (JNIEnv *, jclass, jobject, jobject);
1721 
1722 /*
1723  * Class: parma_polyhedra_library_Termination
1724  * Method: all_affine_ranking_functions_MS_BD_Shape_mpq_class
1725  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
1726  */
1728  (JNIEnv *, jclass, jobject, jobject);
1729 
1730 /*
1731  * Class: parma_polyhedra_library_Termination
1732  * Method: all_affine_ranking_functions_PR_BD_Shape_mpq_class
1733  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
1734  */
1736  (JNIEnv *, jclass, jobject, jobject);
1737 
1738 /*
1739  * Class: parma_polyhedra_library_Termination
1740  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class
1741  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1742  */
1744  (JNIEnv *, jclass, jobject, jobject, jobject);
1745 
1746 /*
1747  * Class: parma_polyhedra_library_Termination
1748  * Method: termination_test_MS_BD_Shape_mpq_class_2
1749  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;)Z
1750  */
1752  (JNIEnv *, jclass, jobject, jobject);
1753 
1754 /*
1755  * Class: parma_polyhedra_library_Termination
1756  * Method: termination_test_PR_BD_Shape_mpq_class_2
1757  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;)Z
1758  */
1760  (JNIEnv *, jclass, jobject, jobject);
1761 
1762 /*
1763  * Class: parma_polyhedra_library_Termination
1764  * Method: one_affine_ranking_function_MS_BD_Shape_mpq_class_2
1765  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
1766  */
1768  (JNIEnv *, jclass, jobject, jobject, jobject);
1769 
1770 /*
1771  * Class: parma_polyhedra_library_Termination
1772  * Method: one_affine_ranking_function_PR_BD_Shape_mpq_class_2
1773  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
1774  */
1776  (JNIEnv *, jclass, jobject, jobject, jobject);
1777 
1778 /*
1779  * Class: parma_polyhedra_library_Termination
1780  * Method: all_affine_ranking_functions_MS_BD_Shape_mpq_class_2
1781  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
1782  */
1784  (JNIEnv *, jclass, jobject, jobject, jobject);
1785 
1786 /*
1787  * Class: parma_polyhedra_library_Termination
1788  * Method: all_affine_ranking_functions_PR_BD_Shape_mpq_class_2
1789  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
1790  */
1792  (JNIEnv *, jclass, jobject, jobject, jobject);
1793 
1794 /*
1795  * Class: parma_polyhedra_library_Termination
1796  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2
1797  * Signature: (Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/BD_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1798  */
1800  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1801 
1802 /*
1803  * Class: parma_polyhedra_library_Termination
1804  * Method: termination_test_MS_Octagonal_Shape_int8_t
1805  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;)Z
1806  */
1808  (JNIEnv *, jclass, jobject);
1809 
1810 /*
1811  * Class: parma_polyhedra_library_Termination
1812  * Method: termination_test_PR_Octagonal_Shape_int8_t
1813  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;)Z
1814  */
1816  (JNIEnv *, jclass, jobject);
1817 
1818 /*
1819  * Class: parma_polyhedra_library_Termination
1820  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int8_t
1821  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1822  */
1824  (JNIEnv *, jclass, jobject, jobject);
1825 
1826 /*
1827  * Class: parma_polyhedra_library_Termination
1828  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int8_t
1829  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1830  */
1832  (JNIEnv *, jclass, jobject, jobject);
1833 
1834 /*
1835  * Class: parma_polyhedra_library_Termination
1836  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int8_t
1837  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1838  */
1840  (JNIEnv *, jclass, jobject, jobject);
1841 
1842 /*
1843  * Class: parma_polyhedra_library_Termination
1844  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int8_t
1845  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1846  */
1848  (JNIEnv *, jclass, jobject, jobject);
1849 
1850 /*
1851  * Class: parma_polyhedra_library_Termination
1852  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t
1853  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1854  */
1856  (JNIEnv *, jclass, jobject, jobject, jobject);
1857 
1858 /*
1859  * Class: parma_polyhedra_library_Termination
1860  * Method: termination_test_MS_Octagonal_Shape_int8_t_2
1861  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;)Z
1862  */
1864  (JNIEnv *, jclass, jobject, jobject);
1865 
1866 /*
1867  * Class: parma_polyhedra_library_Termination
1868  * Method: termination_test_PR_Octagonal_Shape_int8_t_2
1869  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;)Z
1870  */
1872  (JNIEnv *, jclass, jobject, jobject);
1873 
1874 /*
1875  * Class: parma_polyhedra_library_Termination
1876  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2
1877  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1878  */
1880  (JNIEnv *, jclass, jobject, jobject, jobject);
1881 
1882 /*
1883  * Class: parma_polyhedra_library_Termination
1884  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2
1885  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Generator;)Z
1886  */
1888  (JNIEnv *, jclass, jobject, jobject, jobject);
1889 
1890 /*
1891  * Class: parma_polyhedra_library_Termination
1892  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2
1893  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1894  */
1896  (JNIEnv *, jclass, jobject, jobject, jobject);
1897 
1898 /*
1899  * Class: parma_polyhedra_library_Termination
1900  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2
1901  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;)V
1902  */
1904  (JNIEnv *, jclass, jobject, jobject, jobject);
1905 
1906 /*
1907  * Class: parma_polyhedra_library_Termination
1908  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2
1909  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Octagonal_Shape_int8_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1910  */
1912  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
1913 
1914 /*
1915  * Class: parma_polyhedra_library_Termination
1916  * Method: termination_test_MS_Octagonal_Shape_int16_t
1917  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;)Z
1918  */
1920  (JNIEnv *, jclass, jobject);
1921 
1922 /*
1923  * Class: parma_polyhedra_library_Termination
1924  * Method: termination_test_PR_Octagonal_Shape_int16_t
1925  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;)Z
1926  */
1928  (JNIEnv *, jclass, jobject);
1929 
1930 /*
1931  * Class: parma_polyhedra_library_Termination
1932  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int16_t
1933  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1934  */
1936  (JNIEnv *, jclass, jobject, jobject);
1937 
1938 /*
1939  * Class: parma_polyhedra_library_Termination
1940  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int16_t
1941  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1942  */
1944  (JNIEnv *, jclass, jobject, jobject);
1945 
1946 /*
1947  * Class: parma_polyhedra_library_Termination
1948  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int16_t
1949  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1950  */
1952  (JNIEnv *, jclass, jobject, jobject);
1953 
1954 /*
1955  * Class: parma_polyhedra_library_Termination
1956  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int16_t
1957  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
1958  */
1960  (JNIEnv *, jclass, jobject, jobject);
1961 
1962 /*
1963  * Class: parma_polyhedra_library_Termination
1964  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t
1965  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
1966  */
1968  (JNIEnv *, jclass, jobject, jobject, jobject);
1969 
1970 /*
1971  * Class: parma_polyhedra_library_Termination
1972  * Method: termination_test_MS_Octagonal_Shape_int16_t_2
1973  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;)Z
1974  */
1976  (JNIEnv *, jclass, jobject, jobject);
1977 
1978 /*
1979  * Class: parma_polyhedra_library_Termination
1980  * Method: termination_test_PR_Octagonal_Shape_int16_t_2
1981  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;)Z
1982  */
1984  (JNIEnv *, jclass, jobject, jobject);
1985 
1986 /*
1987  * Class: parma_polyhedra_library_Termination
1988  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2
1989  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1990  */
1992  (JNIEnv *, jclass, jobject, jobject, jobject);
1993 
1994 /*
1995  * Class: parma_polyhedra_library_Termination
1996  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2
1997  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Generator;)Z
1998  */
2000  (JNIEnv *, jclass, jobject, jobject, jobject);
2001 
2002 /*
2003  * Class: parma_polyhedra_library_Termination
2004  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2
2005  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
2006  */
2008  (JNIEnv *, jclass, jobject, jobject, jobject);
2009 
2010 /*
2011  * Class: parma_polyhedra_library_Termination
2012  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2
2013  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;)V
2014  */
2016  (JNIEnv *, jclass, jobject, jobject, jobject);
2017 
2018 /*
2019  * Class: parma_polyhedra_library_Termination
2020  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2
2021  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Octagonal_Shape_int16_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2022  */
2024  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2025 
2026 /*
2027  * Class: parma_polyhedra_library_Termination
2028  * Method: termination_test_MS_Octagonal_Shape_int32_t
2029  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;)Z
2030  */
2032  (JNIEnv *, jclass, jobject);
2033 
2034 /*
2035  * Class: parma_polyhedra_library_Termination
2036  * Method: termination_test_PR_Octagonal_Shape_int32_t
2037  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;)Z
2038  */
2040  (JNIEnv *, jclass, jobject);
2041 
2042 /*
2043  * Class: parma_polyhedra_library_Termination
2044  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int32_t
2045  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
2046  */
2048  (JNIEnv *, jclass, jobject, jobject);
2049 
2050 /*
2051  * Class: parma_polyhedra_library_Termination
2052  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int32_t
2053  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
2054  */
2056  (JNIEnv *, jclass, jobject, jobject);
2057 
2058 /*
2059  * Class: parma_polyhedra_library_Termination
2060  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int32_t
2061  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
2062  */
2064  (JNIEnv *, jclass, jobject, jobject);
2065 
2066 /*
2067  * Class: parma_polyhedra_library_Termination
2068  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int32_t
2069  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
2070  */
2072  (JNIEnv *, jclass, jobject, jobject);
2073 
2074 /*
2075  * Class: parma_polyhedra_library_Termination
2076  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t
2077  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2078  */
2080  (JNIEnv *, jclass, jobject, jobject, jobject);
2081 
2082 /*
2083  * Class: parma_polyhedra_library_Termination
2084  * Method: termination_test_MS_Octagonal_Shape_int32_t_2
2085  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;)Z
2086  */
2088  (JNIEnv *, jclass, jobject, jobject);
2089 
2090 /*
2091  * Class: parma_polyhedra_library_Termination
2092  * Method: termination_test_PR_Octagonal_Shape_int32_t_2
2093  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;)Z
2094  */
2096  (JNIEnv *, jclass, jobject, jobject);
2097 
2098 /*
2099  * Class: parma_polyhedra_library_Termination
2100  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2
2101  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
2102  */
2104  (JNIEnv *, jclass, jobject, jobject, jobject);
2105 
2106 /*
2107  * Class: parma_polyhedra_library_Termination
2108  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2
2109  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Generator;)Z
2110  */
2112  (JNIEnv *, jclass, jobject, jobject, jobject);
2113 
2114 /*
2115  * Class: parma_polyhedra_library_Termination
2116  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2
2117  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
2118  */
2120  (JNIEnv *, jclass, jobject, jobject, jobject);
2121 
2122 /*
2123  * Class: parma_polyhedra_library_Termination
2124  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2
2125  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;)V
2126  */
2128  (JNIEnv *, jclass, jobject, jobject, jobject);
2129 
2130 /*
2131  * Class: parma_polyhedra_library_Termination
2132  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2
2133  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Octagonal_Shape_int32_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2134  */
2136  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2137 
2138 /*
2139  * Class: parma_polyhedra_library_Termination
2140  * Method: termination_test_MS_Octagonal_Shape_int64_t
2141  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;)Z
2142  */
2144  (JNIEnv *, jclass, jobject);
2145 
2146 /*
2147  * Class: parma_polyhedra_library_Termination
2148  * Method: termination_test_PR_Octagonal_Shape_int64_t
2149  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;)Z
2150  */
2152  (JNIEnv *, jclass, jobject);
2153 
2154 /*
2155  * Class: parma_polyhedra_library_Termination
2156  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int64_t
2157  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
2158  */
2160  (JNIEnv *, jclass, jobject, jobject);
2161 
2162 /*
2163  * Class: parma_polyhedra_library_Termination
2164  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int64_t
2165  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
2166  */
2168  (JNIEnv *, jclass, jobject, jobject);
2169 
2170 /*
2171  * Class: parma_polyhedra_library_Termination
2172  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int64_t
2173  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
2174  */
2176  (JNIEnv *, jclass, jobject, jobject);
2177 
2178 /*
2179  * Class: parma_polyhedra_library_Termination
2180  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int64_t
2181  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
2182  */
2184  (JNIEnv *, jclass, jobject, jobject);
2185 
2186 /*
2187  * Class: parma_polyhedra_library_Termination
2188  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t
2189  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2190  */
2192  (JNIEnv *, jclass, jobject, jobject, jobject);
2193 
2194 /*
2195  * Class: parma_polyhedra_library_Termination
2196  * Method: termination_test_MS_Octagonal_Shape_int64_t_2
2197  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;)Z
2198  */
2200  (JNIEnv *, jclass, jobject, jobject);
2201 
2202 /*
2203  * Class: parma_polyhedra_library_Termination
2204  * Method: termination_test_PR_Octagonal_Shape_int64_t_2
2205  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;)Z
2206  */
2208  (JNIEnv *, jclass, jobject, jobject);
2209 
2210 /*
2211  * Class: parma_polyhedra_library_Termination
2212  * Method: one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2
2213  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
2214  */
2216  (JNIEnv *, jclass, jobject, jobject, jobject);
2217 
2218 /*
2219  * Class: parma_polyhedra_library_Termination
2220  * Method: one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2
2221  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Generator;)Z
2222  */
2224  (JNIEnv *, jclass, jobject, jobject, jobject);
2225 
2226 /*
2227  * Class: parma_polyhedra_library_Termination
2228  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2
2229  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
2230  */
2232  (JNIEnv *, jclass, jobject, jobject, jobject);
2233 
2234 /*
2235  * Class: parma_polyhedra_library_Termination
2236  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2
2237  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;)V
2238  */
2240  (JNIEnv *, jclass, jobject, jobject, jobject);
2241 
2242 /*
2243  * Class: parma_polyhedra_library_Termination
2244  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2
2245  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Octagonal_Shape_int64_t;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2246  */
2248  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2249 
2250 /*
2251  * Class: parma_polyhedra_library_Termination
2252  * Method: termination_test_MS_Octagonal_Shape_mpz_class
2253  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;)Z
2254  */
2256  (JNIEnv *, jclass, jobject);
2257 
2258 /*
2259  * Class: parma_polyhedra_library_Termination
2260  * Method: termination_test_PR_Octagonal_Shape_mpz_class
2261  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;)Z
2262  */
2264  (JNIEnv *, jclass, jobject);
2265 
2266 /*
2267  * Class: parma_polyhedra_library_Termination
2268  * Method: one_affine_ranking_function_MS_Octagonal_Shape_mpz_class
2269  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
2270  */
2272  (JNIEnv *, jclass, jobject, jobject);
2273 
2274 /*
2275  * Class: parma_polyhedra_library_Termination
2276  * Method: one_affine_ranking_function_PR_Octagonal_Shape_mpz_class
2277  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
2278  */
2280  (JNIEnv *, jclass, jobject, jobject);
2281 
2282 /*
2283  * Class: parma_polyhedra_library_Termination
2284  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class
2285  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
2286  */
2288  (JNIEnv *, jclass, jobject, jobject);
2289 
2290 /*
2291  * Class: parma_polyhedra_library_Termination
2292  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class
2293  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
2294  */
2296  (JNIEnv *, jclass, jobject, jobject);
2297 
2298 /*
2299  * Class: parma_polyhedra_library_Termination
2300  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class
2301  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2302  */
2304  (JNIEnv *, jclass, jobject, jobject, jobject);
2305 
2306 /*
2307  * Class: parma_polyhedra_library_Termination
2308  * Method: termination_test_MS_Octagonal_Shape_mpz_class_2
2309  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;)Z
2310  */
2312  (JNIEnv *, jclass, jobject, jobject);
2313 
2314 /*
2315  * Class: parma_polyhedra_library_Termination
2316  * Method: termination_test_PR_Octagonal_Shape_mpz_class_2
2317  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;)Z
2318  */
2320  (JNIEnv *, jclass, jobject, jobject);
2321 
2322 /*
2323  * Class: parma_polyhedra_library_Termination
2324  * Method: one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2
2325  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
2326  */
2328  (JNIEnv *, jclass, jobject, jobject, jobject);
2329 
2330 /*
2331  * Class: parma_polyhedra_library_Termination
2332  * Method: one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2
2333  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Generator;)Z
2334  */
2336  (JNIEnv *, jclass, jobject, jobject, jobject);
2337 
2338 /*
2339  * Class: parma_polyhedra_library_Termination
2340  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2
2341  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
2342  */
2344  (JNIEnv *, jclass, jobject, jobject, jobject);
2345 
2346 /*
2347  * Class: parma_polyhedra_library_Termination
2348  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2
2349  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;)V
2350  */
2352  (JNIEnv *, jclass, jobject, jobject, jobject);
2353 
2354 /*
2355  * Class: parma_polyhedra_library_Termination
2356  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2
2357  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Octagonal_Shape_mpz_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2358  */
2360  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2361 
2362 /*
2363  * Class: parma_polyhedra_library_Termination
2364  * Method: termination_test_MS_Octagonal_Shape_mpq_class
2365  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;)Z
2366  */
2368  (JNIEnv *, jclass, jobject);
2369 
2370 /*
2371  * Class: parma_polyhedra_library_Termination
2372  * Method: termination_test_PR_Octagonal_Shape_mpq_class
2373  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;)Z
2374  */
2376  (JNIEnv *, jclass, jobject);
2377 
2378 /*
2379  * Class: parma_polyhedra_library_Termination
2380  * Method: one_affine_ranking_function_MS_Octagonal_Shape_mpq_class
2381  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
2382  */
2384  (JNIEnv *, jclass, jobject, jobject);
2385 
2386 /*
2387  * Class: parma_polyhedra_library_Termination
2388  * Method: one_affine_ranking_function_PR_Octagonal_Shape_mpq_class
2389  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
2390  */
2392  (JNIEnv *, jclass, jobject, jobject);
2393 
2394 /*
2395  * Class: parma_polyhedra_library_Termination
2396  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class
2397  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
2398  */
2400  (JNIEnv *, jclass, jobject, jobject);
2401 
2402 /*
2403  * Class: parma_polyhedra_library_Termination
2404  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class
2405  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
2406  */
2408  (JNIEnv *, jclass, jobject, jobject);
2409 
2410 /*
2411  * Class: parma_polyhedra_library_Termination
2412  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class
2413  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2414  */
2416  (JNIEnv *, jclass, jobject, jobject, jobject);
2417 
2418 /*
2419  * Class: parma_polyhedra_library_Termination
2420  * Method: termination_test_MS_Octagonal_Shape_mpq_class_2
2421  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;)Z
2422  */
2424  (JNIEnv *, jclass, jobject, jobject);
2425 
2426 /*
2427  * Class: parma_polyhedra_library_Termination
2428  * Method: termination_test_PR_Octagonal_Shape_mpq_class_2
2429  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;)Z
2430  */
2432  (JNIEnv *, jclass, jobject, jobject);
2433 
2434 /*
2435  * Class: parma_polyhedra_library_Termination
2436  * Method: one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2
2437  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
2438  */
2440  (JNIEnv *, jclass, jobject, jobject, jobject);
2441 
2442 /*
2443  * Class: parma_polyhedra_library_Termination
2444  * Method: one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2
2445  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Generator;)Z
2446  */
2448  (JNIEnv *, jclass, jobject, jobject, jobject);
2449 
2450 /*
2451  * Class: parma_polyhedra_library_Termination
2452  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2
2453  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
2454  */
2456  (JNIEnv *, jclass, jobject, jobject, jobject);
2457 
2458 /*
2459  * Class: parma_polyhedra_library_Termination
2460  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2
2461  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;)V
2462  */
2464  (JNIEnv *, jclass, jobject, jobject, jobject);
2465 
2466 /*
2467  * Class: parma_polyhedra_library_Termination
2468  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2
2469  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Octagonal_Shape_mpq_class;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2470  */
2472  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2473 
2474 /*
2475  * Class: parma_polyhedra_library_Termination
2476  * Method: termination_test_MS_C_Polyhedron
2477  * Signature: (Lparma_polyhedra_library/C_Polyhedron;)Z
2478  */
2480  (JNIEnv *, jclass, jobject);
2481 
2482 /*
2483  * Class: parma_polyhedra_library_Termination
2484  * Method: termination_test_PR_C_Polyhedron
2485  * Signature: (Lparma_polyhedra_library/C_Polyhedron;)Z
2486  */
2488  (JNIEnv *, jclass, jobject);
2489 
2490 /*
2491  * Class: parma_polyhedra_library_Termination
2492  * Method: termination_test_MS_NNC_Polyhedron
2493  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;)Z
2494  */
2496  (JNIEnv *, jclass, jobject);
2497 
2498 /*
2499  * Class: parma_polyhedra_library_Termination
2500  * Method: termination_test_PR_NNC_Polyhedron
2501  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;)Z
2502  */
2504  (JNIEnv *, jclass, jobject);
2505 
2506 /*
2507  * Class: parma_polyhedra_library_Termination
2508  * Method: one_affine_ranking_function_MS_C_Polyhedron
2509  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2510  */
2512  (JNIEnv *, jclass, jobject, jobject);
2513 
2514 /*
2515  * Class: parma_polyhedra_library_Termination
2516  * Method: one_affine_ranking_function_PR_C_Polyhedron
2517  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2518  */
2520  (JNIEnv *, jclass, jobject, jobject);
2521 
2522 /*
2523  * Class: parma_polyhedra_library_Termination
2524  * Method: one_affine_ranking_function_MS_NNC_Polyhedron
2525  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2526  */
2528  (JNIEnv *, jclass, jobject, jobject);
2529 
2530 /*
2531  * Class: parma_polyhedra_library_Termination
2532  * Method: one_affine_ranking_function_PR_NNC_Polyhedron
2533  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2534  */
2536  (JNIEnv *, jclass, jobject, jobject);
2537 
2538 /*
2539  * Class: parma_polyhedra_library_Termination
2540  * Method: all_affine_ranking_functions_MS_C_Polyhedron
2541  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2542  */
2544  (JNIEnv *, jclass, jobject, jobject);
2545 
2546 /*
2547  * Class: parma_polyhedra_library_Termination
2548  * Method: all_affine_ranking_functions_PR_C_Polyhedron
2549  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2550  */
2552  (JNIEnv *, jclass, jobject, jobject);
2553 
2554 /*
2555  * Class: parma_polyhedra_library_Termination
2556  * Method: all_affine_ranking_functions_MS_NNC_Polyhedron
2557  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2558  */
2560  (JNIEnv *, jclass, jobject, jobject);
2561 
2562 /*
2563  * Class: parma_polyhedra_library_Termination
2564  * Method: all_affine_ranking_functions_PR_NNC_Polyhedron
2565  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2566  */
2568  (JNIEnv *, jclass, jobject, jobject);
2569 
2570 /*
2571  * Class: parma_polyhedra_library_Termination
2572  * Method: all_affine_quasi_ranking_functions_MS_C_Polyhedron
2573  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2574  */
2576  (JNIEnv *, jclass, jobject, jobject, jobject);
2577 
2578 /*
2579  * Class: parma_polyhedra_library_Termination
2580  * Method: all_affine_quasi_ranking_functions_MS_NNC_Polyhedron
2581  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2582  */
2584  (JNIEnv *, jclass, jobject, jobject, jobject);
2585 
2586 /*
2587  * Class: parma_polyhedra_library_Termination
2588  * Method: termination_test_MS_C_Polyhedron_2
2589  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;)Z
2590  */
2592  (JNIEnv *, jclass, jobject, jobject);
2593 
2594 /*
2595  * Class: parma_polyhedra_library_Termination
2596  * Method: termination_test_PR_C_Polyhedron_2
2597  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;)Z
2598  */
2600  (JNIEnv *, jclass, jobject, jobject);
2601 
2602 /*
2603  * Class: parma_polyhedra_library_Termination
2604  * Method: termination_test_MS_NNC_Polyhedron_2
2605  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;)Z
2606  */
2608  (JNIEnv *, jclass, jobject, jobject);
2609 
2610 /*
2611  * Class: parma_polyhedra_library_Termination
2612  * Method: termination_test_PR_NNC_Polyhedron_2
2613  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;)Z
2614  */
2616  (JNIEnv *, jclass, jobject, jobject);
2617 
2618 /*
2619  * Class: parma_polyhedra_library_Termination
2620  * Method: one_affine_ranking_function_MS_C_Polyhedron_2
2621  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2622  */
2624  (JNIEnv *, jclass, jobject, jobject, jobject);
2625 
2626 /*
2627  * Class: parma_polyhedra_library_Termination
2628  * Method: one_affine_ranking_function_PR_C_Polyhedron_2
2629  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2630  */
2632  (JNIEnv *, jclass, jobject, jobject, jobject);
2633 
2634 /*
2635  * Class: parma_polyhedra_library_Termination
2636  * Method: one_affine_ranking_function_MS_NNC_Polyhedron_2
2637  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2638  */
2640  (JNIEnv *, jclass, jobject, jobject, jobject);
2641 
2642 /*
2643  * Class: parma_polyhedra_library_Termination
2644  * Method: one_affine_ranking_function_PR_NNC_Polyhedron_2
2645  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Generator;)Z
2646  */
2648  (JNIEnv *, jclass, jobject, jobject, jobject);
2649 
2650 /*
2651  * Class: parma_polyhedra_library_Termination
2652  * Method: all_affine_ranking_functions_MS_C_Polyhedron_2
2653  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2654  */
2656  (JNIEnv *, jclass, jobject, jobject, jobject);
2657 
2658 /*
2659  * Class: parma_polyhedra_library_Termination
2660  * Method: all_affine_ranking_functions_PR_C_Polyhedron_2
2661  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2662  */
2664  (JNIEnv *, jclass, jobject, jobject, jobject);
2665 
2666 /*
2667  * Class: parma_polyhedra_library_Termination
2668  * Method: all_affine_ranking_functions_MS_NNC_Polyhedron_2
2669  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2670  */
2672  (JNIEnv *, jclass, jobject, jobject, jobject);
2673 
2674 /*
2675  * Class: parma_polyhedra_library_Termination
2676  * Method: all_affine_ranking_functions_PR_NNC_Polyhedron_2
2677  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2678  */
2680  (JNIEnv *, jclass, jobject, jobject, jobject);
2681 
2682 /*
2683  * Class: parma_polyhedra_library_Termination
2684  * Method: all_affine_quasi_ranking_functions_MS_C_Polyhedron_2
2685  * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2686  */
2688  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2689 
2690 /*
2691  * Class: parma_polyhedra_library_Termination
2692  * Method: all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2
2693  * Signature: (Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/NNC_Polyhedron;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2694  */
2696  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2697 
2698 /*
2699  * Class: parma_polyhedra_library_Termination
2700  * Method: termination_test_MS_Grid
2701  * Signature: (Lparma_polyhedra_library/Grid;)Z
2702  */
2704  (JNIEnv *, jclass, jobject);
2705 
2706 /*
2707  * Class: parma_polyhedra_library_Termination
2708  * Method: termination_test_PR_Grid
2709  * Signature: (Lparma_polyhedra_library/Grid;)Z
2710  */
2712  (JNIEnv *, jclass, jobject);
2713 
2714 /*
2715  * Class: parma_polyhedra_library_Termination
2716  * Method: one_affine_ranking_function_MS_Grid
2717  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Generator;)Z
2718  */
2720  (JNIEnv *, jclass, jobject, jobject);
2721 
2722 /*
2723  * Class: parma_polyhedra_library_Termination
2724  * Method: one_affine_ranking_function_PR_Grid
2725  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Generator;)Z
2726  */
2728  (JNIEnv *, jclass, jobject, jobject);
2729 
2730 /*
2731  * Class: parma_polyhedra_library_Termination
2732  * Method: all_affine_ranking_functions_MS_Grid
2733  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;)V
2734  */
2736  (JNIEnv *, jclass, jobject, jobject);
2737 
2738 /*
2739  * Class: parma_polyhedra_library_Termination
2740  * Method: all_affine_ranking_functions_PR_Grid
2741  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;)V
2742  */
2744  (JNIEnv *, jclass, jobject, jobject);
2745 
2746 /*
2747  * Class: parma_polyhedra_library_Termination
2748  * Method: all_affine_quasi_ranking_functions_MS_Grid
2749  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2750  */
2752  (JNIEnv *, jclass, jobject, jobject, jobject);
2753 
2754 /*
2755  * Class: parma_polyhedra_library_Termination
2756  * Method: termination_test_MS_Grid_2
2757  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;)Z
2758  */
2760  (JNIEnv *, jclass, jobject, jobject);
2761 
2762 /*
2763  * Class: parma_polyhedra_library_Termination
2764  * Method: termination_test_PR_Grid_2
2765  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;)Z
2766  */
2768  (JNIEnv *, jclass, jobject, jobject);
2769 
2770 /*
2771  * Class: parma_polyhedra_library_Termination
2772  * Method: one_affine_ranking_function_MS_Grid_2
2773  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Generator;)Z
2774  */
2776  (JNIEnv *, jclass, jobject, jobject, jobject);
2777 
2778 /*
2779  * Class: parma_polyhedra_library_Termination
2780  * Method: one_affine_ranking_function_PR_Grid_2
2781  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Generator;)Z
2782  */
2784  (JNIEnv *, jclass, jobject, jobject, jobject);
2785 
2786 /*
2787  * Class: parma_polyhedra_library_Termination
2788  * Method: all_affine_ranking_functions_MS_Grid_2
2789  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;)V
2790  */
2792  (JNIEnv *, jclass, jobject, jobject, jobject);
2793 
2794 /*
2795  * Class: parma_polyhedra_library_Termination
2796  * Method: all_affine_ranking_functions_PR_Grid_2
2797  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;)V
2798  */
2800  (JNIEnv *, jclass, jobject, jobject, jobject);
2801 
2802 /*
2803  * Class: parma_polyhedra_library_Termination
2804  * Method: all_affine_quasi_ranking_functions_MS_Grid_2
2805  * Signature: (Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Grid;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2806  */
2808  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2809 
2810 /*
2811  * Class: parma_polyhedra_library_Termination
2812  * Method: termination_test_MS_Float_Box
2813  * Signature: (Lparma_polyhedra_library/Float_Box;)Z
2814  */
2816  (JNIEnv *, jclass, jobject);
2817 
2818 /*
2819  * Class: parma_polyhedra_library_Termination
2820  * Method: termination_test_PR_Float_Box
2821  * Signature: (Lparma_polyhedra_library/Float_Box;)Z
2822  */
2824  (JNIEnv *, jclass, jobject);
2825 
2826 /*
2827  * Class: parma_polyhedra_library_Termination
2828  * Method: one_affine_ranking_function_MS_Float_Box
2829  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Generator;)Z
2830  */
2832  (JNIEnv *, jclass, jobject, jobject);
2833 
2834 /*
2835  * Class: parma_polyhedra_library_Termination
2836  * Method: one_affine_ranking_function_PR_Float_Box
2837  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Generator;)Z
2838  */
2840  (JNIEnv *, jclass, jobject, jobject);
2841 
2842 /*
2843  * Class: parma_polyhedra_library_Termination
2844  * Method: all_affine_ranking_functions_MS_Float_Box
2845  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;)V
2846  */
2848  (JNIEnv *, jclass, jobject, jobject);
2849 
2850 /*
2851  * Class: parma_polyhedra_library_Termination
2852  * Method: all_affine_ranking_functions_PR_Float_Box
2853  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;)V
2854  */
2856  (JNIEnv *, jclass, jobject, jobject);
2857 
2858 /*
2859  * Class: parma_polyhedra_library_Termination
2860  * Method: all_affine_quasi_ranking_functions_MS_Float_Box
2861  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2862  */
2864  (JNIEnv *, jclass, jobject, jobject, jobject);
2865 
2866 /*
2867  * Class: parma_polyhedra_library_Termination
2868  * Method: termination_test_MS_Float_Box_2
2869  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;)Z
2870  */
2872  (JNIEnv *, jclass, jobject, jobject);
2873 
2874 /*
2875  * Class: parma_polyhedra_library_Termination
2876  * Method: termination_test_PR_Float_Box_2
2877  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;)Z
2878  */
2880  (JNIEnv *, jclass, jobject, jobject);
2881 
2882 /*
2883  * Class: parma_polyhedra_library_Termination
2884  * Method: one_affine_ranking_function_MS_Float_Box_2
2885  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Generator;)Z
2886  */
2888  (JNIEnv *, jclass, jobject, jobject, jobject);
2889 
2890 /*
2891  * Class: parma_polyhedra_library_Termination
2892  * Method: one_affine_ranking_function_PR_Float_Box_2
2893  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Generator;)Z
2894  */
2896  (JNIEnv *, jclass, jobject, jobject, jobject);
2897 
2898 /*
2899  * Class: parma_polyhedra_library_Termination
2900  * Method: all_affine_ranking_functions_MS_Float_Box_2
2901  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;)V
2902  */
2904  (JNIEnv *, jclass, jobject, jobject, jobject);
2905 
2906 /*
2907  * Class: parma_polyhedra_library_Termination
2908  * Method: all_affine_ranking_functions_PR_Float_Box_2
2909  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;)V
2910  */
2912  (JNIEnv *, jclass, jobject, jobject, jobject);
2913 
2914 /*
2915  * Class: parma_polyhedra_library_Termination
2916  * Method: all_affine_quasi_ranking_functions_MS_Float_Box_2
2917  * Signature: (Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Float_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2918  */
2920  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
2921 
2922 /*
2923  * Class: parma_polyhedra_library_Termination
2924  * Method: termination_test_MS_BD_Shape_float
2925  * Signature: (Lparma_polyhedra_library/BD_Shape_float;)Z
2926  */
2928  (JNIEnv *, jclass, jobject);
2929 
2930 /*
2931  * Class: parma_polyhedra_library_Termination
2932  * Method: termination_test_PR_BD_Shape_float
2933  * Signature: (Lparma_polyhedra_library/BD_Shape_float;)Z
2934  */
2936  (JNIEnv *, jclass, jobject);
2937 
2938 /*
2939  * Class: parma_polyhedra_library_Termination
2940  * Method: one_affine_ranking_function_MS_BD_Shape_float
2941  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Generator;)Z
2942  */
2944  (JNIEnv *, jclass, jobject, jobject);
2945 
2946 /*
2947  * Class: parma_polyhedra_library_Termination
2948  * Method: one_affine_ranking_function_PR_BD_Shape_float
2949  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Generator;)Z
2950  */
2952  (JNIEnv *, jclass, jobject, jobject);
2953 
2954 /*
2955  * Class: parma_polyhedra_library_Termination
2956  * Method: all_affine_ranking_functions_MS_BD_Shape_float
2957  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
2958  */
2960  (JNIEnv *, jclass, jobject, jobject);
2961 
2962 /*
2963  * Class: parma_polyhedra_library_Termination
2964  * Method: all_affine_ranking_functions_PR_BD_Shape_float
2965  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
2966  */
2968  (JNIEnv *, jclass, jobject, jobject);
2969 
2970 /*
2971  * Class: parma_polyhedra_library_Termination
2972  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_float
2973  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
2974  */
2976  (JNIEnv *, jclass, jobject, jobject, jobject);
2977 
2978 /*
2979  * Class: parma_polyhedra_library_Termination
2980  * Method: termination_test_MS_BD_Shape_float_2
2981  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;)Z
2982  */
2984  (JNIEnv *, jclass, jobject, jobject);
2985 
2986 /*
2987  * Class: parma_polyhedra_library_Termination
2988  * Method: termination_test_PR_BD_Shape_float_2
2989  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;)Z
2990  */
2992  (JNIEnv *, jclass, jobject, jobject);
2993 
2994 /*
2995  * Class: parma_polyhedra_library_Termination
2996  * Method: one_affine_ranking_function_MS_BD_Shape_float_2
2997  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Generator;)Z
2998  */
3000  (JNIEnv *, jclass, jobject, jobject, jobject);
3001 
3002 /*
3003  * Class: parma_polyhedra_library_Termination
3004  * Method: one_affine_ranking_function_PR_BD_Shape_float_2
3005  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Generator;)Z
3006  */
3008  (JNIEnv *, jclass, jobject, jobject, jobject);
3009 
3010 /*
3011  * Class: parma_polyhedra_library_Termination
3012  * Method: all_affine_ranking_functions_MS_BD_Shape_float_2
3013  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3014  */
3016  (JNIEnv *, jclass, jobject, jobject, jobject);
3017 
3018 /*
3019  * Class: parma_polyhedra_library_Termination
3020  * Method: all_affine_ranking_functions_PR_BD_Shape_float_2
3021  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3022  */
3024  (JNIEnv *, jclass, jobject, jobject, jobject);
3025 
3026 /*
3027  * Class: parma_polyhedra_library_Termination
3028  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_float_2
3029  * Signature: (Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/BD_Shape_float;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3030  */
3032  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3033 
3034 /*
3035  * Class: parma_polyhedra_library_Termination
3036  * Method: termination_test_MS_Octagonal_Shape_float
3037  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;)Z
3038  */
3040  (JNIEnv *, jclass, jobject);
3041 
3042 /*
3043  * Class: parma_polyhedra_library_Termination
3044  * Method: termination_test_PR_Octagonal_Shape_float
3045  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;)Z
3046  */
3048  (JNIEnv *, jclass, jobject);
3049 
3050 /*
3051  * Class: parma_polyhedra_library_Termination
3052  * Method: one_affine_ranking_function_MS_Octagonal_Shape_float
3053  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Generator;)Z
3054  */
3056  (JNIEnv *, jclass, jobject, jobject);
3057 
3058 /*
3059  * Class: parma_polyhedra_library_Termination
3060  * Method: one_affine_ranking_function_PR_Octagonal_Shape_float
3061  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Generator;)Z
3062  */
3064  (JNIEnv *, jclass, jobject, jobject);
3065 
3066 /*
3067  * Class: parma_polyhedra_library_Termination
3068  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_float
3069  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3070  */
3072  (JNIEnv *, jclass, jobject, jobject);
3073 
3074 /*
3075  * Class: parma_polyhedra_library_Termination
3076  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_float
3077  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3078  */
3080  (JNIEnv *, jclass, jobject, jobject);
3081 
3082 /*
3083  * Class: parma_polyhedra_library_Termination
3084  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float
3085  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3086  */
3088  (JNIEnv *, jclass, jobject, jobject, jobject);
3089 
3090 /*
3091  * Class: parma_polyhedra_library_Termination
3092  * Method: termination_test_MS_Octagonal_Shape_float_2
3093  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;)Z
3094  */
3096  (JNIEnv *, jclass, jobject, jobject);
3097 
3098 /*
3099  * Class: parma_polyhedra_library_Termination
3100  * Method: termination_test_PR_Octagonal_Shape_float_2
3101  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;)Z
3102  */
3104  (JNIEnv *, jclass, jobject, jobject);
3105 
3106 /*
3107  * Class: parma_polyhedra_library_Termination
3108  * Method: one_affine_ranking_function_MS_Octagonal_Shape_float_2
3109  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Generator;)Z
3110  */
3112  (JNIEnv *, jclass, jobject, jobject, jobject);
3113 
3114 /*
3115  * Class: parma_polyhedra_library_Termination
3116  * Method: one_affine_ranking_function_PR_Octagonal_Shape_float_2
3117  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Generator;)Z
3118  */
3120  (JNIEnv *, jclass, jobject, jobject, jobject);
3121 
3122 /*
3123  * Class: parma_polyhedra_library_Termination
3124  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_float_2
3125  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3126  */
3128  (JNIEnv *, jclass, jobject, jobject, jobject);
3129 
3130 /*
3131  * Class: parma_polyhedra_library_Termination
3132  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_float_2
3133  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;)V
3134  */
3136  (JNIEnv *, jclass, jobject, jobject, jobject);
3137 
3138 /*
3139  * Class: parma_polyhedra_library_Termination
3140  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2
3141  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Octagonal_Shape_float;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3142  */
3144  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3145 
3146 /*
3147  * Class: parma_polyhedra_library_Termination
3148  * Method: termination_test_MS_Double_Box
3149  * Signature: (Lparma_polyhedra_library/Double_Box;)Z
3150  */
3152  (JNIEnv *, jclass, jobject);
3153 
3154 /*
3155  * Class: parma_polyhedra_library_Termination
3156  * Method: termination_test_PR_Double_Box
3157  * Signature: (Lparma_polyhedra_library/Double_Box;)Z
3158  */
3160  (JNIEnv *, jclass, jobject);
3161 
3162 /*
3163  * Class: parma_polyhedra_library_Termination
3164  * Method: one_affine_ranking_function_MS_Double_Box
3165  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Generator;)Z
3166  */
3168  (JNIEnv *, jclass, jobject, jobject);
3169 
3170 /*
3171  * Class: parma_polyhedra_library_Termination
3172  * Method: one_affine_ranking_function_PR_Double_Box
3173  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Generator;)Z
3174  */
3176  (JNIEnv *, jclass, jobject, jobject);
3177 
3178 /*
3179  * Class: parma_polyhedra_library_Termination
3180  * Method: all_affine_ranking_functions_MS_Double_Box
3181  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3182  */
3184  (JNIEnv *, jclass, jobject, jobject);
3185 
3186 /*
3187  * Class: parma_polyhedra_library_Termination
3188  * Method: all_affine_ranking_functions_PR_Double_Box
3189  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3190  */
3192  (JNIEnv *, jclass, jobject, jobject);
3193 
3194 /*
3195  * Class: parma_polyhedra_library_Termination
3196  * Method: all_affine_quasi_ranking_functions_MS_Double_Box
3197  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3198  */
3200  (JNIEnv *, jclass, jobject, jobject, jobject);
3201 
3202 /*
3203  * Class: parma_polyhedra_library_Termination
3204  * Method: termination_test_MS_Double_Box_2
3205  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;)Z
3206  */
3208  (JNIEnv *, jclass, jobject, jobject);
3209 
3210 /*
3211  * Class: parma_polyhedra_library_Termination
3212  * Method: termination_test_PR_Double_Box_2
3213  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;)Z
3214  */
3216  (JNIEnv *, jclass, jobject, jobject);
3217 
3218 /*
3219  * Class: parma_polyhedra_library_Termination
3220  * Method: one_affine_ranking_function_MS_Double_Box_2
3221  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Generator;)Z
3222  */
3224  (JNIEnv *, jclass, jobject, jobject, jobject);
3225 
3226 /*
3227  * Class: parma_polyhedra_library_Termination
3228  * Method: one_affine_ranking_function_PR_Double_Box_2
3229  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Generator;)Z
3230  */
3232  (JNIEnv *, jclass, jobject, jobject, jobject);
3233 
3234 /*
3235  * Class: parma_polyhedra_library_Termination
3236  * Method: all_affine_ranking_functions_MS_Double_Box_2
3237  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3238  */
3240  (JNIEnv *, jclass, jobject, jobject, jobject);
3241 
3242 /*
3243  * Class: parma_polyhedra_library_Termination
3244  * Method: all_affine_ranking_functions_PR_Double_Box_2
3245  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3246  */
3248  (JNIEnv *, jclass, jobject, jobject, jobject);
3249 
3250 /*
3251  * Class: parma_polyhedra_library_Termination
3252  * Method: all_affine_quasi_ranking_functions_MS_Double_Box_2
3253  * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3254  */
3256  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3257 
3258 /*
3259  * Class: parma_polyhedra_library_Termination
3260  * Method: termination_test_MS_BD_Shape_double
3261  * Signature: (Lparma_polyhedra_library/BD_Shape_double;)Z
3262  */
3264  (JNIEnv *, jclass, jobject);
3265 
3266 /*
3267  * Class: parma_polyhedra_library_Termination
3268  * Method: termination_test_PR_BD_Shape_double
3269  * Signature: (Lparma_polyhedra_library/BD_Shape_double;)Z
3270  */
3272  (JNIEnv *, jclass, jobject);
3273 
3274 /*
3275  * Class: parma_polyhedra_library_Termination
3276  * Method: one_affine_ranking_function_MS_BD_Shape_double
3277  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Generator;)Z
3278  */
3280  (JNIEnv *, jclass, jobject, jobject);
3281 
3282 /*
3283  * Class: parma_polyhedra_library_Termination
3284  * Method: one_affine_ranking_function_PR_BD_Shape_double
3285  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Generator;)Z
3286  */
3288  (JNIEnv *, jclass, jobject, jobject);
3289 
3290 /*
3291  * Class: parma_polyhedra_library_Termination
3292  * Method: all_affine_ranking_functions_MS_BD_Shape_double
3293  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3294  */
3296  (JNIEnv *, jclass, jobject, jobject);
3297 
3298 /*
3299  * Class: parma_polyhedra_library_Termination
3300  * Method: all_affine_ranking_functions_PR_BD_Shape_double
3301  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3302  */
3304  (JNIEnv *, jclass, jobject, jobject);
3305 
3306 /*
3307  * Class: parma_polyhedra_library_Termination
3308  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_double
3309  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3310  */
3312  (JNIEnv *, jclass, jobject, jobject, jobject);
3313 
3314 /*
3315  * Class: parma_polyhedra_library_Termination
3316  * Method: termination_test_MS_BD_Shape_double_2
3317  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;)Z
3318  */
3320  (JNIEnv *, jclass, jobject, jobject);
3321 
3322 /*
3323  * Class: parma_polyhedra_library_Termination
3324  * Method: termination_test_PR_BD_Shape_double_2
3325  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;)Z
3326  */
3328  (JNIEnv *, jclass, jobject, jobject);
3329 
3330 /*
3331  * Class: parma_polyhedra_library_Termination
3332  * Method: one_affine_ranking_function_MS_BD_Shape_double_2
3333  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Generator;)Z
3334  */
3336  (JNIEnv *, jclass, jobject, jobject, jobject);
3337 
3338 /*
3339  * Class: parma_polyhedra_library_Termination
3340  * Method: one_affine_ranking_function_PR_BD_Shape_double_2
3341  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Generator;)Z
3342  */
3344  (JNIEnv *, jclass, jobject, jobject, jobject);
3345 
3346 /*
3347  * Class: parma_polyhedra_library_Termination
3348  * Method: all_affine_ranking_functions_MS_BD_Shape_double_2
3349  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3350  */
3352  (JNIEnv *, jclass, jobject, jobject, jobject);
3353 
3354 /*
3355  * Class: parma_polyhedra_library_Termination
3356  * Method: all_affine_ranking_functions_PR_BD_Shape_double_2
3357  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3358  */
3360  (JNIEnv *, jclass, jobject, jobject, jobject);
3361 
3362 /*
3363  * Class: parma_polyhedra_library_Termination
3364  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_double_2
3365  * Signature: (Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/BD_Shape_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3366  */
3368  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3369 
3370 /*
3371  * Class: parma_polyhedra_library_Termination
3372  * Method: termination_test_MS_Octagonal_Shape_double
3373  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;)Z
3374  */
3376  (JNIEnv *, jclass, jobject);
3377 
3378 /*
3379  * Class: parma_polyhedra_library_Termination
3380  * Method: termination_test_PR_Octagonal_Shape_double
3381  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;)Z
3382  */
3384  (JNIEnv *, jclass, jobject);
3385 
3386 /*
3387  * Class: parma_polyhedra_library_Termination
3388  * Method: one_affine_ranking_function_MS_Octagonal_Shape_double
3389  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Generator;)Z
3390  */
3392  (JNIEnv *, jclass, jobject, jobject);
3393 
3394 /*
3395  * Class: parma_polyhedra_library_Termination
3396  * Method: one_affine_ranking_function_PR_Octagonal_Shape_double
3397  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Generator;)Z
3398  */
3400  (JNIEnv *, jclass, jobject, jobject);
3401 
3402 /*
3403  * Class: parma_polyhedra_library_Termination
3404  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_double
3405  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3406  */
3408  (JNIEnv *, jclass, jobject, jobject);
3409 
3410 /*
3411  * Class: parma_polyhedra_library_Termination
3412  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_double
3413  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3414  */
3416  (JNIEnv *, jclass, jobject, jobject);
3417 
3418 /*
3419  * Class: parma_polyhedra_library_Termination
3420  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double
3421  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3422  */
3424  (JNIEnv *, jclass, jobject, jobject, jobject);
3425 
3426 /*
3427  * Class: parma_polyhedra_library_Termination
3428  * Method: termination_test_MS_Octagonal_Shape_double_2
3429  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;)Z
3430  */
3432  (JNIEnv *, jclass, jobject, jobject);
3433 
3434 /*
3435  * Class: parma_polyhedra_library_Termination
3436  * Method: termination_test_PR_Octagonal_Shape_double_2
3437  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;)Z
3438  */
3440  (JNIEnv *, jclass, jobject, jobject);
3441 
3442 /*
3443  * Class: parma_polyhedra_library_Termination
3444  * Method: one_affine_ranking_function_MS_Octagonal_Shape_double_2
3445  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Generator;)Z
3446  */
3448  (JNIEnv *, jclass, jobject, jobject, jobject);
3449 
3450 /*
3451  * Class: parma_polyhedra_library_Termination
3452  * Method: one_affine_ranking_function_PR_Octagonal_Shape_double_2
3453  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Generator;)Z
3454  */
3456  (JNIEnv *, jclass, jobject, jobject, jobject);
3457 
3458 /*
3459  * Class: parma_polyhedra_library_Termination
3460  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_double_2
3461  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3462  */
3464  (JNIEnv *, jclass, jobject, jobject, jobject);
3465 
3466 /*
3467  * Class: parma_polyhedra_library_Termination
3468  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_double_2
3469  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;)V
3470  */
3472  (JNIEnv *, jclass, jobject, jobject, jobject);
3473 
3474 /*
3475  * Class: parma_polyhedra_library_Termination
3476  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2
3477  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Octagonal_Shape_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3478  */
3480  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3481 
3482 /*
3483  * Class: parma_polyhedra_library_Termination
3484  * Method: termination_test_MS_Long_Double_Box
3485  * Signature: (Lparma_polyhedra_library/Long_Double_Box;)Z
3486  */
3488  (JNIEnv *, jclass, jobject);
3489 
3490 /*
3491  * Class: parma_polyhedra_library_Termination
3492  * Method: termination_test_PR_Long_Double_Box
3493  * Signature: (Lparma_polyhedra_library/Long_Double_Box;)Z
3494  */
3496  (JNIEnv *, jclass, jobject);
3497 
3498 /*
3499  * Class: parma_polyhedra_library_Termination
3500  * Method: one_affine_ranking_function_MS_Long_Double_Box
3501  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Generator;)Z
3502  */
3504  (JNIEnv *, jclass, jobject, jobject);
3505 
3506 /*
3507  * Class: parma_polyhedra_library_Termination
3508  * Method: one_affine_ranking_function_PR_Long_Double_Box
3509  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Generator;)Z
3510  */
3512  (JNIEnv *, jclass, jobject, jobject);
3513 
3514 /*
3515  * Class: parma_polyhedra_library_Termination
3516  * Method: all_affine_ranking_functions_MS_Long_Double_Box
3517  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3518  */
3520  (JNIEnv *, jclass, jobject, jobject);
3521 
3522 /*
3523  * Class: parma_polyhedra_library_Termination
3524  * Method: all_affine_ranking_functions_PR_Long_Double_Box
3525  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3526  */
3528  (JNIEnv *, jclass, jobject, jobject);
3529 
3530 /*
3531  * Class: parma_polyhedra_library_Termination
3532  * Method: all_affine_quasi_ranking_functions_MS_Long_Double_Box
3533  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3534  */
3536  (JNIEnv *, jclass, jobject, jobject, jobject);
3537 
3538 /*
3539  * Class: parma_polyhedra_library_Termination
3540  * Method: termination_test_MS_Long_Double_Box_2
3541  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;)Z
3542  */
3544  (JNIEnv *, jclass, jobject, jobject);
3545 
3546 /*
3547  * Class: parma_polyhedra_library_Termination
3548  * Method: termination_test_PR_Long_Double_Box_2
3549  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;)Z
3550  */
3552  (JNIEnv *, jclass, jobject, jobject);
3553 
3554 /*
3555  * Class: parma_polyhedra_library_Termination
3556  * Method: one_affine_ranking_function_MS_Long_Double_Box_2
3557  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Generator;)Z
3558  */
3560  (JNIEnv *, jclass, jobject, jobject, jobject);
3561 
3562 /*
3563  * Class: parma_polyhedra_library_Termination
3564  * Method: one_affine_ranking_function_PR_Long_Double_Box_2
3565  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Generator;)Z
3566  */
3568  (JNIEnv *, jclass, jobject, jobject, jobject);
3569 
3570 /*
3571  * Class: parma_polyhedra_library_Termination
3572  * Method: all_affine_ranking_functions_MS_Long_Double_Box_2
3573  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3574  */
3576  (JNIEnv *, jclass, jobject, jobject, jobject);
3577 
3578 /*
3579  * Class: parma_polyhedra_library_Termination
3580  * Method: all_affine_ranking_functions_PR_Long_Double_Box_2
3581  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;)V
3582  */
3584  (JNIEnv *, jclass, jobject, jobject, jobject);
3585 
3586 /*
3587  * Class: parma_polyhedra_library_Termination
3588  * Method: all_affine_quasi_ranking_functions_MS_Long_Double_Box_2
3589  * Signature: (Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Long_Double_Box;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3590  */
3592  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3593 
3594 /*
3595  * Class: parma_polyhedra_library_Termination
3596  * Method: termination_test_MS_BD_Shape_long_double
3597  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;)Z
3598  */
3600  (JNIEnv *, jclass, jobject);
3601 
3602 /*
3603  * Class: parma_polyhedra_library_Termination
3604  * Method: termination_test_PR_BD_Shape_long_double
3605  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;)Z
3606  */
3608  (JNIEnv *, jclass, jobject);
3609 
3610 /*
3611  * Class: parma_polyhedra_library_Termination
3612  * Method: one_affine_ranking_function_MS_BD_Shape_long_double
3613  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3614  */
3616  (JNIEnv *, jclass, jobject, jobject);
3617 
3618 /*
3619  * Class: parma_polyhedra_library_Termination
3620  * Method: one_affine_ranking_function_PR_BD_Shape_long_double
3621  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3622  */
3624  (JNIEnv *, jclass, jobject, jobject);
3625 
3626 /*
3627  * Class: parma_polyhedra_library_Termination
3628  * Method: all_affine_ranking_functions_MS_BD_Shape_long_double
3629  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3630  */
3632  (JNIEnv *, jclass, jobject, jobject);
3633 
3634 /*
3635  * Class: parma_polyhedra_library_Termination
3636  * Method: all_affine_ranking_functions_PR_BD_Shape_long_double
3637  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3638  */
3640  (JNIEnv *, jclass, jobject, jobject);
3641 
3642 /*
3643  * Class: parma_polyhedra_library_Termination
3644  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_long_double
3645  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3646  */
3648  (JNIEnv *, jclass, jobject, jobject, jobject);
3649 
3650 /*
3651  * Class: parma_polyhedra_library_Termination
3652  * Method: termination_test_MS_BD_Shape_long_double_2
3653  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;)Z
3654  */
3656  (JNIEnv *, jclass, jobject, jobject);
3657 
3658 /*
3659  * Class: parma_polyhedra_library_Termination
3660  * Method: termination_test_PR_BD_Shape_long_double_2
3661  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;)Z
3662  */
3664  (JNIEnv *, jclass, jobject, jobject);
3665 
3666 /*
3667  * Class: parma_polyhedra_library_Termination
3668  * Method: one_affine_ranking_function_MS_BD_Shape_long_double_2
3669  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3670  */
3672  (JNIEnv *, jclass, jobject, jobject, jobject);
3673 
3674 /*
3675  * Class: parma_polyhedra_library_Termination
3676  * Method: one_affine_ranking_function_PR_BD_Shape_long_double_2
3677  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3678  */
3680  (JNIEnv *, jclass, jobject, jobject, jobject);
3681 
3682 /*
3683  * Class: parma_polyhedra_library_Termination
3684  * Method: all_affine_ranking_functions_MS_BD_Shape_long_double_2
3685  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3686  */
3688  (JNIEnv *, jclass, jobject, jobject, jobject);
3689 
3690 /*
3691  * Class: parma_polyhedra_library_Termination
3692  * Method: all_affine_ranking_functions_PR_BD_Shape_long_double_2
3693  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3694  */
3696  (JNIEnv *, jclass, jobject, jobject, jobject);
3697 
3698 /*
3699  * Class: parma_polyhedra_library_Termination
3700  * Method: all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2
3701  * Signature: (Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/BD_Shape_long_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3702  */
3704  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3705 
3706 /*
3707  * Class: parma_polyhedra_library_Termination
3708  * Method: termination_test_MS_Octagonal_Shape_long_double
3709  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;)Z
3710  */
3712  (JNIEnv *, jclass, jobject);
3713 
3714 /*
3715  * Class: parma_polyhedra_library_Termination
3716  * Method: termination_test_PR_Octagonal_Shape_long_double
3717  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;)Z
3718  */
3720  (JNIEnv *, jclass, jobject);
3721 
3722 /*
3723  * Class: parma_polyhedra_library_Termination
3724  * Method: one_affine_ranking_function_MS_Octagonal_Shape_long_double
3725  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3726  */
3728  (JNIEnv *, jclass, jobject, jobject);
3729 
3730 /*
3731  * Class: parma_polyhedra_library_Termination
3732  * Method: one_affine_ranking_function_PR_Octagonal_Shape_long_double
3733  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3734  */
3736  (JNIEnv *, jclass, jobject, jobject);
3737 
3738 /*
3739  * Class: parma_polyhedra_library_Termination
3740  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_long_double
3741  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3742  */
3744  (JNIEnv *, jclass, jobject, jobject);
3745 
3746 /*
3747  * Class: parma_polyhedra_library_Termination
3748  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_long_double
3749  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3750  */
3752  (JNIEnv *, jclass, jobject, jobject);
3753 
3754 /*
3755  * Class: parma_polyhedra_library_Termination
3756  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double
3757  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3758  */
3760  (JNIEnv *, jclass, jobject, jobject, jobject);
3761 
3762 /*
3763  * Class: parma_polyhedra_library_Termination
3764  * Method: termination_test_MS_Octagonal_Shape_long_double_2
3765  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;)Z
3766  */
3768  (JNIEnv *, jclass, jobject, jobject);
3769 
3770 /*
3771  * Class: parma_polyhedra_library_Termination
3772  * Method: termination_test_PR_Octagonal_Shape_long_double_2
3773  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;)Z
3774  */
3776  (JNIEnv *, jclass, jobject, jobject);
3777 
3778 /*
3779  * Class: parma_polyhedra_library_Termination
3780  * Method: one_affine_ranking_function_MS_Octagonal_Shape_long_double_2
3781  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3782  */
3784  (JNIEnv *, jclass, jobject, jobject, jobject);
3785 
3786 /*
3787  * Class: parma_polyhedra_library_Termination
3788  * Method: one_affine_ranking_function_PR_Octagonal_Shape_long_double_2
3789  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Generator;)Z
3790  */
3792  (JNIEnv *, jclass, jobject, jobject, jobject);
3793 
3794 /*
3795  * Class: parma_polyhedra_library_Termination
3796  * Method: all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2
3797  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3798  */
3800  (JNIEnv *, jclass, jobject, jobject, jobject);
3801 
3802 /*
3803  * Class: parma_polyhedra_library_Termination
3804  * Method: all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2
3805  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;)V
3806  */
3808  (JNIEnv *, jclass, jobject, jobject, jobject);
3809 
3810 /*
3811  * Class: parma_polyhedra_library_Termination
3812  * Method: all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2
3813  * Signature: (Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Octagonal_Shape_long_double;Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Polyhedron;)V
3814  */
3816  (JNIEnv *, jclass, jobject, jobject, jobject, jobject);
3817 
3818 #ifdef __cplusplus
3819 }
3820 #endif
3821 #endif
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int8_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1float(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Double_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1C_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Grid_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Z_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint32_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint64_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Grid_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint32_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Z_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1double(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1NNC_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Rational_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int16_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Grid(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Long_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int32_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int64_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Rational_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int16_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Long_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Grid_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1float(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Float_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Grid(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1C_1Polyhedron(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1C_1Polyhedron(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Z_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int16_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Long_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Grid(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Z_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Rational_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Float_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1C_1Polyhedron(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Float_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Double_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Grid_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1C_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Rational_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint8_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1double(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1NNC_1Polyhedron(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Rational_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint16_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Rational_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1NNC_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int64_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Double_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Grid(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint16_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1C_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint64_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Z_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Grid(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int32_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Long_1Double_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int8_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Grid_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Rational_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint16_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Int8_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Long_1Double_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Z_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1C_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1NNC_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1C_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Grid_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1NNC_1Polyhedron(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int32_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Uint16_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Grid_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint64_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int32_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Float_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Grid(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int16_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Grid(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int8_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1double(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Int32_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Rational_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1double(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint32_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int64_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int64_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Int8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Z_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Z_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Uint8_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Long_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int16_1t(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Float_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Long_1Double_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Uint64_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Float_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Int64_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Int8_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Float_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1NNC_1Polyhedron(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Long_1Double_1Box(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Uint8_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Int32_1Box(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Float_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1mpz_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Double_1Box_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Uint32_1Box_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1NNC_1Polyhedron_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1int16_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1MS_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1BD_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1BD_1Shape_1float(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1int16_1t_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1long_1double(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Octagonal_1Shape_1long_1double_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1Octagonal_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1mpq_1class(JNIEnv *, jclass, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1int32_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1BD_1Shape_1int8_1t_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1Octagonal_1Shape_1mpz_1class_12(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1double_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1MS_1Uint8_1Box(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1MS_1BD_1Shape_1int64_1t(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1ranking_1functions_1PR_1Octagonal_1Shape_1float_12(JNIEnv *, jclass, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_one_1affine_1ranking_1function_1PR_1BD_1Shape_1float(JNIEnv *, jclass, jobject, jobject)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Termination_termination_1test_1PR_1NNC_1Polyhedron(JNIEnv *, jclass, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Termination_all_1affine_1quasi_1ranking_1functions_1MS_1Octagonal_1Shape_1mpq_1class_12(JNIEnv *, jclass, jobject, jobject, jobject, jobject)