Static Public Member Functions
static native boolean	termination_test_MS_Int8_Box (Int8_Box p)

static native boolean	termination_test_PR_Int8_Box (Int8_Box p)

static native boolean	one_affine_ranking_function_MS_Int8_Box (Int8_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Int8_Box (Int8_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Int8_Box (Int8_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int8_Box (Int8_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int8_Box (Int8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after)

static native boolean	termination_test_PR_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after)

static native boolean	one_affine_ranking_function_MS_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int8_Box_2 (Int8_Box p_before, Int8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int16_Box (Int16_Box p)

static native boolean	termination_test_PR_Int16_Box (Int16_Box p)

static native boolean	one_affine_ranking_function_MS_Int16_Box (Int16_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Int16_Box (Int16_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Int16_Box (Int16_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int16_Box (Int16_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int16_Box (Int16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after)

static native boolean	termination_test_PR_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after)

static native boolean	one_affine_ranking_function_MS_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int16_Box_2 (Int16_Box p_before, Int16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int32_Box (Int32_Box p)

static native boolean	termination_test_PR_Int32_Box (Int32_Box p)

static native boolean	one_affine_ranking_function_MS_Int32_Box (Int32_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Int32_Box (Int32_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Int32_Box (Int32_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int32_Box (Int32_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int32_Box (Int32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after)

static native boolean	termination_test_PR_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after)

static native boolean	one_affine_ranking_function_MS_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int32_Box_2 (Int32_Box p_before, Int32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int64_Box (Int64_Box p)

static native boolean	termination_test_PR_Int64_Box (Int64_Box p)

static native boolean	one_affine_ranking_function_MS_Int64_Box (Int64_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Int64_Box (Int64_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Int64_Box (Int64_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int64_Box (Int64_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int64_Box (Int64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after)

static native boolean	termination_test_PR_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after)

static native boolean	one_affine_ranking_function_MS_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Int64_Box_2 (Int64_Box p_before, Int64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint8_Box (Uint8_Box p)

static native boolean	termination_test_PR_Uint8_Box (Uint8_Box p)

static native boolean	one_affine_ranking_function_MS_Uint8_Box (Uint8_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint8_Box (Uint8_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Uint8_Box (Uint8_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint8_Box (Uint8_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint8_Box (Uint8_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after)

static native boolean	termination_test_PR_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after)

static native boolean	one_affine_ranking_function_MS_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint8_Box_2 (Uint8_Box p_before, Uint8_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint16_Box (Uint16_Box p)

static native boolean	termination_test_PR_Uint16_Box (Uint16_Box p)

static native boolean	one_affine_ranking_function_MS_Uint16_Box (Uint16_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint16_Box (Uint16_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Uint16_Box (Uint16_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint16_Box (Uint16_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint16_Box (Uint16_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after)

static native boolean	termination_test_PR_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after)

static native boolean	one_affine_ranking_function_MS_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint16_Box_2 (Uint16_Box p_before, Uint16_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint32_Box (Uint32_Box p)

static native boolean	termination_test_PR_Uint32_Box (Uint32_Box p)

static native boolean	one_affine_ranking_function_MS_Uint32_Box (Uint32_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint32_Box (Uint32_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Uint32_Box (Uint32_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint32_Box (Uint32_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint32_Box (Uint32_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after)

static native boolean	termination_test_PR_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after)

static native boolean	one_affine_ranking_function_MS_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint32_Box_2 (Uint32_Box p_before, Uint32_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint64_Box (Uint64_Box p)

static native boolean	termination_test_PR_Uint64_Box (Uint64_Box p)

static native boolean	one_affine_ranking_function_MS_Uint64_Box (Uint64_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint64_Box (Uint64_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Uint64_Box (Uint64_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint64_Box (Uint64_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint64_Box (Uint64_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after)

static native boolean	termination_test_PR_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after)

static native boolean	one_affine_ranking_function_MS_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Uint64_Box_2 (Uint64_Box p_before, Uint64_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Z_Box (Z_Box p)

static native boolean	termination_test_PR_Z_Box (Z_Box p)

static native boolean	one_affine_ranking_function_MS_Z_Box (Z_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Z_Box (Z_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Z_Box (Z_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Z_Box (Z_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Z_Box (Z_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Z_Box_2 (Z_Box p_before, Z_Box p_after)

static native boolean	termination_test_PR_Z_Box_2 (Z_Box p_before, Z_Box p_after)

static native boolean	one_affine_ranking_function_MS_Z_Box_2 (Z_Box p_before, Z_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Z_Box_2 (Z_Box p_before, Z_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Z_Box_2 (Z_Box p_before, Z_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Z_Box_2 (Z_Box p_before, Z_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Z_Box_2 (Z_Box p_before, Z_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Rational_Box (Rational_Box p)

static native boolean	termination_test_PR_Rational_Box (Rational_Box p)

static native boolean	one_affine_ranking_function_MS_Rational_Box (Rational_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Rational_Box (Rational_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Rational_Box (Rational_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Rational_Box (Rational_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Rational_Box (Rational_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after)

static native boolean	termination_test_PR_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after)

static native boolean	one_affine_ranking_function_MS_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Rational_Box_2 (Rational_Box p_before, Rational_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int8_t (BD_Shape_int8_t p)

static native boolean	termination_test_PR_BD_Shape_int8_t (BD_Shape_int8_t p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int8_t (BD_Shape_int8_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int8_t (BD_Shape_int8_t p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int8_t (BD_Shape_int8_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int8_t (BD_Shape_int8_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t (BD_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)

static native boolean	termination_test_PR_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2 (BD_Shape_int8_t p_before, BD_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int16_t (BD_Shape_int16_t p)

static native boolean	termination_test_PR_BD_Shape_int16_t (BD_Shape_int16_t p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int16_t (BD_Shape_int16_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int16_t (BD_Shape_int16_t p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int16_t (BD_Shape_int16_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int16_t (BD_Shape_int16_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t (BD_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)

static native boolean	termination_test_PR_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2 (BD_Shape_int16_t p_before, BD_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int32_t (BD_Shape_int32_t p)

static native boolean	termination_test_PR_BD_Shape_int32_t (BD_Shape_int32_t p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int32_t (BD_Shape_int32_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int32_t (BD_Shape_int32_t p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int32_t (BD_Shape_int32_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int32_t (BD_Shape_int32_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t (BD_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)

static native boolean	termination_test_PR_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2 (BD_Shape_int32_t p_before, BD_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int64_t (BD_Shape_int64_t p)

static native boolean	termination_test_PR_BD_Shape_int64_t (BD_Shape_int64_t p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int64_t (BD_Shape_int64_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int64_t (BD_Shape_int64_t p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int64_t (BD_Shape_int64_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int64_t (BD_Shape_int64_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t (BD_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)

static native boolean	termination_test_PR_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2 (BD_Shape_int64_t p_before, BD_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_mpz_class (BD_Shape_mpz_class p)

static native boolean	termination_test_PR_BD_Shape_mpz_class (BD_Shape_mpz_class p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_mpz_class (BD_Shape_mpz_class p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_mpz_class (BD_Shape_mpz_class p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_mpz_class (BD_Shape_mpz_class p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_mpz_class (BD_Shape_mpz_class p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class (BD_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)

static native boolean	termination_test_PR_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2 (BD_Shape_mpz_class p_before, BD_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_mpq_class (BD_Shape_mpq_class p)

static native boolean	termination_test_PR_BD_Shape_mpq_class (BD_Shape_mpq_class p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_mpq_class (BD_Shape_mpq_class p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_mpq_class (BD_Shape_mpq_class p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_mpq_class (BD_Shape_mpq_class p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_mpq_class (BD_Shape_mpq_class p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class (BD_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)

static native boolean	termination_test_PR_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2 (BD_Shape_mpq_class p_before, BD_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p)

static native boolean	termination_test_PR_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t (Octagonal_Shape_int8_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)

static native boolean	termination_test_PR_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2 (Octagonal_Shape_int8_t p_before, Octagonal_Shape_int8_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p)

static native boolean	termination_test_PR_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t (Octagonal_Shape_int16_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)

static native boolean	termination_test_PR_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2 (Octagonal_Shape_int16_t p_before, Octagonal_Shape_int16_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p)

static native boolean	termination_test_PR_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t (Octagonal_Shape_int32_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)

static native boolean	termination_test_PR_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2 (Octagonal_Shape_int32_t p_before, Octagonal_Shape_int32_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p)

static native boolean	termination_test_PR_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t (Octagonal_Shape_int64_t p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)

static native boolean	termination_test_PR_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2 (Octagonal_Shape_int64_t p_before, Octagonal_Shape_int64_t p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p)

static native boolean	termination_test_PR_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class (Octagonal_Shape_mpz_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)

static native boolean	termination_test_PR_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2 (Octagonal_Shape_mpz_class p_before, Octagonal_Shape_mpz_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p)

static native boolean	termination_test_PR_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class (Octagonal_Shape_mpq_class p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)

static native boolean	termination_test_PR_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2 (Octagonal_Shape_mpq_class p_before, Octagonal_Shape_mpq_class p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_C_Polyhedron (C_Polyhedron p)

static native boolean	termination_test_PR_C_Polyhedron (C_Polyhedron p)

static native boolean	termination_test_MS_NNC_Polyhedron (NNC_Polyhedron p)

static native boolean	termination_test_PR_NNC_Polyhedron (NNC_Polyhedron p)

static native boolean	one_affine_ranking_function_MS_C_Polyhedron (C_Polyhedron p, Generator g)

static native boolean	one_affine_ranking_function_PR_C_Polyhedron (C_Polyhedron p, Generator g)

static native boolean	one_affine_ranking_function_MS_NNC_Polyhedron (NNC_Polyhedron p, Generator g)

static native boolean	one_affine_ranking_function_PR_NNC_Polyhedron (NNC_Polyhedron p, Generator g)

static native void	all_affine_ranking_functions_MS_C_Polyhedron (C_Polyhedron p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_C_Polyhedron (C_Polyhedron p, Polyhedron ph)

static native void	all_affine_ranking_functions_MS_NNC_Polyhedron (NNC_Polyhedron p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_NNC_Polyhedron (NNC_Polyhedron p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_C_Polyhedron (C_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native void	all_affine_quasi_ranking_functions_MS_NNC_Polyhedron (NNC_Polyhedron p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after)

static native boolean	termination_test_PR_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after)

static native boolean	termination_test_MS_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after)

static native boolean	termination_test_PR_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after)

static native boolean	one_affine_ranking_function_MS_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after, Generator g)

static native boolean	one_affine_ranking_function_MS_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Generator g)

static native void	all_affine_ranking_functions_MS_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_MS_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_C_Polyhedron_2 (C_Polyhedron p_before, C_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native void	all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2 (NNC_Polyhedron p_before, NNC_Polyhedron p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Grid (Grid p)

static native boolean	termination_test_PR_Grid (Grid p)

static native boolean	one_affine_ranking_function_MS_Grid (Grid p, Generator g)

static native boolean	one_affine_ranking_function_PR_Grid (Grid p, Generator g)

static native void	all_affine_ranking_functions_MS_Grid (Grid p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Grid (Grid p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Grid (Grid p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Grid_2 (Grid p_before, Grid p_after)

static native boolean	termination_test_PR_Grid_2 (Grid p_before, Grid p_after)

static native boolean	one_affine_ranking_function_MS_Grid_2 (Grid p_before, Grid p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Grid_2 (Grid p_before, Grid p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Grid_2 (Grid p_before, Grid p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Grid_2 (Grid p_before, Grid p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Grid_2 (Grid p_before, Grid p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Float_Box (Float_Box p)

static native boolean	termination_test_PR_Float_Box (Float_Box p)

static native boolean	one_affine_ranking_function_MS_Float_Box (Float_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Float_Box (Float_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Float_Box (Float_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Float_Box (Float_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Float_Box (Float_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Float_Box_2 (Float_Box p_before, Float_Box p_after)

static native boolean	termination_test_PR_Float_Box_2 (Float_Box p_before, Float_Box p_after)

static native boolean	one_affine_ranking_function_MS_Float_Box_2 (Float_Box p_before, Float_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Float_Box_2 (Float_Box p_before, Float_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Float_Box_2 (Float_Box p_before, Float_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Float_Box_2 (Float_Box p_before, Float_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Float_Box_2 (Float_Box p_before, Float_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_float (BD_Shape_float p)

static native boolean	termination_test_PR_BD_Shape_float (BD_Shape_float p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_float (BD_Shape_float p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_float (BD_Shape_float p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_float (BD_Shape_float p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_float (BD_Shape_float p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_float (BD_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after)

static native boolean	termination_test_PR_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_float_2 (BD_Shape_float p_before, BD_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_float (Octagonal_Shape_float p)

static native boolean	termination_test_PR_Octagonal_Shape_float (Octagonal_Shape_float p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_float (Octagonal_Shape_float p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_float (Octagonal_Shape_float p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_float (Octagonal_Shape_float p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_float (Octagonal_Shape_float p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float (Octagonal_Shape_float p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)

static native boolean	termination_test_PR_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2 (Octagonal_Shape_float p_before, Octagonal_Shape_float p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Double_Box (Double_Box p)

static native boolean	termination_test_PR_Double_Box (Double_Box p)

static native boolean	one_affine_ranking_function_MS_Double_Box (Double_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Double_Box (Double_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Double_Box (Double_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Double_Box (Double_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Double_Box (Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Double_Box_2 (Double_Box p_before, Double_Box p_after)

static native boolean	termination_test_PR_Double_Box_2 (Double_Box p_before, Double_Box p_after)

static native boolean	one_affine_ranking_function_MS_Double_Box_2 (Double_Box p_before, Double_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Double_Box_2 (Double_Box p_before, Double_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Double_Box_2 (Double_Box p_before, Double_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Double_Box_2 (Double_Box p_before, Double_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Double_Box_2 (Double_Box p_before, Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_double (BD_Shape_double p)

static native boolean	termination_test_PR_BD_Shape_double (BD_Shape_double p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_double (BD_Shape_double p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_double (BD_Shape_double p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_double (BD_Shape_double p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_double (BD_Shape_double p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_double (BD_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after)

static native boolean	termination_test_PR_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_double_2 (BD_Shape_double p_before, BD_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_double (Octagonal_Shape_double p)

static native boolean	termination_test_PR_Octagonal_Shape_double (Octagonal_Shape_double p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_double (Octagonal_Shape_double p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_double (Octagonal_Shape_double p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_double (Octagonal_Shape_double p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_double (Octagonal_Shape_double p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double (Octagonal_Shape_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)

static native boolean	termination_test_PR_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2 (Octagonal_Shape_double p_before, Octagonal_Shape_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Long_Double_Box (Long_Double_Box p)

static native boolean	termination_test_PR_Long_Double_Box (Long_Double_Box p)

static native boolean	one_affine_ranking_function_MS_Long_Double_Box (Long_Double_Box p, Generator g)

static native boolean	one_affine_ranking_function_PR_Long_Double_Box (Long_Double_Box p, Generator g)

static native void	all_affine_ranking_functions_MS_Long_Double_Box (Long_Double_Box p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Long_Double_Box (Long_Double_Box p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Long_Double_Box (Long_Double_Box p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after)

static native boolean	termination_test_PR_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after)

static native boolean	one_affine_ranking_function_MS_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Long_Double_Box_2 (Long_Double_Box p_before, Long_Double_Box p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_long_double (BD_Shape_long_double p)

static native boolean	termination_test_PR_BD_Shape_long_double (BD_Shape_long_double p)

static native boolean	one_affine_ranking_function_MS_BD_Shape_long_double (BD_Shape_long_double p, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_long_double (BD_Shape_long_double p, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_long_double (BD_Shape_long_double p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_long_double (BD_Shape_long_double p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_long_double (BD_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after)

static native boolean	termination_test_PR_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after)

static native boolean	one_affine_ranking_function_MS_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Generator g)

static native void	all_affine_ranking_functions_MS_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2 (BD_Shape_long_double p_before, BD_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_long_double (Octagonal_Shape_long_double p)

static native boolean	termination_test_PR_Octagonal_Shape_long_double (Octagonal_Shape_long_double p)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_long_double (Octagonal_Shape_long_double p, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_long_double (Octagonal_Shape_long_double p, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_long_double (Octagonal_Shape_long_double p, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_long_double (Octagonal_Shape_long_double p, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double (Octagonal_Shape_long_double p, Polyhedron ph_decreasing, Polyhedron ph_bounded)

static native boolean	termination_test_MS_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)

static native boolean	termination_test_PR_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after)

static native boolean	one_affine_ranking_function_MS_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)

static native boolean	one_affine_ranking_function_PR_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Generator g)

static native void	all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)

static native void	all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph)

static native void	all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2 (Octagonal_Shape_long_double p_before, Octagonal_Shape_long_double p_after, Polyhedron ph_decreasing, Polyhedron ph_bounded)

Detailed Description

Definition at line 25 of file Termination.java.

Member Function Documentation

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_double	(	BD_Shape_double	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_float	(	BD_Shape_float	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t	(	BD_Shape_int16_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t	(	BD_Shape_int32_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t	(	BD_Shape_int64_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t	(	BD_Shape_int8_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_long_double	(	BD_Shape_long_double	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class	(	BD_Shape_mpq_class	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class	(	BD_Shape_mpz_class	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_C_Polyhedron	(	C_Polyhedron	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Double_Box	(	Double_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Float_Box	(	Float_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Grid	(	Grid	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Grid_2	(	Grid	p_before,
		Grid	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int16_Box	(	Int16_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int32_Box	(	Int32_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int64_Box	(	Int64_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int8_Box	(	Int8_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Long_Double_Box	(	Long_Double_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_NNC_Polyhedron	(	NNC_Polyhedron	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double	(	Octagonal_Shape_double	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float	(	Octagonal_Shape_float	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t	(	Octagonal_Shape_int16_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t	(	Octagonal_Shape_int32_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t	(	Octagonal_Shape_int64_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t	(	Octagonal_Shape_int8_t	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double	(	Octagonal_Shape_long_double	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class	(	Octagonal_Shape_mpq_class	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class	(	Octagonal_Shape_mpz_class	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Rational_Box	(	Rational_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint16_Box	(	Uint16_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint32_Box	(	Uint32_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint64_Box	(	Uint64_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint8_Box	(	Uint8_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Z_Box	(	Z_Box	p,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_quasi_ranking_functions_MS_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after,
		Polyhedron	ph_decreasing,
		Polyhedron	ph_bounded
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_double	(	BD_Shape_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_float	(	BD_Shape_float	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int16_t	(	BD_Shape_int16_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int32_t	(	BD_Shape_int32_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int64_t	(	BD_Shape_int64_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int8_t	(	BD_Shape_int8_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_long_double	(	BD_Shape_long_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpq_class	(	BD_Shape_mpq_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpz_class	(	BD_Shape_mpz_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_C_Polyhedron	(	C_Polyhedron	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Double_Box	(	Double_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Float_Box	(	Float_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Grid	(	Grid	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Grid_2	(	Grid	p_before,
		Grid	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int16_Box	(	Int16_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int32_Box	(	Int32_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int64_Box	(	Int64_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int8_Box	(	Int8_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Long_Double_Box	(	Long_Double_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_NNC_Polyhedron	(	NNC_Polyhedron	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_double	(	Octagonal_Shape_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_float	(	Octagonal_Shape_float	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int16_t	(	Octagonal_Shape_int16_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int32_t	(	Octagonal_Shape_int32_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int64_t	(	Octagonal_Shape_int64_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int8_t	(	Octagonal_Shape_int8_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_long_double	(	Octagonal_Shape_long_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class	(	Octagonal_Shape_mpq_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class	(	Octagonal_Shape_mpz_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Rational_Box	(	Rational_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint16_Box	(	Uint16_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint32_Box	(	Uint32_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint64_Box	(	Uint64_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint8_Box	(	Uint8_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Z_Box	(	Z_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_MS_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_double	(	BD_Shape_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_float	(	BD_Shape_float	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int16_t	(	BD_Shape_int16_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int32_t	(	BD_Shape_int32_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int64_t	(	BD_Shape_int64_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int8_t	(	BD_Shape_int8_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_long_double	(	BD_Shape_long_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpq_class	(	BD_Shape_mpq_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpz_class	(	BD_Shape_mpz_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_C_Polyhedron	(	C_Polyhedron	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Double_Box	(	Double_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Float_Box	(	Float_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Grid	(	Grid	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Grid_2	(	Grid	p_before,
		Grid	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int16_Box	(	Int16_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int32_Box	(	Int32_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int64_Box	(	Int64_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int8_Box	(	Int8_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Long_Double_Box	(	Long_Double_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_NNC_Polyhedron	(	NNC_Polyhedron	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_double	(	Octagonal_Shape_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_float	(	Octagonal_Shape_float	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int16_t	(	Octagonal_Shape_int16_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int32_t	(	Octagonal_Shape_int32_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int64_t	(	Octagonal_Shape_int64_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int8_t	(	Octagonal_Shape_int8_t	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_long_double	(	Octagonal_Shape_long_double	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class	(	Octagonal_Shape_mpq_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class	(	Octagonal_Shape_mpz_class	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Rational_Box	(	Rational_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint16_Box	(	Uint16_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint32_Box	(	Uint32_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint64_Box	(	Uint64_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint8_Box	(	Uint8_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Z_Box	(	Z_Box	p,
		Polyhedron	ph
	)

static

static native void parma_polyhedra_library.Termination.all_affine_ranking_functions_PR_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after,
		Polyhedron	ph
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_double	(	BD_Shape_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_float	(	BD_Shape_float	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int16_t	(	BD_Shape_int16_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int32_t	(	BD_Shape_int32_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int64_t	(	BD_Shape_int64_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int8_t	(	BD_Shape_int8_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_long_double	(	BD_Shape_long_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpq_class	(	BD_Shape_mpq_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpz_class	(	BD_Shape_mpz_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_C_Polyhedron	(	C_Polyhedron	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Double_Box	(	Double_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Float_Box	(	Float_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Grid	(	Grid	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Grid_2	(	Grid	p_before,
		Grid	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int16_Box	(	Int16_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int32_Box	(	Int32_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int64_Box	(	Int64_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int8_Box	(	Int8_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Long_Double_Box	(	Long_Double_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_NNC_Polyhedron	(	NNC_Polyhedron	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_double	(	Octagonal_Shape_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_float	(	Octagonal_Shape_float	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int16_t	(	Octagonal_Shape_int16_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int32_t	(	Octagonal_Shape_int32_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int64_t	(	Octagonal_Shape_int64_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int8_t	(	Octagonal_Shape_int8_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_long_double	(	Octagonal_Shape_long_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpq_class	(	Octagonal_Shape_mpq_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpz_class	(	Octagonal_Shape_mpz_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Rational_Box	(	Rational_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint16_Box	(	Uint16_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint32_Box	(	Uint32_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint64_Box	(	Uint64_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint8_Box	(	Uint8_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Z_Box	(	Z_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_MS_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_double	(	BD_Shape_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_float	(	BD_Shape_float	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int16_t	(	BD_Shape_int16_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int32_t	(	BD_Shape_int32_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int64_t	(	BD_Shape_int64_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int8_t	(	BD_Shape_int8_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_long_double	(	BD_Shape_long_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpq_class	(	BD_Shape_mpq_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpz_class	(	BD_Shape_mpz_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_C_Polyhedron	(	C_Polyhedron	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Double_Box	(	Double_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Float_Box	(	Float_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Grid	(	Grid	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Grid_2	(	Grid	p_before,
		Grid	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int16_Box	(	Int16_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int32_Box	(	Int32_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int64_Box	(	Int64_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int8_Box	(	Int8_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Long_Double_Box	(	Long_Double_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_NNC_Polyhedron	(	NNC_Polyhedron	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_double	(	Octagonal_Shape_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_float	(	Octagonal_Shape_float	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int16_t	(	Octagonal_Shape_int16_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int32_t	(	Octagonal_Shape_int32_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int64_t	(	Octagonal_Shape_int64_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int8_t	(	Octagonal_Shape_int8_t	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_long_double	(	Octagonal_Shape_long_double	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpq_class	(	Octagonal_Shape_mpq_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpz_class	(	Octagonal_Shape_mpz_class	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Rational_Box	(	Rational_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint16_Box	(	Uint16_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint32_Box	(	Uint32_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint64_Box	(	Uint64_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint8_Box	(	Uint8_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Z_Box	(	Z_Box	p,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.one_affine_ranking_function_PR_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after,
		Generator	g
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_double ( BD_Shape_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_float ( BD_Shape_float p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int16_t ( BD_Shape_int16_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int32_t ( BD_Shape_int32_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int64_t ( BD_Shape_int64_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int8_t ( BD_Shape_int8_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_long_double ( BD_Shape_long_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpq_class ( BD_Shape_mpq_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpz_class ( BD_Shape_mpz_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_C_Polyhedron ( C_Polyhedron p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Double_Box ( Double_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Float_Box ( Float_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Grid ( Grid p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Grid_2	(	Grid	p_before,
		Grid	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int16_Box ( Int16_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int32_Box ( Int32_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int64_Box ( Int64_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int8_Box ( Int8_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Long_Double_Box ( Long_Double_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_NNC_Polyhedron ( NNC_Polyhedron p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_double ( Octagonal_Shape_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_float ( Octagonal_Shape_float p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int16_t ( Octagonal_Shape_int16_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int32_t ( Octagonal_Shape_int32_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int64_t ( Octagonal_Shape_int64_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int8_t ( Octagonal_Shape_int8_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_long_double ( Octagonal_Shape_long_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpq_class ( Octagonal_Shape_mpq_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpz_class ( Octagonal_Shape_mpz_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Rational_Box ( Rational_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint16_Box ( Uint16_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint32_Box ( Uint32_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint64_Box ( Uint64_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint8_Box ( Uint8_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Z_Box ( Z_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_MS_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_double ( BD_Shape_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_double_2	(	BD_Shape_double	p_before,
		BD_Shape_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_float ( BD_Shape_float p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_float_2	(	BD_Shape_float	p_before,
		BD_Shape_float	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int16_t ( BD_Shape_int16_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int16_t_2	(	BD_Shape_int16_t	p_before,
		BD_Shape_int16_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int32_t ( BD_Shape_int32_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int32_t_2	(	BD_Shape_int32_t	p_before,
		BD_Shape_int32_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int64_t ( BD_Shape_int64_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int64_t_2	(	BD_Shape_int64_t	p_before,
		BD_Shape_int64_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int8_t ( BD_Shape_int8_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_int8_t_2	(	BD_Shape_int8_t	p_before,
		BD_Shape_int8_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_long_double ( BD_Shape_long_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_long_double_2	(	BD_Shape_long_double	p_before,
		BD_Shape_long_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpq_class ( BD_Shape_mpq_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpq_class_2	(	BD_Shape_mpq_class	p_before,
		BD_Shape_mpq_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpz_class ( BD_Shape_mpz_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_BD_Shape_mpz_class_2	(	BD_Shape_mpz_class	p_before,
		BD_Shape_mpz_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_C_Polyhedron ( C_Polyhedron p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_C_Polyhedron_2	(	C_Polyhedron	p_before,
		C_Polyhedron	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Double_Box ( Double_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Double_Box_2	(	Double_Box	p_before,
		Double_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Float_Box ( Float_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Float_Box_2	(	Float_Box	p_before,
		Float_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Grid ( Grid p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Grid_2	(	Grid	p_before,
		Grid	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int16_Box ( Int16_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int16_Box_2	(	Int16_Box	p_before,
		Int16_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int32_Box ( Int32_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int32_Box_2	(	Int32_Box	p_before,
		Int32_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int64_Box ( Int64_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int64_Box_2	(	Int64_Box	p_before,
		Int64_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int8_Box ( Int8_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Int8_Box_2	(	Int8_Box	p_before,
		Int8_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Long_Double_Box ( Long_Double_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Long_Double_Box_2	(	Long_Double_Box	p_before,
		Long_Double_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_NNC_Polyhedron ( NNC_Polyhedron p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_NNC_Polyhedron_2	(	NNC_Polyhedron	p_before,
		NNC_Polyhedron	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_double ( Octagonal_Shape_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_double_2	(	Octagonal_Shape_double	p_before,
		Octagonal_Shape_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_float ( Octagonal_Shape_float p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_float_2	(	Octagonal_Shape_float	p_before,
		Octagonal_Shape_float	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int16_t ( Octagonal_Shape_int16_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int16_t_2	(	Octagonal_Shape_int16_t	p_before,
		Octagonal_Shape_int16_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int32_t ( Octagonal_Shape_int32_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int32_t_2	(	Octagonal_Shape_int32_t	p_before,
		Octagonal_Shape_int32_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int64_t ( Octagonal_Shape_int64_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int64_t_2	(	Octagonal_Shape_int64_t	p_before,
		Octagonal_Shape_int64_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int8_t ( Octagonal_Shape_int8_t p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_int8_t_2	(	Octagonal_Shape_int8_t	p_before,
		Octagonal_Shape_int8_t	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_long_double ( Octagonal_Shape_long_double p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_long_double_2	(	Octagonal_Shape_long_double	p_before,
		Octagonal_Shape_long_double	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpq_class ( Octagonal_Shape_mpq_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpq_class_2	(	Octagonal_Shape_mpq_class	p_before,
		Octagonal_Shape_mpq_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpz_class ( Octagonal_Shape_mpz_class p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Octagonal_Shape_mpz_class_2	(	Octagonal_Shape_mpz_class	p_before,
		Octagonal_Shape_mpz_class	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Rational_Box ( Rational_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Rational_Box_2	(	Rational_Box	p_before,
		Rational_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint16_Box ( Uint16_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint16_Box_2	(	Uint16_Box	p_before,
		Uint16_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint32_Box ( Uint32_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint32_Box_2	(	Uint32_Box	p_before,
		Uint32_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint64_Box ( Uint64_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint64_Box_2	(	Uint64_Box	p_before,
		Uint64_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint8_Box ( Uint8_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Uint8_Box_2	(	Uint8_Box	p_before,
		Uint8_Box	p_after
	)

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Z_Box ( Z_Box p )

static

static native boolean parma_polyhedra_library.Termination.termination_test_PR_Z_Box_2	(	Z_Box	p_before,
		Z_Box	p_after
	)

static

The documentation for this class was generated from the following file:

Termination.java

Static Public Member Functions

Detailed Description

Member Function Documentation