parma_polyhedra_library_Congruence.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_Congruence.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_Congruence_ascii_1dump (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_toString (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Congruence_initIDs (JNIEnv *, jclass)

Function Documentation

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_ascii_1dump	(	JNIEnv *	,
		jobject
	)

Definition at line 1400 of file ppl_java_globals.cc.

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

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Congruence_initIDs	(	JNIEnv *	,
		jclass
	)

Definition at line 153 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_lhs_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_mod_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_rhs_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_toString	(	JNIEnv *	,
		jobject
	)

Definition at line 1390 of file ppl_java_globals.cc.