parma_polyhedra_library_Parma_Polyhedra_Library.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_Parma_Polyhedra_Library */

#ifndef _Included_parma_polyhedra_library_Parma_Polyhedra_Library
#define _Included_parma_polyhedra_library_Parma_Polyhedra_Library
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    initialize_library
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_initialize_1library
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    finalize_library
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_finalize_1library
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    version_major
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1major
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    version_minor
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1minor
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    version_revision
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1revision
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    version_beta
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1beta
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    version
 * Signature: ()Ljava/lang/String;
 */
JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    banner
 * Signature: ()Ljava/lang/String;
 */
JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_banner
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    set_rounding_for_PPL
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1rounding_1for_1PPL
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    restore_pre_PPL_rounding
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_restore_1pre_1PPL_1rounding
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    irrational_precision
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_irrational_1precision
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    set_irrational_precision
 * Signature: (I)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1irrational_1precision
  (JNIEnv *, jclass, jint);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    set_timeout
 * Signature: (I)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1timeout
  (JNIEnv *, jclass, jint);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    reset_timeout
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1timeout
  (JNIEnv *, jclass);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    set_deterministic_timeout
 * Signature: (II)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1deterministic_1timeout
  (JNIEnv *, jclass, jint, jint);

/*
 * Class:     parma_polyhedra_library_Parma_Polyhedra_Library
 * Method:    reset_deterministic_timeout
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1deterministic_1timeout
  (JNIEnv *, jclass);

#ifdef __cplusplus
}
#endif
#endif