PPL Configured Java Language Interface  1.2
parma_polyhedra_library_Partial_Function.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_Partial_Function */
4 
5 #ifndef _Included_parma_polyhedra_library_Partial_Function
6 #define _Included_parma_polyhedra_library_Partial_Function
7 #ifdef __cplusplus
8 extern "C" {
9 #endif
10 /*
11  * Class: parma_polyhedra_library_Partial_Function
12  * Method: insert
13  * Signature: (JJ)V
14  */
16  (JNIEnv *, jobject, jlong, jlong);
17 
18 /*
19  * Class: parma_polyhedra_library_Partial_Function
20  * Method: has_empty_codomain
21  * Signature: ()Z
22  */
24  (JNIEnv *, jobject);
25 
26 /*
27  * Class: parma_polyhedra_library_Partial_Function
28  * Method: max_in_codomain
29  * Signature: ()J
30  */
32  (JNIEnv *, jobject);
33 
34 /*
35  * Class: parma_polyhedra_library_Partial_Function
36  * Method: maps
37  * Signature: (J)J
38  */
40  (JNIEnv *, jobject, jlong);
41 
42 /*
43  * Class: parma_polyhedra_library_Partial_Function
44  * Method: free
45  * Signature: ()V
46  */
48  (JNIEnv *, jobject);
49 
50 /*
51  * Class: parma_polyhedra_library_Partial_Function
52  * Method: finalize
53  * Signature: ()V
54  */
56  (JNIEnv *, jobject);
57 
58 /*
59  * Class: parma_polyhedra_library_Partial_Function
60  * Method: build_cpp_object
61  * Signature: ()V
62  */
64  (JNIEnv *, jobject);
65 
66 #ifdef __cplusplus
67 }
68 #endif
69 #endif
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_build_1cpp_1object(JNIEnv *, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_insert(JNIEnv *, jobject, jlong, jlong)
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_max_1in_1codomain(JNIEnv *, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_free(JNIEnv *, jobject)
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_finalize(JNIEnv *, jobject)
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_maps(JNIEnv *, jobject, jlong)
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Partial_1Function_has_1empty_1codomain(JNIEnv *, jobject)