#include "ppl_java_common_defs.hh"
#include "parma_polyhedra_library_Artificial_Parameter.h"
#include "parma_polyhedra_library_Artificial_Parameter_Sequence.h"
#include "parma_polyhedra_library_Bounded_Integer_Type_Overflow.h"
#include "parma_polyhedra_library_Bounded_Integer_Type_Representation.h"
#include "parma_polyhedra_library_Bounded_Integer_Type_Width.h"
#include "parma_polyhedra_library_By_Reference.h"
#include "parma_polyhedra_library_Coefficient.h"
#include "parma_polyhedra_library_Complexity_Class.h"
#include "parma_polyhedra_library_Congruence.h"
#include "parma_polyhedra_library_Congruence_System.h"
#include "parma_polyhedra_library_Constraint.h"
#include "parma_polyhedra_library_Constraint_System.h"
#include "parma_polyhedra_library_Degenerate_Element.h"
#include "parma_polyhedra_library_Generator.h"
#include "parma_polyhedra_library_Generator_System.h"
#include "parma_polyhedra_library_Generator_Type.h"
#include "parma_polyhedra_library_Grid_Generator.h"
#include "parma_polyhedra_library_Grid_Generator_System.h"
#include "parma_polyhedra_library_Grid_Generator_Type.h"
#include "parma_polyhedra_library_IO.h"
#include "parma_polyhedra_library_Linear_Expression.h"
#include "parma_polyhedra_library_Linear_Expression_Coefficient.h"
#include "parma_polyhedra_library_Linear_Expression_Difference.h"
#include "parma_polyhedra_library_Linear_Expression_Sum.h"
#include "parma_polyhedra_library_Linear_Expression_Times.h"
#include "parma_polyhedra_library_Linear_Expression_Unary_Minus.h"
#include "parma_polyhedra_library_Linear_Expression_Variable.h"
#include "parma_polyhedra_library_MIP_Problem.h"
#include "parma_polyhedra_library_MIP_Problem_Status.h"
#include "parma_polyhedra_library_Optimization_Mode.h"
#include "parma_polyhedra_library_Pair.h"
#include "parma_polyhedra_library_Parma_Polyhedra_Library.h"
#include "parma_polyhedra_library_Partial_Function.h"
#include "parma_polyhedra_library_PIP_Problem.h"
#include "parma_polyhedra_library_PIP_Problem_Status.h"
#include "parma_polyhedra_library_PIP_Decision_Node.h"
#include "parma_polyhedra_library_PIP_Solution_Node.h"
#include "parma_polyhedra_library_PIP_Tree_Node.h"
#include "parma_polyhedra_library_Poly_Con_Relation.h"
#include "parma_polyhedra_library_Poly_Gen_Relation.h"
#include "parma_polyhedra_library_PPL_Object.h"
#include "parma_polyhedra_library_Relation_Symbol.h"
#include "parma_polyhedra_library_Variable.h"
#include "parma_polyhedra_library_Variables_Set.h"

Include dependency graph for ppl_java_globals.cc:

Functions
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_initialize_1library (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_finalize_1library (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_By_1Reference_initIDs (JNIEnv *env, jclass j_by_ref_class)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Coefficient_bits (JNIEnv *, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Coefficient_initIDs (JNIEnv *env, jclass j_coeff_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Complexity_1Class_initIDs (JNIEnv *env, jclass j_complexity_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Congruence_initIDs (JNIEnv *env, jclass j_congruence_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_initIDs (JNIEnv *env, jclass j_con_sys_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Constraint_initIDs (JNIEnv *env, jclass j_constraint_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Constraint_1System_initIDs (JNIEnv *env, jclass j_con_sys_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Degenerate_1Element_initIDs (JNIEnv *env, jclass j_degenerate_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Generator_initIDs (JNIEnv *env, jclass j_generator_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Generator_1System_initIDs (JNIEnv *env, jclass j_gen_sys_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Generator_1Type_initIDs (JNIEnv *env, jclass j_gen_type_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_initIDs (JNIEnv *env, jclass j_grid_generator_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_1System_initIDs (JNIEnv *env, jclass j_gen_sys_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_1Type_initIDs (JNIEnv *env, jclass j_grid_gen_type_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_initIDs (JNIEnv *env, jclass j_le_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Coefficient_initIDs (JNIEnv *env, jclass j_le_coeff_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Difference_initIDs (JNIEnv *env, jclass j_le_diff_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Sum_initIDs (JNIEnv *env, jclass j_le_sum_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Times_initIDs (JNIEnv *env, jclass j_le_times_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Unary_1Minus_initIDs (JNIEnv *env, jclass j_le_uminus_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_1Variable_initIDs (JNIEnv *env, jclass j_le_var_class)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_is_1zero (JNIEnv *env, jobject j_this)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_all_1homogeneous_1terms_1are_1zero (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_1Status_initIDs (JNIEnv *env, jclass j_mip_status_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_1Status_initIDs (JNIEnv *env, jclass j_mip_status_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Optimization_1Mode_initIDs (JNIEnv *env, jclass j_opt_mode_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pair_initIDs (JNIEnv *env, jclass j_pair_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Poly_1Con_1Relation_initIDs (JNIEnv *env, jclass j_poly_con_relation_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Poly_1Gen_1Relation_initIDs (JNIEnv *env, jclass j_poly_gen_relation_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PPL_1Object_initIDs (JNIEnv *env, jclass j_ppl_object_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Relation_1Symbol_initIDs (JNIEnv *env, jclass j_rel_sym_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Overflow_initIDs (JNIEnv *env, jclass j_bounded_overflow_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Representation_initIDs (JNIEnv *env, jclass j_bounded_rep_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Width_initIDs (JNIEnv *env, jclass j_bounded_width_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Variable_initIDs (JNIEnv *env, jclass j_variable_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Variables_1Set_initIDs (JNIEnv *env, jclass j_vset_class)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1major (JNIEnv *, jclass)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1minor (JNIEnv *, jclass)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1revision (JNIEnv *, jclass)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1beta (JNIEnv *, jclass)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version (JNIEnv *env, jclass)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_banner (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1rounding_1for_1PPL (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_restore_1pre_1PPL_1rounding (JNIEnv *env, jclass)

JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_irrational_1precision (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1irrational_1precision (JNIEnv *env, jclass, jint p)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1timeout (JNIEnv *env, jclass, jint csecs)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1timeout (JNIEnv *env, jclass)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1deterministic_1timeout (JNIEnv *env, jclass, jint unscaled_weight, jint scale)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1deterministic_1timeout (JNIEnv *env, jclass)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_max_1space_1dimension (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_space_1dimension (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_integer_1space_1dimensions (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_objective_1function (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_optimization_1mode (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_get_1control_1parameter (JNIEnv *env, jobject j_this_mip_problem, jobject j_cpn)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_set_1control_1parameter (JNIEnv *env, jobject j_this_mip_problem, jobject j_cpv)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_constraints (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_clear (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_add_1space_1dimensions_1and_1embed (JNIEnv *env, jobject j_this_mip_problem, jlong j_dim)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_add_1to_1integer_1space_1dimensions (JNIEnv *env, jobject j_this_mip_problem, jobject j_vset)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_add_1constraint (JNIEnv *env, jobject j_this_mip_problem, jobject j_c)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_add_1constraints (JNIEnv *env, jobject j_this_mip_problem, jobject j_cs)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_set_1objective_1function (JNIEnv *env, jobject j_this_mip_problem, jobject j_le)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_set_1optimization_1mode (JNIEnv *env, jobject j_this_mip_problem, jobject j_opt_mode)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_is_1satisfiable (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_solve (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_evaluate_1objective_1function (JNIEnv *env, jobject j_this_mip_problem, jobject j_gen, jobject j_coeff_num, jobject j_coeff_den)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_feasible_1point (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_optimizing_1point (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_optimal_1value (JNIEnv *env, jobject j_this_mip_problem, jobject j_coeff_num, jobject j_coeff_den)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_OK (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__J (JNIEnv *env, jobject j_this_mip_problem, jlong j_dim)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__JLparma_1polyhedra_1library_Constraint_1System_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Optimization_1Mode_2 (JNIEnv *env, jobject j_this_mip_problem, jlong j_dim, jobject j_cs, jobject j_le, jobject j_opt_mode)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__Lparma_1polyhedra_1library_MIP_1Problem_2 (JNIEnv *env, jobject j_this, jobject j_y)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_free (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_finalize (JNIEnv *env, jobject j_this)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_total_1memory_1in_1bytes (JNIEnv *env, jobject j_this_mip_problem)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_toString (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_MIP_1Problem_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Variable_toString (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Variable_setStringifier (JNIEnv *env, jclass j_variable_class, jobject j_stringifier)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_toString (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Linear_1Expression_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Generator_toString (JNIEnv *env, jobject g)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Generator_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Constraint_toString (JNIEnv *env, jobject c)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Constraint_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_toString (JNIEnv *env, jobject g)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_toString (JNIEnv *env, jobject g)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_1System_toString (JNIEnv *env, jobject ggs)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Grid_1Generator_1System_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Generator_1System_toString (JNIEnv *env, jobject gs)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Generator_1System_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Constraint_1System_toString (JNIEnv *env, jobject cs)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Constraint_1System_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_toString (JNIEnv *env, jobject cgs)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Congruence_1System_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_IO_wrap_1string (JNIEnv *env, jclass, jstring str, jint indent_depth, jint preferred_first_line_length, jint preferred_line_length)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__J (JNIEnv *env, jobject j_this_pip_problem, jlong j_dim)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__JLparma_1polyhedra_1library_Constraint_1System_2Lparma_1polyhedra_1library_Variables_1Set_2 (JNIEnv *env, jobject j_this_pip_problem, jlong j_dim, jobject j_cs, jobject j_vars)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__Lparma_1polyhedra_1library_PIP_1Problem_2 (JNIEnv *env, jobject j_this, jobject j_y)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_OK (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_total_1memory_1in_1bytes (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_external_1memory_1in_1bytes (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_toString (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_free (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1_problem_finalize (JNIEnv *env, jobject j_this)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_max_1space_1dimension (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_space_1dimension (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_get_1big_1parameter_1dimension (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_parameter_1space_1dimensions (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_set_1big_1parameter_1dimension (JNIEnv *env, jobject j_this_pip_problem, jlong j_dim)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1parameter_1space_1dimensions (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_add_1space_1dimensions_1and_1embed (JNIEnv *env, jobject j_this_pip_problem, jlong j_dim_vars, jlong j_dim_pars)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_add_1to_1parameter_1space_1dimensions (JNIEnv *env, jobject j_this_pip_problem, jobject j_vars)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1constraints (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraint (JNIEnv *env, jobject j_this_pip_problem, jobject j_c)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraints (JNIEnv *env, jobject j_this_pip_problem, jobject j_cs)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_is_1satisfiable (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_solve (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_solution (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_optimizing_1solution (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_get_1pip_1problem_1control_1parameter (JNIEnv *env, jobject j_this_pip_problem, jobject j_cpn)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_constraint_1at_1index (JNIEnv *env, jobject j_this_pip_problem, jlong j_index)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_constraints (JNIEnv *env, jobject j_this_pip_problem)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Problem_set_1pip_1problem_1control_1parameter (JNIEnv *env, jobject j_this_pip_problem, jobject j_cpv)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_OK (JNIEnv *env, jobject j_this_pip_tree)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_free (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_finalize (JNIEnv *env, jobject j_this)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_constraints (JNIEnv *env, jobject j_this_pip_node)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1solution (JNIEnv *env, jobject j_this)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_as_1decision (JNIEnv *env, jobject j_this)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_number_1of_1artificials (JNIEnv *env, jobject j_this)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_artificials (JNIEnv *env, jobject j_this_pip_node)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_PIP_1Tree_1Node_toString (JNIEnv *env, jobject j_this)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Decision_1Node_child_1node (JNIEnv *env, jobject j_this, jboolean j_branch)

JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_PIP_1Solution_1Node_parametric_1values (JNIEnv *env, jobject j_this, jobject j_var)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_initIDs (JNIEnv *env, jclass j_artificial_parameter_class)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_ascii_1dump (JNIEnv *env, jobject j_this)

JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_toString (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Artificial_1Parameter_1Sequence_initIDs (JNIEnv *env, jclass j_aps_class)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_build_1cpp_1object (JNIEnv *env, jobject j_this_pfunc)

JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_has_1empty_1codomain (JNIEnv *env, jobject j_this_pfunc)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_max_1in_1codomain (JNIEnv *env, jobject j_this_pfunc)

JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_maps (JNIEnv *env, jobject j_this_pfunc, jlong j_i)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_insert (JNIEnv *env, jobject j_this_pfunc, jlong i, jlong j)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_free (JNIEnv *env, jobject j_this)

JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Partial_1Function_finalize (JNIEnv *env, jobject j_this)

Function Documentation

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_1Sequence_initIDs	(	JNIEnv *	env,
		jclass	j_aps_class
	)

Definition at line 2140 of file ppl_java_globals.cc.

References 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, and CHECK_RESULT_ASSERT.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 2115 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_initIDs	(	JNIEnv *	env,
		jclass	j_artificial_parameter_class
	)

Definition at line 2095 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_den_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Artificial_Parameter_le_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Artificial_1Parameter_toString	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 2129 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Overflow_initIDs	(	JNIEnv *	env,
		jclass	j_bounded_overflow_class
	)

Definition at line 607 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Overflow_ordinal_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Overflow_OVERFLOW_IMPOSSIBLE_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Overflow_OVERFLOW_UNDEFINED_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Overflow_OVERFLOW_WRAPS_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Representation_initIDs	(	JNIEnv *	env,
		jclass	j_bounded_rep_class
	)

Definition at line 629 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Representation_ordinal_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Representation_SIGNED_2_COMPLEMENT_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Representation_UNSIGNED_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Bounded_1Integer_1Type_1Width_initIDs	(	JNIEnv *	env,
		jclass	j_bounded_width_class
	)

Definition at line 647 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_BITS_128_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_BITS_16_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_BITS_32_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_BITS_64_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_BITS_8_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Bounded_Integer_Type_Width_ordinal_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_By_1Reference_initIDs	(	JNIEnv *	env,
		jclass	j_by_ref_class
	)

Definition at line 90 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::By_Reference_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::By_Reference_obj_ID, and CHECK_RESULT_ASSERT.

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Coefficient_bits	(	JNIEnv *	,
		jclass
	)

Definition at line 102 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Coefficient_initIDs	(	JNIEnv *	env,
		jclass	j_coeff_class
	)

Definition at line 108 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Complexity_1Class_initIDs	(	JNIEnv *	env,
		jclass	j_complexity_class
	)

Definition at line 145 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Complexity_Class_ordinal_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_1System_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1493 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Congruence_System::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Congruence_1System_initIDs	(	JNIEnv *	env,
		jclass	j_con_sys_class
	)

Definition at line 178 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_System_add_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_System_init_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_1System_toString	(	JNIEnv *	env,
		jobject	cgs
	)

Definition at line 1483 of file ppl_java_globals.cc.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1400 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Congruence::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Congruence_initIDs	(	JNIEnv *	env,
		jclass	j_congruence_class
	)

Definition at line 153 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_lhs_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_mod_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Congruence_rhs_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Congruence_toString	(	JNIEnv *	env,
		jobject	g
	)

Definition at line 1390 of file ppl_java_globals.cc.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Constraint_1System_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1470 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Constraint_System::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Constraint_1System_initIDs	(	JNIEnv *	env,
		jclass	j_con_sys_class
	)

Definition at line 215 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_add_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Iterator, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::System_Iterator_has_next_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::System_iterator_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::System_Iterator_next_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Constraint_1System_toString	(	JNIEnv *	env,
		jobject	cs
	)

Definition at line 1459 of file ppl_java_globals.cc.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Constraint_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1354 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Constraint::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Constraint_initIDs	(	JNIEnv *	env,
		jclass	j_constraint_class
	)

Definition at line 190 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_kind_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_lhs_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_rhs_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Constraint_toString	(	JNIEnv *	env,
		jobject	c
	)

Definition at line 1344 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Degenerate_1Element_initIDs	(	JNIEnv *	env,
		jclass	j_degenerate_class
	)

Definition at line 240 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Degenerate_Element_ordinal_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Generator_1System_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1446 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Generator_System::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Generator_1System_initIDs	(	JNIEnv *	env,
		jclass	j_gen_sys_class
	)

Definition at line 289 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_System_add_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_System_init_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Generator_1System_toString	(	JNIEnv *	env,
		jobject	gs
	)

Definition at line 1436 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Generator_1Type_initIDs	(	JNIEnv *	env,
		jclass	j_gen_type_class
	)

Definition at line 301 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_Type_ordinal_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Generator_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1331 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Generator::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Generator_initIDs	(	JNIEnv *	env,
		jclass	j_generator_class
	)

Definition at line 248 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_closure_point_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_div_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_gt_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_le_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_line_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_point_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Generator_ray_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Generator_toString	(	JNIEnv *	env,
		jobject	g
	)

Definition at line 1321 of file ppl_java_globals.cc.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_1System_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1423 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Grid_Generator_System::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_1System_initIDs	(	JNIEnv *	env,
		jclass	j_gen_sys_class
	)

Definition at line 346 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_System_add_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_System_init_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_1System_toString	(	JNIEnv *	env,
		jobject	ggs
	)

Definition at line 1413 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_1Type_initIDs	(	JNIEnv *	env,
		jclass	j_grid_gen_type_class
	)

Definition at line 358 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_Type_ordinal_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1377 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Grid_Generator::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_initIDs	(	JNIEnv *	env,
		jclass	j_grid_generator_class
	)

Definition at line 310 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_div_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_grid_line_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_grid_point_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_gt_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_le_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Grid_Generator_parameter_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Grid_1Generator_toString	(	JNIEnv *	env,
		jobject	g
	)

Definition at line 1367 of file ppl_java_globals.cc.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_IO_wrap_1string	(	JNIEnv *	env,
		jclass	,
		jstring	str,
		jint	indent_depth,
		jint	preferred_first_line_length,
		jint	preferred_line_length
	)

Definition at line 1506 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_RETURN, and wrap_string().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Coefficient_initIDs	(	JNIEnv *	env,
		jclass	j_le_coeff_class
	)

Definition at line 383 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Coefficient_coeff_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Coefficient_init_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Difference_initIDs	(	JNIEnv *	env,
		jclass	j_le_diff_class
	)

Definition at line 398 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Difference_lhs_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Difference_rhs_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Sum_initIDs	(	JNIEnv *	env,
		jclass	j_le_sum_class
	)

Definition at line 412 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Sum_lhs_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Sum_rhs_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Times_initIDs	(	JNIEnv *	env,
		jclass	j_le_times_class
	)

Definition at line 426 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Times_coeff_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Times_init_from_coeff_var_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Times_lin_expr_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Unary_1Minus_initIDs	(	JNIEnv *	env,
		jclass	j_le_uminus_class
	)

Definition at line 446 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Unary_Minus_arg_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_1Variable_initIDs	(	JNIEnv *	env,
		jclass	j_le_var_class
	)

Definition at line 456 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Variable_init_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Variable_var_id_ID.

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_all_1homogeneous_1terms_1are_1zero	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 479 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Linear_Expression::all_homogeneous_terms_are_zero(), and CATCH_ALL.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1308 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Linear_Expression::ascii_dump(), CATCH_ALL, and le().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_initIDs	(	JNIEnv *	env,
		jclass	j_le_class
	)

Definition at line 367 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_sum_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_times_ID.

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_is_1zero	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 469 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::Linear_Expression::is_zero().

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Linear_1Expression_toString	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1298 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_1Status_initIDs	(	JNIEnv *	env,
		jclass	j_mip_status_class
	)

Definition at line 489 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::MIP_Problem_Status_OPTIMIZED_MIP_PROBLEM_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::MIP_Problem_Status_ordinal_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::MIP_Problem_Status_UNBOUNDED_MIP_PROBLEM_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::MIP_Problem_Status_UNFEASIBLE_MIP_PROBLEM_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_add_1constraint	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_c
	)

Definition at line 1024 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraint(), c, and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_add_1constraints	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_cs
	)

Definition at line 1036 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_constraints(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_add_1space_1dimensions_1and_1embed	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jlong	j_dim
	)

Definition at line 1000 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_space_dimensions_and_embed(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_add_1to_1integer_1space_1dimensions	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_vset
	)

Definition at line 1012 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::MIP_Problem::add_to_integer_space_dimensions(), and CATCH_ALL.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1246 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::MIP_Problem::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__J	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jlong	j_dim
	)

Definition at line 1169 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__JLparma_1polyhedra_1library_Constraint_1System_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Optimization_1Mode_2	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jlong	j_dim,
		jobject	j_cs,
		jobject	j_le,
		jobject	j_opt_mode
	)

Definition at line 1180 of file ppl_java_globals.cc.

References CATCH_ALL, and le().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_build_1cpp_1object__Lparma_1polyhedra_1library_MIP_1Problem_2	(	JNIEnv *	env,
		jobject	j_this,
		jobject	j_y
	)

Definition at line 1195 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_clear	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 989 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::clear().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_constraints	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 964 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_EXCEPTION_RETURN, CHECK_RESULT_RETURN, Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Constraint_System, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_add_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_init_ID, Parma_Polyhedra_Library::MIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::MIP_Problem::constraints_end().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_evaluate_1objective_1function	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_gen,
		jobject	j_coeff_num,
		jobject	j_coeff_den
	)

Definition at line 1096 of file ppl_java_globals.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::evaluate_objective_function(), and PPL_DIRTY_TEMP_COEFFICIENT.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_feasible_1point	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1113 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::feasible_point().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_finalize	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1215 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_free	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1204 of file ppl_java_globals.cc.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_get_1control_1parameter	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_cpn
	)

Definition at line 932 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::get_control_parameter().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_integer_1space_1dimensions	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 880 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::integer_space_dimensions().

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_is_1satisfiable	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1072 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::is_satisfiable().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_max_1space_1dimension	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 856 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::max_space_dimension().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_objective_1function	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 893 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_RETURN, Parma_Polyhedra_Library::Linear_Expression::inhomogeneous_term(), Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Linear_Expression_Coefficient, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_Coefficient_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Linear_Expression_sum_ID, Parma_Polyhedra_Library::MIP_Problem::objective_function(), and PPL_DIRTY_TEMP_COEFFICIENT.

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_OK	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1157 of file ppl_java_globals.cc.

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

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_optimal_1value	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_coeff_num,
		jobject	j_coeff_den
	)

Definition at line 1141 of file ppl_java_globals.cc.

References CATCH_ALL, Parma_Polyhedra_Library::MIP_Problem::optimal_value(), and PPL_DIRTY_TEMP_COEFFICIENT.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_optimization_1mode	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 919 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::optimization_mode().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_optimizing_1point	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1127 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::optimizing_point().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_set_1control_1parameter	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_cpv
	)

Definition at line 950 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::set_control_parameter().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_set_1objective_1function	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_le
	)

Definition at line 1048 of file ppl_java_globals.cc.

References CATCH_ALL, le(), and Parma_Polyhedra_Library::MIP_Problem::set_objective_function().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_set_1optimization_1mode	(	JNIEnv *	env,
		jobject	j_this_mip_problem,
		jobject	j_opt_mode
	)

Definition at line 1060 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::set_optimization_mode().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_solve	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1083 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::solve().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_space_1dimension	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 868 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::space_dimension().

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_toString	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1235 of file ppl_java_globals.cc.

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_MIP_1Problem_total_1memory_1in_1bytes	(	JNIEnv *	env,
		jobject	j_this_mip_problem
	)

Definition at line 1223 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::MIP_Problem::total_memory_in_bytes().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Optimization_1Mode_initIDs	(	JNIEnv *	env,
		jclass	j_opt_mode_class
	)

Definition at line 529 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Optimization_Mode_MAXIMIZATION_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Optimization_Mode_MINIMIZATION_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Optimization_Mode_ordinal_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pair_initIDs	(	JNIEnv *	env,
		jclass	j_pair_class
	)

Definition at line 547 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Pair_first_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Pair_second_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_banner	(	JNIEnv *	env,
		jclass
	)

Definition at line 757 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::banner().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_finalize_1library	(	JNIEnv *	env,
		jclass
	)

Definition at line 82 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::clear_cache(), and Parma_Polyhedra_Library::finalize().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_initialize_1library	(	JNIEnv *	env,
		jclass
	)

Definition at line 75 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::init_cache(), and Parma_Polyhedra_Library::initialize().

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_irrational_1precision	(	JNIEnv *	env,
		jclass
	)

Definition at line 781 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::irrational_precision().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1deterministic_1timeout	(	JNIEnv *	env,
		jclass
	)

Definition at line 847 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_reset_1timeout	(	JNIEnv *	env,
		jclass
	)

Definition at line 818 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_restore_1pre_1PPL_1rounding	(	JNIEnv *	env,
		jclass
	)

Definition at line 772 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::restore_pre_PPL_rounding().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1deterministic_1timeout	(	JNIEnv *	env,
		jclass	,
		jint	unscaled_weight,
		jint	scale
	)

Definition at line 827 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::abandon_expensive_computations, and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1irrational_1precision	(	JNIEnv *	env,
		jclass	,
		jint	p
	)

Definition at line 791 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::set_irrational_precision().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1rounding_1for_1PPL	(	JNIEnv *	env,
		jclass
	)

Definition at line 763 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::set_rounding_for_PPL().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_set_1timeout	(	JNIEnv *	env,
		jclass	,
		jint	csecs
	)

Definition at line 801 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::abandon_expensive_computations, and CATCH_ALL.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version	(	JNIEnv *	env,
		jclass
	)

Definition at line 741 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::version().

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1beta	(	JNIEnv *	,
		jclass
	)

Definition at line 735 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::version_beta().

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1major	(	JNIEnv *	,
		jclass
	)

Definition at line 717 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::version_major().

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1minor	(	JNIEnv *	,
		jclass
	)

Definition at line 723 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::version_minor().

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Parma_1Polyhedra_1Library_version_1revision	(	JNIEnv *	,
		jclass
	)

Definition at line 729 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::version_revision().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_build_1cpp_1object	(	JNIEnv *	env,
		jobject	j_this_pfunc
	)

Definition at line 2153 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_finalize	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 2223 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_free	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 2211 of file ppl_java_globals.cc.

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Partial_1Function_has_1empty_1codomain	(	JNIEnv *	env,
		jobject	j_this_pfunc
	)

Definition at line 2163 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::Partial_Function::has_empty_codomain().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Partial_1Function_insert	(	JNIEnv *	env,
		jobject	j_this_pfunc,
		jlong	i,
		jlong	j
	)

Definition at line 2200 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::Partial_Function::insert().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_maps	(	JNIEnv *	env,
		jobject	j_this_pfunc,
		jlong	j_i
	)

Definition at line 2187 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::Partial_Function::maps().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Partial_1Function_max_1in_1codomain	(	JNIEnv *	env,
		jobject	j_this_pfunc
	)

Definition at line 2175 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::Partial_Function::max_in_codomain().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1_problem_finalize	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1633 of file ppl_java_globals.cc.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Decision_1Node_child_1node	(	JNIEnv *	env,
		jobject	j_this,
		jboolean	j_branch
	)

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().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_1Status_initIDs	(	JNIEnv *	env,
		jclass	j_mip_status_class
	)

Definition at line 511 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::PIP_Problem_Status_OPTIMIZED_PIP_PROBLEM_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::PIP_Problem_Status_ordinal_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::PIP_Problem_Status_UNFEASIBLE_PIP_PROBLEM_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraint	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jobject	j_c
	)

Definition at line 1751 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraint(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1constraints	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jobject	j_cs
	)

Definition at line 1763 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_constraints(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1space_1dimensions_1and_1embed	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jlong	j_dim_vars,
		jlong	j_dim_pars
	)

Definition at line 1714 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_space_dimensions_and_embed(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_add_1to_1parameter_1space_1dimensions	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jobject	j_vars
	)

Definition at line 1727 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Problem::add_to_parameter_space_dimensions(), and CATCH_ALL.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_ascii_1dump	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1608 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Problem::ascii_dump(), and CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__J	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jlong	j_dim
	)

Definition at line 1526 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__JLparma_1polyhedra_1library_Constraint_1System_2Lparma_1polyhedra_1library_Variables_1Set_2	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jlong	j_dim,
		jobject	j_cs,
		jobject	j_vars
	)

Definition at line 1537 of file ppl_java_globals.cc.

References CATCH_ALL.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_build_1cpp_1object__Lparma_1polyhedra_1library_PIP_1Problem_2	(	JNIEnv *	env,
		jobject	j_this,
		jobject	j_y
	)

Definition at line 1552 of file ppl_java_globals.cc.

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_constraint_1at_1index	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jlong	j_index
	)

Definition at line 1860 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::constraints_begin().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_constraints	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1874 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_EXCEPTION_RETURN, CHECK_RESULT_RETURN, Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Constraint_System, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_add_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Constraint_System_init_ID, Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::PIP_Problem::constraints_end().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_external_1memory_1in_1bytes	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1585 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::external_memory_in_bytes().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_free	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1622 of file ppl_java_globals.cc.

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_get_1big_1parameter_1dimension	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1665 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::get_big_parameter_dimension().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_get_1pip_1problem_1control_1parameter	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jobject	j_cpn
	)

Definition at line 1842 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::get_control_parameter().

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_is_1satisfiable	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1775 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::is_satisfiable().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_max_1space_1dimension	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1641 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::max_space_dimension().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1constraints	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1739 of file ppl_java_globals.cc.

References CATCH_ALL, Parma_Polyhedra_Library::PIP_Problem::constraints_begin(), and Parma_Polyhedra_Library::PIP_Problem::constraints_end().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_number_1of_1parameter_1space_1dimensions	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1702 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions().

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_OK	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1561 of file ppl_java_globals.cc.

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

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_optimizing_1solution	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1820 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_ASSERT, CHECK_RESULT_RETURN, and Parma_Polyhedra_Library::PIP_Problem::optimizing_solution().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_parameter_1space_1dimensions	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1677 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::parameter_space_dimensions().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_set_1big_1parameter_1dimension	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jlong	j_dim
	)

Definition at line 1690 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::set_big_parameter_dimension().

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_set_1pip_1problem_1control_1parameter	(	JNIEnv *	env,
		jobject	j_this_pip_problem,
		jobject	j_cpv
	)

Definition at line 1899 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::set_control_parameter().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_solution	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1798 of file ppl_java_globals.cc.

References CATCH_ALL, CHECK_RESULT_ASSERT, CHECK_RESULT_RETURN, and Parma_Polyhedra_Library::PIP_Problem::solution().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_solve	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1786 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::solve().

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_space_1dimension	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1653 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::space_dimension().

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_toString	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1597 of file ppl_java_globals.cc.

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Problem_total_1memory_1in_1bytes	(	JNIEnv *	env,
		jobject	j_this_pip_problem
	)

Definition at line 1573 of file ppl_java_globals.cc.

References CATCH_ALL, and Parma_Polyhedra_Library::PIP_Problem::total_memory_in_bytes().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Solution_1Node_parametric_1values	(	JNIEnv *	env,
		jobject	j_this,
		jobject	j_var
	)

Definition at line 2086 of file ppl_java_globals.cc.

References Parma_Polyhedra_Library::PIP_Solution_Node::parametric_values().

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_artificials	(	JNIEnv *	env,
		jobject	j_this_pip_node
	)

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 *	env,
		jobject	j_this
	)

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 *	env,
		jobject	j_this
	)

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 *	env,
		jobject	j_this_pip_node
	)

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 void JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_finalize	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1935 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_free	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1924 of file ppl_java_globals.cc.

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_PIP_1Tree_1Node_number_1of_1artificials	(	JNIEnv *	env,
		jobject	j_this
	)

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 *	env,
		jobject	j_this_pip_tree
	)

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 *	env,
		jobject	j_this
	)

Definition at line 2050 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Poly_1Con_1Relation_initIDs	(	JNIEnv *	env,
		jclass	j_poly_con_relation_class
	)

Definition at line 559 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Poly_Con_Relation_init_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Poly_1Gen_1Relation_initIDs	(	JNIEnv *	env,
		jclass	j_poly_gen_relation_class
	)

Definition at line 568 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Poly_Gen_Relation_init_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_PPL_1Object_initIDs	(	JNIEnv *	env,
		jclass	j_ppl_object_class
	)

Definition at line 577 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::PPL_Object_ptr_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Relation_1Symbol_initIDs	(	JNIEnv *	env,
		jclass	j_rel_sym_class
	)

Definition at line 585 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Relation_Symbol_EQUAL_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Relation_Symbol_GREATER_OR_EQUAL_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Relation_Symbol_GREATER_THAN_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Relation_Symbol_ordinal_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Variable_initIDs	(	JNIEnv *	env,
		jclass	j_variable_class
	)

Definition at line 677 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variable_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variable_stringifier_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variable_varid_ID.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Variable_setStringifier	(	JNIEnv *	env,
		jclass	j_variable_class,
		jobject	j_stringifier
	)

Definition at line 1270 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Variable::default_output_function(), Parma_Polyhedra_Library::Variable::set_output_function(), Parma_Polyhedra_Library::Interfaces::Java::Java_Class_Cache::Variable_Stringifier, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variable_stringifier_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variable_Stringifier_stringify_ID.

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Variable_toString	(	JNIEnv *	env,
		jobject	j_this
	)

Definition at line 1260 of file ppl_java_globals.cc.

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Variables_1Set_initIDs	(	JNIEnv *	env,
		jclass	j_vset_class
	)

Definition at line 692 of file ppl_java_globals.cc.

References CHECK_RESULT_ASSERT, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variables_Set_add_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variables_Set_init_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variables_Set_Iterator_has_next_ID, Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variables_Set_iterator_ID, and Parma_Polyhedra_Library::Interfaces::Java::Java_FMID_Cache::Variables_Set_Iterator_next_ID.

Functions

Function Documentation