parma_polyhedra_library_Pointset_Powerset_Double_Box.h

Go to the documentation of this file.

/* DO NOT EDIT THIS FILE - it is machine generated */
#include <jni.h>
/* Header for class parma_polyhedra_library_Pointset_Powerset_Double_Box */

#ifndef _Included_parma_polyhedra_library_Pointset_Powerset_Double_Box
#define _Included_parma_polyhedra_library_Pointset_Powerset_Double_Box
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    finalize
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_finalize
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    swap
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_swap
  (JNIEnv *, jobject, jobject);

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    affine_dimension
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_affine_1dimension
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    relation_with
 * Signature: (Lparma_polyhedra_library/Constraint;)Lparma_polyhedra_library/Poly_Con_Relation;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_relation_1with__Lparma_1polyhedra_1library_Constraint_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    relation_with
 * Signature: (Lparma_polyhedra_library/Generator;)Lparma_polyhedra_library/Poly_Gen_Relation;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_relation_1with__Lparma_1polyhedra_1library_Generator_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    relation_with
 * Signature: (Lparma_polyhedra_library/Congruence;)Lparma_polyhedra_library/Poly_Con_Relation;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_relation_1with__Lparma_1polyhedra_1library_Congruence_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_empty
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1empty
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_universe
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1universe
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_bounded
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1bounded
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    contains_integer_point
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_contains_1integer_1point
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_topologically_closed
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1topologically_1closed
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_discrete
 * Signature: ()Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1discrete
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    topological_closure_assign
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_topological_1closure_1assign
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    pairwise_reduce
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_pairwise_1reduce
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    omega_reduce
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_omega_1reduce
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    bounds_from_above
 * Signature: (Lparma_polyhedra_library/Linear_Expression;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_bounds_1from_1above
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    bounds_from_below
 * Signature: (Lparma_polyhedra_library/Linear_Expression;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_bounds_1from_1below
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    maximize
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/By_Reference;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    minimize
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/By_Reference;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    maximize
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/By_Reference;Lparma_polyhedra_library/Generator;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    minimize
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/By_Reference;Lparma_polyhedra_library/Generator;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    contains
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    strictly_contains
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_strictly_1contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    is_disjoint_from
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_is_1disjoint_1from
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    geometrically_covers
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_geometrically_1covers
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    geometrically_equals
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_geometrically_1equals
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    equals
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_equals
  (JNIEnv *, jobject, jobject);

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    add_congruence
 * Signature: (Lparma_polyhedra_library/Congruence;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_add_1congruence
  (JNIEnv *, jobject, jobject);

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    add_congruences
 * Signature: (Lparma_polyhedra_library/Congruence_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_add_1congruences
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    refine_with_constraint
 * Signature: (Lparma_polyhedra_library/Constraint;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_refine_1with_1constraint
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    refine_with_congruence
 * Signature: (Lparma_polyhedra_library/Congruence;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_refine_1with_1congruence
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    refine_with_constraints
 * Signature: (Lparma_polyhedra_library/Constraint_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_refine_1with_1constraints
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    refine_with_congruences
 * Signature: (Lparma_polyhedra_library/Congruence_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_refine_1with_1congruences
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    intersection_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_intersection_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    upper_bound_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_upper_1bound_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    difference_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_difference_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    concatenate_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_concatenate_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    time_elapse_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_time_1elapse_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    upper_bound_assign_if_exact
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_upper_1bound_1assign_1if_1exact
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    simplify_using_context_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_simplify_1using_1context_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    constrains
 * Signature: (Lparma_polyhedra_library/Variable;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_constrains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    unconstrain_space_dimension
 * Signature: (Lparma_polyhedra_library/Variable;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_unconstrain_1space_1dimension
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    unconstrain_space_dimensions
 * Signature: (Lparma_polyhedra_library/Variables_Set;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_unconstrain_1space_1dimensions
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    affine_image
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_affine_1image
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    affine_preimage
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_affine_1preimage
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    bounded_affine_image
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_bounded_1affine_1image
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    bounded_affine_preimage
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_bounded_1affine_1preimage
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    generalized_affine_image
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Relation_Symbol;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    generalized_affine_preimage
 * Signature: (Lparma_polyhedra_library/Variable;Lparma_polyhedra_library/Relation_Symbol;Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    generalized_affine_image
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Relation_Symbol;Lparma_polyhedra_library/Linear_Expression;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    generalized_affine_preimage
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Relation_Symbol;Lparma_polyhedra_library/Linear_Expression;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_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);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    add_space_dimensions_and_embed
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_add_1space_1dimensions_1and_1embed
  (JNIEnv *, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    add_space_dimensions_and_project
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_add_1space_1dimensions_1and_1project
  (JNIEnv *, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    remove_space_dimensions
 * Signature: (Lparma_polyhedra_library/Variables_Set;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_remove_1space_1dimensions
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    remove_higher_space_dimensions
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_remove_1higher_1space_1dimensions
  (JNIEnv *, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    expand_space_dimension
 * Signature: (Lparma_polyhedra_library/Variable;J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_expand_1space_1dimension
  (JNIEnv *, jobject, jobject, jlong);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    fold_space_dimensions
 * Signature: (Lparma_polyhedra_library/Variables_Set;Lparma_polyhedra_library/Variable;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_fold_1space_1dimensions
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    map_space_dimensions
 * Signature: (Lparma_polyhedra_library/Partial_Function;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_map_1space_1dimensions
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    drop_some_non_integer_points
 * Signature: (Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    drop_some_non_integer_points
 * Signature: (Lparma_polyhedra_library/Variables_Set;Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_drop_1some_1non_1integer_1points__Lparma_1polyhedra_1library_Variables_1Set_2Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject, jobject);

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    size
 * Signature: ()J
 */
JNIEXPORT jlong JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_size
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    begin_iterator
 * Signature: ()Lparma_polyhedra_library/Pointset_Powerset_Double_Box_Iterator;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_begin_1iterator
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    end_iterator
 * Signature: ()Lparma_polyhedra_library/Pointset_Powerset_Double_Box_Iterator;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_end_1iterator
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    add_disjunct
 * Signature: (Lparma_polyhedra_library/Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_add_1disjunct
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    drop_disjunct
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box_Iterator;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_drop_1disjunct
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    drop_disjuncts
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box_Iterator;Lparma_polyhedra_library/Pointset_Powerset_Double_Box_Iterator;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_drop_1disjuncts
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    free
 * Signature: ()V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_free
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    hashCode
 * Signature: ()I
 */
JNIEXPORT jint JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_hashCode
  (JNIEnv *, jobject);

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Constraint_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Constraint_1System_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Congruence_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Congruence_1System_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (JLparma_polyhedra_library/Degenerate_Element;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__JLparma_1polyhedra_1library_Degenerate_1Element_2
  (JNIEnv *, jobject, jlong, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_Double_Box;Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_2Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Double_Box;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Double_1Box_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_Double_Box
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Double_Box;Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1Double_1Box_build_1cpp_1object__Lparma_1polyhedra_1library_Double_1Box_2Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject, jobject);

#ifdef __cplusplus
}
#endif
#endif