PPL Configured Java Language Interface  0.12.1
parma_polyhedra_library_Partial_Function.h
Go to the documentation of this file.
00001 /* DO NOT EDIT THIS FILE - it is machine generated */
00002 #include <jni.h>
00003 /* Header for class parma_polyhedra_library_Partial_Function */
00004 
00005 #ifndef _Included_parma_polyhedra_library_Partial_Function
00006 #define _Included_parma_polyhedra_library_Partial_Function
00007 #ifdef __cplusplus
00008 extern "C" {
00009 #endif
00010 /*
00011  * Class:     parma_polyhedra_library_Partial_Function
00012  * Method:    insert
00013  * Signature: (JJ)V
00014  */
00015 JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_insert
00016   (JNIEnv *, jobject, jlong, jlong);
00017 
00018 /*
00019  * Class:     parma_polyhedra_library_Partial_Function
00020  * Method:    has_empty_codomain
00021  * Signature: ()Z
00022  */
00023 JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Partial_1Function_has_1empty_1codomain
00024   (JNIEnv *, jobject);
00025 
00026 /*
00027  * Class:     parma_polyhedra_library_Partial_Function
00028  * Method:    max_in_codomain
00029  * Signature: ()J
00030  */
00031 JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_max_1in_1codomain
00032   (JNIEnv *, jobject);
00033 
00034 /*
00035  * Class:     parma_polyhedra_library_Partial_Function
00036  * Method:    maps
00037  * Signature: (J)J
00038  */
00039 JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_maps
00040   (JNIEnv *, jobject, jlong);
00041 
00042 /*
00043  * Class:     parma_polyhedra_library_Partial_Function
00044  * Method:    free
00045  * Signature: ()V
00046  */
00047 JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_free
00048   (JNIEnv *, jobject);
00049 
00050 /*
00051  * Class:     parma_polyhedra_library_Partial_Function
00052  * Method:    finalize
00053  * Signature: ()V
00054  */
00055 JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_finalize
00056   (JNIEnv *, jobject);
00057 
00058 /*
00059  * Class:     parma_polyhedra_library_Partial_Function
00060  * Method:    build_cpp_object
00061  * Signature: ()V
00062  */
00063 JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_build_1cpp_1object
00064   (JNIEnv *, jobject);
00065 
00066 #ifdef __cplusplus
00067 }
00068 #endif
00069 #endif