parma_polyhedra_library_PIP_Problem.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_Problem */

#ifndef _Included_parma_polyhedra_library_PIP_Problem
#define _Included_parma_polyhedra_library_PIP_Problem
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    free
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_free
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    finalize
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_finalize
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    max_space_dimension
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_max_1space_1dimension
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    space_dimension
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_space_1dimension
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    number_of_parameter_space_dimensions
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1parameter_1space_1dimensions
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    parameter_space_dimensions
 * Signature: ()Lparma_polyhedra_library/Variables_Set;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_parameter_1space_1dimensions
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    get_big_parameter_dimension
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_get_1big_1parameter_1dimension
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    number_of_constraints
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1constraints
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    constraint_at_index
 * Signature: (J)Lparma_polyhedra_library/Constraint;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_constraint_1at_1index
  (JNIEnv *, jobject, jlong);

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

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    ascii_dump
 * Signature: ()Ljava/lang/String;
 */
JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_ascii_1dump
  (JNIEnv *, jobject);

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

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    total_memory_in_bytes
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_total_1memory_1in_1bytes
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    external_memory_in_bytes
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_external_1memory_1in_1bytes
  (JNIEnv *, jobject);

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

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    clear
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_clear
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    add_space_dimensions_and_embed
 * Signature: (JJ)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1space_1dimensions_1and_1embed
  (JNIEnv *, jobject, jlong, jlong);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    add_to_parameter_space_dimensions
 * Signature: (Lparma_polyhedra_library/Variables_Set;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1to_1parameter_1space_1dimensions
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    set_big_parameter_dimension
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_set_1big_1parameter_1dimension
  (JNIEnv *, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    add_constraint
 * Signature: (Lparma_polyhedra_library/Constraint;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraint
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    add_constraints
 * Signature: (Lparma_polyhedra_library/Constraint_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraints
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    is_satisfiable
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_is_1satisfiable
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    solve
 * Signature: ()Lparma_polyhedra_library/PIP_Problem_Status;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_solve
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    solution
 * Signature: ()Lparma_polyhedra_library/PIP_Tree_Node;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_solution
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    optimizing_solution
 * Signature: ()Lparma_polyhedra_library/PIP_Tree_Node;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_optimizing_1solution
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    get_pip_problem_control_parameter
 * Signature: (Lparma_polyhedra_library/PIP_Problem_Control_Parameter_Name;)Lparma_polyhedra_library/PIP_Problem_Control_Parameter_Value;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_get_1pip_1problem_1control_1parameter
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    set_pip_problem_control_parameter
 * Signature: (Lparma_polyhedra_library/PIP_Problem_Control_Parameter_Value;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_set_1pip_1problem_1control_1parameter
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    build_cpp_object
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__J
  (JNIEnv *, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    build_cpp_object
 * Signature: (JLparma_polyhedra_library/Constraint_System;Lparma_polyhedra_library/Variables_Set;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__JLparma_1polyhedra_1library_Constraint_1System_2Lparma_1polyhedra_1library_Variables_1Set_2
  (JNIEnv *, jobject, jlong, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_PIP_Problem
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/PIP_Problem;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__Lparma_1polyhedra_1library_PIP_1Problem_2
  (JNIEnv *, jobject, jobject);

#ifdef __cplusplus
}
#endif
#endif