parma_polyhedra_library_Artificial_Parameter.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_Artificial_Parameter.h:

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

Go to the source code of this file.

Functions
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_ascii_1dump (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_toString (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_initIDs (JNIEnv *, jclass)

Function Documentation

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_ascii_1dump	(	JNIEnv *	,
		jobject
	)

Definition at line 2115 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_initIDs	(	JNIEnv *	,
		jclass
	)

Definition at line 2095 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_den_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_le_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_toString	(	JNIEnv *	,
		jobject
	)

Definition at line 2129 of file ppl_java_globals.cc.