|
PPL Configured Java Language Interface
1.2
|
#include <jni.h>

Go to the source code of this file.
Macros | |
| #define | parma_polyhedra_library_Poly_Gen_Relation_NOTHING 0L |
| #define | parma_polyhedra_library_Poly_Gen_Relation_SUBSUMES 1L |
Functions | |
| JNIEXPORT void JNICALL | Java_parma_1polyhedra_1library_Poly_1Gen_1Relation_initIDs (JNIEnv *, jclass) |
| #define parma_polyhedra_library_Poly_Gen_Relation_NOTHING 0L |
Definition at line 11 of file parma_polyhedra_library_Poly_Gen_Relation.h.
| #define parma_polyhedra_library_Poly_Gen_Relation_SUBSUMES 1L |
Definition at line 13 of file parma_polyhedra_library_Poly_Gen_Relation.h.
| JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Poly_1Gen_1Relation_initIDs | ( | JNIEnv * | , |
| jclass | |||
| ) |
Definition at line 568 of file ppl_java_globals.cc.
References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Poly_Gen_Relation_init_ID.