parma_polyhedra_library_Polyhedron.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_Polyhedron.h:

Go to the source code of this file.

Functions
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_swap (JNIEnv *, jobject, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Polyhedron_space_1dimension (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Polyhedron_affine_1dimension (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Constraint_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Generator_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Congruence_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_constraints (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_congruences (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_generators (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_minimized_1constraints (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_minimized_1congruences (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Polyhedron_minimized_1generators (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1empty (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1universe (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1bounded (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_contains_1integer_1point (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1topologically_1closed (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1discrete (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_topological_1closure_1assign (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounds_1from_1above (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounds_1from_1below (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_maximize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_minimize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_maximize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2Lparma_1polyhedra_1library_Generator_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_minimize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2Lparma_1polyhedra_1library_Generator_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_frequency (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_contains (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_strictly_1contains (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_is_1disjoint_1from (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_equals (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_OK (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1constraint (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1congruence (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1generator (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1constraints (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1congruences (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1generators (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1constraint (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1congruence (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1constraints (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1congruences (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_intersection_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_upper_1bound_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_difference_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_concatenate_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_time_1elapse_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_poly_1hull_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_poly_1difference_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_simplify_1using_1context_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Polyhedron_constrains (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_unconstrain_1space_1dimension (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_unconstrain_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_affine_1image (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_affine_1preimage (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounded_1affine_1image (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounded_1affine_1preimage (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1image__Lparma_1polyhedra_1library_Variable_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1preimage__Lparma_1polyhedra_1library_Variable_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2 (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1image__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2 (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1preimage__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2 (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1space_1dimensions_1and_1embed (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_add_1space_1dimensions_1and_1project (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_remove_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_remove_1higher_1space_1dimensions (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_expand_1space_1dimension (JNIEnv *, jobject, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_fold_1space_1dimensions (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_map_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Complexity_1Class_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Variables_1Set_2Lparma_1polyhedra_1library_Complexity_1Class_2 (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Polyhedron_ascii_1dump (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Polyhedron_external_1memory_1in_1bytes (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Polyhedron_total_1memory_1in_1bytes (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_BHRZ03_1widening_1assign (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_H79_1widening_1assign (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_widening_1assign (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_limited_1BHRZ03_1extrapolation_1assign (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounded_1BHRZ03_1extrapolation_1assign (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_limited_1H79_1extrapolation_1assign (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_bounded_1H79_1extrapolation_1assign (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Polyhedron_wrap_1assign (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject, jlong, jboolean)
JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Polyhedron_hashCode (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Polyhedron_toString (JNIEnv *, jobject)

Function Documentation

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1congruence	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1congruences	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1constraint	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1constraints	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1generator	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1generators	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1space_1dimensions_1and_1embed	(	JNIEnv *	,
		jobject	,
		jlong
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1space_1dimensions_1and_1project	(	JNIEnv *	,
		jobject	,
		jlong
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Polyhedron_affine_1dimension	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_affine_1image	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_affine_1preimage	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Polyhedron_ascii_1dump	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_BHRZ03_1widening_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1affine_1image	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1affine_1preimage	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1BHRZ03_1extrapolation_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1H79_1extrapolation_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounds_1from_1above	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounds_1from_1below	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_concatenate_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_congruences	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_constrains	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_constraints	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_contains	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_contains_1integer_1point	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_difference_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Complexity_1Class_2	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Variables_1Set_2Lparma_1polyhedra_1library_Complexity_1Class_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_equals	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_expand_1space_1dimension	(	JNIEnv *	,
		jobject	,
		jobject	,
		jlong
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Polyhedron_external_1memory_1in_1bytes	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_fold_1space_1dimensions	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_frequency	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1image__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1image__Lparma_1polyhedra_1library_Variable_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1preimage__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_generalized_1affine_1preimage__Lparma_1polyhedra_1library_Variable_2Lparma_1polyhedra_1library_Relation_1Symbol_2Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_generators	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_H79_1widening_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Polyhedron_hashCode	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_intersection_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1bounded	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1discrete	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1disjoint_1from	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1empty	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1topologically_1closed	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1universe	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_limited_1BHRZ03_1extrapolation_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_limited_1H79_1extrapolation_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_map_1space_1dimensions	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_maximize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_maximize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2Lparma_1polyhedra_1library_Generator_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimize__Lparma_1polyhedra_1library_Linear_1Expression_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_Coefficient_2Lparma_1polyhedra_1library_By_1Reference_2Lparma_1polyhedra_1library_Generator_2	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1congruences	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1constraints	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1generators	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_OK	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_poly_1difference_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_poly_1hull_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1congruence	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1congruences	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1constraint	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_refine_1with_1constraints	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Congruence_2	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Constraint_2	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_relation_1with__Lparma_1polyhedra_1library_Generator_2	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_remove_1higher_1space_1dimensions	(	JNIEnv *	,
		jobject	,
		jlong
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_remove_1space_1dimensions	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_simplify_1using_1context_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Polyhedron_space_1dimension	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_strictly_1contains	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_swap	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_time_1elapse_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_topological_1closure_1assign	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Polyhedron_toString	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Polyhedron_total_1memory_1in_1bytes	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_unconstrain_1space_1dimension	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_unconstrain_1space_1dimensions	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_upper_1bound_1assign	(	JNIEnv *	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_widening_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_wrap_1assign	(	JNIEnv *	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jobject	,
		jlong	,
		jboolean
	)