parma_polyhedra_library_PIP_Decision_Node.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_PIP_Decision_Node.h:

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

Go to the source code of this file.

Functions
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Decision_1Node_child_1node (JNIEnv *, jobject, jboolean)

Function Documentation

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Decision_1Node_child_1node	(	JNIEnv *	,
		jobject	,
		jboolean
	)

Definition at line 2061 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_ASSERT, CHECK_RESULT_RETURN, and Parma_Polyhedra_Library::PIP_Decision_Node::child_node().