parma_polyhedra_library_PIP_Tree_Node.h

Go to the documentation of this file.

/* DO NOT EDIT THIS FILE - it is machine generated */
#include <jni.h>
/* Header for class parma_polyhedra_library_PIP_Tree_Node */

#ifndef _Included_parma_polyhedra_library_PIP_Tree_Node
#define _Included_parma_polyhedra_library_PIP_Tree_Node
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    as_solution
 * Signature: ()Lparma_polyhedra_library/PIP_Solution_Node;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1solution
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    as_decision
 * Signature: ()Lparma_polyhedra_library/PIP_Decision_Node;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1decision
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    OK
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_OK
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    number_of_artificials
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_number_1of_1artificials
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    artificials
 * Signature: ()Lparma_polyhedra_library/Artificial_Parameter_Sequence;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_artificials
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    constraints
 * Signature: ()Lparma_polyhedra_library/Constraint_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_constraints
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Tree_Node
 * Method:    toString
 * Signature: ()Ljava/lang/String;
 */
JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_toString
  (JNIEnv *, jobject);

#ifdef __cplusplus
}
#endif
#endif