parma_polyhedra_library_Congruence_System.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_Congruence_System.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	parma_polyhedra_library_Congruence_System_MAX_ARRAY_SIZE   2147483639L
#define	parma_polyhedra_library_Congruence_System_serialVersionUID   8683452581122892189LL
#define	parma_polyhedra_library_Congruence_System_DEFAULT_CAPACITY   10L
#define	parma_polyhedra_library_Congruence_System_MAX_ARRAY_SIZE   2147483639L

Functions
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_ascii_1dump (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_toString (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_initIDs (JNIEnv *, jclass)

Macro Definition Documentation

#define parma_polyhedra_library_Congruence_System_DEFAULT_CAPACITY   10L

Definition at line 15 of file parma_polyhedra_library_Congruence_System.h.

#define parma_polyhedra_library_Congruence_System_MAX_ARRAY_SIZE   2147483639L

Definition at line 17 of file parma_polyhedra_library_Congruence_System.h.

#define parma_polyhedra_library_Congruence_System_MAX_ARRAY_SIZE   2147483639L

Definition at line 17 of file parma_polyhedra_library_Congruence_System.h.

#define parma_polyhedra_library_Congruence_System_serialVersionUID   8683452581122892189LL

Definition at line 13 of file parma_polyhedra_library_Congruence_System.h.

Function Documentation

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_1System_ascii_1dump	(	JNIEnv *	,
		jobject
	)

Definition at line 1493 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Congruence_System::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Congruence_1System_initIDs	(	JNIEnv *	,
		jclass
	)

Definition at line 178 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_System_add_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_System_init_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_1System_toString	(	JNIEnv *	,
		jobject
	)

Definition at line 1483 of file ppl_java_globals.cc.