parma_polyhedra_library_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_Polyhedron */

#ifndef _Included_parma_polyhedra_library_Polyhedron
#define _Included_parma_polyhedra_library_Polyhedron
#ifdef __cplusplus
extern "C" {
#endif
/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    swap
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_swap
  (JNIEnv *, jobject, jobject);

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    constraints
 * Signature: ()Lparma_polyhedra_library/Constraint_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_constraints
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    congruences
 * Signature: ()Lparma_polyhedra_library/Congruence_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_congruences
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    generators
 * Signature: ()Lparma_polyhedra_library/Generator_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_generators
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    minimized_constraints
 * Signature: ()Lparma_polyhedra_library/Constraint_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1constraints
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    minimized_congruences
 * Signature: ()Lparma_polyhedra_library/Congruence_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1congruences
  (JNIEnv *, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    minimized_generators
 * Signature: ()Lparma_polyhedra_library/Generator_System;
 */
JNIEXPORT jobject JNICALL Java_parma_1polyhedra_1library_Polyhedron_minimized_1generators
  (JNIEnv *, jobject);

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

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

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    frequency
 * Signature: (Lparma_polyhedra_library/Linear_Expression;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;Lparma_polyhedra_library/Coefficient;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_frequency
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    contains
 * Signature: (Lparma_polyhedra_library/Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    strictly_contains
 * Signature: (Lparma_polyhedra_library/Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_strictly_1contains
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    is_disjoint_from
 * Signature: (Lparma_polyhedra_library/Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_is_1disjoint_1from
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    equals
 * Signature: (Lparma_polyhedra_library/Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_equals
  (JNIEnv *, jobject, jobject);

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

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

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

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    add_generator
 * Signature: (Lparma_polyhedra_library/Generator;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1generator
  (JNIEnv *, jobject, jobject);

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

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

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    add_generators
 * Signature: (Lparma_polyhedra_library/Generator_System;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_add_1generators
  (JNIEnv *, jobject, jobject);

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    intersection_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_intersection_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    upper_bound_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_upper_1bound_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    difference_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_difference_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    concatenate_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_concatenate_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    time_elapse_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_time_1elapse_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    poly_hull_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_poly_1hull_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    poly_difference_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_poly_1difference_1assign
  (JNIEnv *, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    simplify_using_context_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;)Z
 */
JNIEXPORT jboolean JNICALL Java_parma_1polyhedra_1library_Polyhedron_simplify_1using_1context_1assign
  (JNIEnv *, jobject, jobject);

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

/*
 * Class:     parma_polyhedra_library_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_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);

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

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

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

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

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

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

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

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

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

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

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

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

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    BHRZ03_widening_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_BHRZ03_1widening_1assign
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    H79_widening_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_H79_1widening_1assign
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    widening_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_widening_1assign
  (JNIEnv *, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    limited_BHRZ03_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Constraint_System;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_limited_1BHRZ03_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    bounded_BHRZ03_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Constraint_System;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1BHRZ03_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    limited_H79_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Constraint_System;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_limited_1H79_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    bounded_H79_extrapolation_assign
 * Signature: (Lparma_polyhedra_library/Polyhedron;Lparma_polyhedra_library/Constraint_System;Lparma_polyhedra_library/By_Reference;)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_bounded_1H79_1extrapolation_1assign
  (JNIEnv *, jobject, jobject, jobject, jobject);

/*
 * Class:     parma_polyhedra_library_Polyhedron
 * Method:    wrap_assign
 * Signature: (Lparma_polyhedra_library/Variables_Set;Lparma_polyhedra_library/Bounded_Integer_Type_Width;Lparma_polyhedra_library/Bounded_Integer_Type_Representation;Lparma_polyhedra_library/Bounded_Integer_Type_Overflow;Lparma_polyhedra_library/Constraint_System;JZ)V
 */
JNIEXPORT void JNICALL Java_parma_1polyhedra_1library_Polyhedron_wrap_1assign
  (JNIEnv *, jobject, jobject, jobject, jobject, jobject, jobject, jlong, jboolean);

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

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

#ifdef __cplusplus
}
#endif
#endif