parma_polyhedra_library_Pointset_Powerset_C_Polyhedron.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_C_Polyhedron */

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    swap
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_swap
  (JNIEnv *, jobject, jobject);

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * Method:    contains
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    strictly_contains
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_strictly_1contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    is_disjoint_from
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_is_1disjoint_1from
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    geometrically_covers
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_geometrically_1covers
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    geometrically_equals
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_geometrically_1equals
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    equals
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_equals
  (JNIEnv *, jobject, jobject);

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

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

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    intersection_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_intersection_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    upper_bound_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_upper_1bound_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    difference_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_difference_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    concatenate_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_concatenate_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    time_elapse_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_time_1elapse_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    upper_bound_assign_if_exact
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_upper_1bound_1assign_1if_1exact
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    simplify_using_context_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_simplify_1using_1context_1assign
  (JNIEnv *, jobject, jobject);

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_affine_1image
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_affine_1preimage
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_bounded_1affine_1image
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_bounded_1affine_1preimage
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * Method:    add_space_dimensions_and_embed
 * Signature: (J)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_add_1space_1dimensions_1and_1embed
  (JNIEnv *, jobject, jlong);

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * 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_1C_1Polyhedron_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_C_Polyhedron
 * Method:    ascii_dump
 * Signature: ()Ljava/lang/String;
 */
JNIEXPORT jstring JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_ascii_1dump
  (JNIEnv *, jobject);

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    begin_iterator
 * Signature: ()Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron_Iterator;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_begin_1iterator
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    end_iterator
 * Signature: ()Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron_Iterator;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_end_1iterator
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    add_disjunct
 * Signature: (Lparma_polyhedra_library/C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_add_1disjunct
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    drop_disjunct
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron_Iterator;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_drop_1disjunct
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    drop_disjuncts
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron_Iterator;Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron_Iterator;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_drop_1disjuncts
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    BHZ03_BHRZ03_BHRZ03_widening_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_BHZ03_1BHRZ03_1BHRZ03_1widening_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    BHZ03_H79_H79_widening_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_BHZ03_1H79_1H79_1widening_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    BGP99_BHRZ03_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;Ljava/lang/Integer;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_BGP99_1BHRZ03_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    BGP99_H79_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;Ljava/lang/Integer;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_BGP99_1H79_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject);

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/Pointset_Powerset_C_Polyhedron;Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_build_1cpp_1object__Lparma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_2Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/C_Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_build_1cpp_1object__Lparma_1polyhedra_1library_C_1Polyhedron_2
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Pointset_Powerset_C_Polyhedron
 * Method:    build_cpp_object
 * Signature: (Lparma_polyhedra_library/C_Polyhedron;Lparma_polyhedra_library/Complexity_Class;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Pointset_1Powerset_1C_1Polyhedron_build_1cpp_1object__Lparma_1polyhedra_1library_C_1Polyhedron_2Lparma_1polyhedra_1library_Complexity_1Class_2
  (JNIEnv *, jobject, jobject, jobject);

#ifdef __cplusplus
}
#endif
#endif