parma_polyhedra_library_PIP_Tree_Node.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_PIP_Tree_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_1Tree_1Node_as_1solution (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1decision (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_OK (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_number_1of_1artificials (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_artificials (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_constraints (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_toString (JNIEnv *, jobject)

Function Documentation

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_artificials	(	JNIEnv *	,
		jobject
	)

Definition at line 2023 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_begin(), Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_end(), Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Artificial_Parameter_Sequence, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_Sequence_add_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_Sequence_init_ID, CATCH_ALL, CHECK_EXCEPTION_RETURN, and CHECK_RESULT_RETURN.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1decision	(	JNIEnv *	,
		jobject
	)

Definition at line 1986 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::as_decision(), CATCH_ALL, CHECK_RESULT_ASSERT, and CHECK_RESULT_RETURN.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1solution	(	JNIEnv *	,
		jobject
	)

Definition at line 1960 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::as_solution(), CATCH_ALL, CHECK_RESULT_ASSERT, and CHECK_RESULT_RETURN.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_constraints	(	JNIEnv *	,
		jobject
	)

Definition at line 1943 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_RETURN, Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Constraint_System, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_init_ID, and Parma_Polyhedra_Library::PIP_Tree_Node::constraints().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_number_1of_1artificials	(	JNIEnv *	,
		jobject
	)

Definition at line 2012 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Tree_Node::art_parameter_count(), and CATCH_ALL.

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_OK	(	JNIEnv *	,
		jobject
	)

Definition at line 1912 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Tree_Node::OK().

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_toString	(	JNIEnv *	,
		jobject
	)

Definition at line 2050 of file ppl_java_globals.cc.