parma_polyhedra_library_Pointset_Powerset_Rational_Box.h File Reference

#include <jni.h>

Include dependency graph for parma_polyhedra_library_Pointset_Powerset_Rational_Box.h:

Go to the source code of this file.

Functions
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_finalize (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_swap (JNIEnv *, jobject, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_space_1dimension (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_affine_1dimension (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_relation_1with__Lparma_1polyhedra_1library_Constraint_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_relation_1with__Lparma_1polyhedra_1library_Generator_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_relation_1with__Lparma_1polyhedra_1library_Congruence_2 (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1empty (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1universe (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1bounded (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_contains_1integer_1point (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1topologically_1closed (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1discrete (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_topological_1closure_1assign (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_pairwise_1reduce (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_omega_1reduce (JNIEnv *, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_bounds_1from_1above (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_bounds_1from_1below (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_contains (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_strictly_1contains (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1disjoint_1from (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_geometrically_1covers (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_geometrically_1equals (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_equals (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_OK (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1constraint (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1congruence (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1constraints (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1congruences (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_refine_1with_1constraint (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_refine_1with_1congruence (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_refine_1with_1constraints (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_refine_1with_1congruences (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_intersection_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_upper_1bound_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_difference_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_concatenate_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_time_1elapse_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_upper_1bound_1assign_1if_1exact (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_simplify_1using_1context_1assign (JNIEnv *, jobject, jobject)
JNIEXPORT jboolean JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_constrains (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_unconstrain_1space_1dimension (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_unconstrain_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_affine_1image (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_affine_1preimage (JNIEnv *, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_bounded_1affine_1image (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_bounded_1affine_1preimage (JNIEnv *, jobject, jobject, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_add_1space_1dimensions_1and_1embed (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1space_1dimensions_1and_1project (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_remove_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_remove_1higher_1space_1dimensions (JNIEnv *, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_expand_1space_1dimension (JNIEnv *, jobject, jobject, jlong)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_fold_1space_1dimensions (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_map_1space_1dimensions (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Complexity_1Class_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_ascii_1dump (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_external_1memory_1in_1bytes (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_total_1memory_1in_1bytes (JNIEnv *, jobject)
JNIEXPORT jlong JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_size (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_begin_1iterator (JNIEnv *, jobject)
JNIEXPORT jobject JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_end_1iterator (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_add_1disjunct (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_drop_1disjunct (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_drop_1disjuncts (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_free (JNIEnv *, jobject)
JNIEXPORT jint JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_hashCode (JNIEnv *, jobject)
JNIEXPORT jstring JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_toString (JNIEnv *, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Constraint_1System_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Congruence_1System_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__JLparma_1polyhedra_1library_Degenerate_1Element_2 (JNIEnv *, jobject, jlong, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_2Lparma_1polyhedra_1library_Complexity_1Class_2 (JNIEnv *, jobject, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Rational_1Box_2 (JNIEnv *, jobject, jobject)
JNIEXPORT void JNICALL	Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Rational_1Box_2Lparma_1polyhedra_1library_Complexity_1Class_2 (JNIEnv *, jobject, jobject, jobject)

Function Documentation

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

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

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

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

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

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

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

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_affine_1dimension	(	JNIEnv *	,
		jobject
	)

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

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

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_ascii_1dump	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_begin_1iterator	(	JNIEnv *	,
		jobject
	)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_contains_1integer_1point	(	JNIEnv *	,
		jobject
	)

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

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

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

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

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

JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_end_1iterator	(	JNIEnv *	,
		jobject
	)

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

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

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_external_1memory_1in_1bytes	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_finalize	(	JNIEnv *	,
		jobject
	)

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

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_free	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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 jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_geometrically_1covers	(	JNIEnv *	,
		jobject	,
		jobject
	)

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

JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_hashCode	(	JNIEnv *	,
		jobject
	)

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

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1bounded	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1discrete	(	JNIEnv *	,
		jobject
	)

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

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1empty	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1topologically_1closed	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_is_1universe	(	JNIEnv *	,
		jobject
	)

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

JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_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_Pointset_1Powerset_1Rational_1Box_OK	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_omega_1reduce	(	JNIEnv *	,
		jobject
	)

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_pairwise_1reduce	(	JNIEnv *	,
		jobject
	)

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

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

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

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

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

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

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

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

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

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

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_size	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_space_1dimension	(	JNIEnv *	,
		jobject
	)

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

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

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

JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_topological_1closure_1assign	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_toString	(	JNIEnv *	,
		jobject
	)

JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Rational_1Box_total_1memory_1in_1bytes	(	JNIEnv *	,
		jobject
	)

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

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

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

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