Crate elina_sys 

Structs

_G_fpos64_t

_G_fpos_t

_IO_FILE

_IO_codecvt

_IO_marker

_IO_wide_data

__fsid_t

__gmp_randstate_struct

__locale_data

__locale_struct

__mbstate_t

__mpf_struct

__mpfr_struct

__mpq_struct

__mpz_struct

__pthread_cond_s

__pthread_cond_s__bindgen_ty_1__bindgen_ty_1

__pthread_cond_s__bindgen_ty_2__bindgen_ty_1

__pthread_internal_list

__pthread_internal_slist

__pthread_mutex_s

__pthread_rwlock_arch_t

__sigset_t

__va_list_tag

array_comp_list_t

comp_list_t

comp_t

div_t

drand48_data

elina_abstract0_t

elina_coeff_t

elina_dimchange2_t

elina_dimchange_t

elina_dimension_t

elina_dimperm_t

elina_exclog_t

elina_float_const

elina_funopt_t

elina_interval_t

elina_lincons0_array_t

elina_lincons0_t

elina_linexpr0_t

elina_linterm_t

elina_manager_t

elina_membuf_t

elina_option_t

elina_rat_t

elina_result_t

elina_scalar_t

elina_tcons0_array_t

elina_tcons0_t

elina_texpr0_node_t

elina_texpr0_t

fd_set

ldiv_t

lldiv_t

max_align_t

opt_matrix_t

opt_pk_array_t

opt_pk_internal_t

opt_pk_t

opt_satmat_t

random_data

timespec

timeval

Enums

ConsTyp

TexprBinop

TexprUnop

Constants

AIO_PRIO_DELTA_MAX

ARG_MAX

BC_BASE_MAX

BC_DIM_MAX

BC_SCALE_MAX

BC_STRING_MAX

BIG_ENDIAN

BUFSIZ

BYTE_ORDER

CHARCLASS_NAME_MAX

COLL_WEIGHTS_MAX

DELAYTIMER_MAX

ELINA_INT_ONE

ELINA_INT_ZERO

EOF

EXIT_FAILURE

EXIT_SUCCESS

EXPR_NEST_MAX

FD_SETSIZE

FILENAME_MAX

FOPEN_MAX

FP_ILOGB0

FP_ILOGBNAN

FP_INFINITE

FP_NAN

FP_NORMAL

FP_SUBNORMAL

FP_ZERO

GMP_ERROR_DIVISION_BY_ZERO

GMP_ERROR_INVALID_ARGUMENT

GMP_ERROR_NONE

GMP_ERROR_SQRT_OF_NEGATIVE

GMP_ERROR_UNSUPPORTED_ARGUMENT

GMP_LIMB_BITS

GMP_NAIL_BITS

GMP_NUMB_BITS

HOST_NAME_MAX

INT8_MAX

INT8_MIN

INT16_MAX

INT16_MIN

INT32_MAX

INT32_MIN

INTPTR_MAX

INTPTR_MIN

INT_FAST8_MAX

INT_FAST8_MIN

INT_FAST16_MAX

INT_FAST16_MIN

INT_FAST32_MAX

INT_FAST32_MIN

INT_LEAST8_MAX

INT_LEAST8_MIN

INT_LEAST16_MAX

INT_LEAST16_MIN

INT_LEAST32_MAX

INT_LEAST32_MIN

LINE_MAX

LINK_MAX

LITTLE_ENDIAN

LOGIN_NAME_MAX

L_ctermid

L_tmpnam

MATH_ERREXCEPT

MATH_ERRNO

MAX_CANON

MAX_INPUT

MB_LEN_MAX

MPFR_FLAGS_ALL

MPFR_FLAGS_DIVBY0

MPFR_FLAGS_ERANGE

MPFR_FLAGS_INEXACT

MPFR_FLAGS_NAN

MPFR_FLAGS_OVERFLOW

MPFR_FLAGS_UNDERFLOW

MPFR_PREC_MIN

MPFR_USE_C99_FEATURE

MPFR_VERSION_MAJOR

MPFR_VERSION_MINOR

MPFR_VERSION_PATCHLEVEL

MPFR_VERSION_STRING

MQ_PRIO_MAX

M_1_PI

M_2_PI

M_2_SQRTPI

M_E

M_LN2

M_LN10

M_LOG2E

M_LOG10E

M_PI

M_PI_2

M_PI_4

M_SQRT2

M_SQRT1_2

NAME_MAX

NGROUPS_MAX

NR_OPEN

PATH_MAX

PDP_ENDIAN

PIPE_BUF

PTHREAD_DESTRUCTOR_ITERATIONS

PTHREAD_KEYS_MAX

PTHREAD_STACK_MIN

PTRDIFF_MAX

PTRDIFF_MIN

P_tmpdir

RAND_MAX

RE_DUP_MAX

RTSIG_MAX

SEEK_CUR

SEEK_END

SEEK_SET

SEM_VALUE_MAX

SIG_ATOMIC_MAX

SIG_ATOMIC_MIN

SIZE_MAX

TMP_MAX

TTY_NAME_MAX

UINT8_MAX

UINT16_MAX

UINT32_MAX

UINTPTR_MAX

UINT_FAST8_MAX

UINT_FAST16_MAX

UINT_FAST32_MAX

UINT_LEAST8_MAX

UINT_LEAST16_MAX

UINT_LEAST32_MAX

WCONTINUED

WEXITED

WINT_MAX

WINT_MIN

WNOHANG

WNOWAIT

WSTOPPED

WUNTRACED

XATTR_LIST_MAX

XATTR_NAME_MAX

XATTR_SIZE_MAX

_ALLOCA_H

_ASSERT_H

_ATFILE_SOURCE

_BITS_BYTESWAP_H

_BITS_ENDIANNESS_H

_BITS_ENDIAN_H

_BITS_LIBM_SIMD_DECL_STUBS_H

_BITS_POSIX1_LIM_H

_BITS_POSIX2_LIM_H

_BITS_PTHREADTYPES_ARCH_H

_BITS_PTHREADTYPES_COMMON_H

_BITS_STDINT_INTN_H

_BITS_STDINT_UINTN_H

_BITS_STDIO_LIM_H

_BITS_TIME64_H

_BITS_TYPESIZES_H

_BITS_TYPES_H

_BITS_TYPES_LOCALE_T_H

_BITS_TYPES___LOCALE_T_H

_BITS_UINTN_IDENTITY_H

_BITS_WCHAR_H

_DEFAULT_SOURCE

_ENDIAN_H

_FEATURES_H

_GMP_H_HAVE_FILE

_GMP_H_HAVE_VA_LIST

_IOFBF

_IOLBF

_IONBF

_IO_EOF_SEEN

_IO_ERR_SEEN

_IO_USER_LOCK

_LIBC_LIMITS_H_

_MATH_H

_MPFR_EXP_FORMAT

_MPFR_H_HAVE_FILE

_MPFR_H_HAVE_INTMAX_T

_MPFR_H_HAVE_VA_LIST

_MPFR_H_HAVE_VA_LIST_FILE

_MPFR_PREC_FORMAT

_POSIX2_BC_BASE_MAX

_POSIX2_BC_DIM_MAX

_POSIX2_BC_SCALE_MAX

_POSIX2_BC_STRING_MAX

_POSIX2_CHARCLASS_NAME_MAX

_POSIX2_COLL_WEIGHTS_MAX

_POSIX2_EXPR_NEST_MAX

_POSIX2_LINE_MAX

_POSIX2_RE_DUP_MAX

_POSIX_AIO_LISTIO_MAX

_POSIX_AIO_MAX

_POSIX_ARG_MAX

_POSIX_CHILD_MAX

_POSIX_CLOCKRES_MIN

_POSIX_C_SOURCE

_POSIX_DELAYTIMER_MAX

_POSIX_HOST_NAME_MAX

_POSIX_LINK_MAX

_POSIX_LOGIN_NAME_MAX

_POSIX_MAX_CANON

_POSIX_MAX_INPUT

_POSIX_MQ_OPEN_MAX

_POSIX_MQ_PRIO_MAX

_POSIX_NAME_MAX

_POSIX_NGROUPS_MAX

_POSIX_OPEN_MAX

_POSIX_PATH_MAX

_POSIX_PIPE_BUF

_POSIX_RE_DUP_MAX

_POSIX_RTSIG_MAX

_POSIX_SEM_NSEMS_MAX

_POSIX_SEM_VALUE_MAX

_POSIX_SIGQUEUE_MAX

_POSIX_SOURCE

_POSIX_SSIZE_MAX

_POSIX_STREAM_MAX

_POSIX_SYMLINK_MAX

_POSIX_SYMLOOP_MAX

_POSIX_THREAD_DESTRUCTOR_ITERATIONS

_POSIX_THREAD_KEYS_MAX

_POSIX_THREAD_THREADS_MAX

_POSIX_TIMER_MAX

_POSIX_TTY_NAME_MAX

_POSIX_TZNAME_MAX

_STDC_PREDEF_H

_STDINT_H

_STDIO_H

_STDLIB_H

_STRINGS_H

_STRING_H

_STRUCT_TIMESPEC

_SYS_CDEFS_H

_SYS_SELECT_H

_SYS_TYPES_H

_THREAD_MUTEX_INTERNAL_H

_THREAD_SHARED_TYPES_H

__BIG_ENDIAN

__BIT_TYPES_DEFINED__

__BYTE_ORDER

__ENUM_IDTYPE_T

__FD_SETSIZE

__FD_ZERO_STOS

__FILE_defined

__FLOAT_WORD_ORDER

__FP_LOGB0_IS_MIN

__FP_LOGBNAN_IS_MIN

__GLIBC_MINOR__

__GLIBC_USE_DEPRECATED_GETS

__GLIBC_USE_DEPRECATED_SCANF

__GLIBC_USE_IEC_60559_BFP_EXT

__GLIBC_USE_IEC_60559_BFP_EXT_C2X

__GLIBC_USE_IEC_60559_FUNCS_EXT

__GLIBC_USE_IEC_60559_FUNCS_EXT_C2X

__GLIBC_USE_IEC_60559_TYPES_EXT

__GLIBC_USE_ISOC2X

__GLIBC_USE_LIB_EXT2

__GLIBC__

__GMP_CC

__GMP_CFLAGS

__GMP_HAVE_HOST_CPU_FAMILY_power

__GMP_HAVE_HOST_CPU_FAMILY_powerpc

__GMP_INLINE_PROTOTYPES

__GMP_LIBGMP_DLL

__GMP_MP_SIZE_T_INT

__GNUC_VA_LIST

__GNU_LIBRARY__

__GNU_MP_RELEASE

__GNU_MP_VERSION

__GNU_MP_VERSION_MINOR

__GNU_MP_VERSION_PATCHLEVEL

__GNU_MP__

__HAVE_DISTINCT_FLOAT16

__HAVE_DISTINCT_FLOAT32

__HAVE_DISTINCT_FLOAT64

__HAVE_DISTINCT_FLOAT32X

__HAVE_DISTINCT_FLOAT64X

__HAVE_DISTINCT_FLOAT128

__HAVE_DISTINCT_FLOAT128X

__HAVE_FLOAT16

__HAVE_FLOAT32

__HAVE_FLOAT64

__HAVE_FLOAT32X

__HAVE_FLOAT64X

__HAVE_FLOAT64X_LONG_DOUBLE

__HAVE_FLOAT128

__HAVE_FLOAT128X

__HAVE_FLOATN_NOT_TYPEDEF

__HAVE_GENERIC_SELECTION

__INO_T_MATCHES_INO64_T

__LITTLE_ENDIAN

__LONG_DOUBLE_USES_FLOAT128

__MATH_DECLARE_LDOUBLE

__MATH_DECLARING_DOUBLE

__MATH_DECLARING_FLOATN

__OFF_T_MATCHES_OFF64_T

__PDP_ENDIAN

__PTHREAD_MUTEX_HAVE_PREV

__RLIM_T_MATCHES_RLIM64_T

__SIZEOF_PTHREAD_ATTR_T

__SIZEOF_PTHREAD_BARRIERATTR_T

__SIZEOF_PTHREAD_BARRIER_T

__SIZEOF_PTHREAD_CONDATTR_T

__SIZEOF_PTHREAD_COND_T

__SIZEOF_PTHREAD_MUTEXATTR_T

__SIZEOF_PTHREAD_MUTEX_T

__SIZEOF_PTHREAD_RWLOCKATTR_T

__SIZEOF_PTHREAD_RWLOCK_T

__STATFS_MATCHES_STATFS64

__STDC_IEC_559_COMPLEX__

__STDC_IEC_559__

__STDC_ISO_10646__

__SYSCALL_WORDSIZE

__TIMESIZE

__USE_ATFILE

__USE_FORTIFY_LEVEL

__USE_ISOC11

__USE_ISOC95

__USE_ISOC99

__USE_MISC

__USE_POSIX

__USE_POSIX2

__USE_POSIX199309

__USE_POSIX199506

__USE_POSIX_IMPLICITLY

__USE_XOPEN2K

__USE_XOPEN2K8

__WALL

__WCLONE

__WCOREFLAG

__WNOTHREAD

__WORDSIZE

__WORDSIZE_TIME64_COMPAT32

__W_CONTINUED

____FILE_defined

_____fpos64_t_defined

_____fpos_t_defined

____mbstate_t_defined

__clock_t_defined

__clockid_t_defined

__glibc_c99_flexarr_available

__have_pthread_attr_t

__ldiv_t_defined

__lldiv_t_defined

__sigset_t_defined

__struct_FILE_defined

__time_t_defined

__timer_t_defined

__timeval_defined

elina_coeff_discr_t_ELINA_COEFF_INTERVAL

elina_coeff_discr_t_ELINA_COEFF_SCALAR

elina_coefftag_t_ELINA_COEFF

elina_coefftag_t_ELINA_COEFF_I

elina_coefftag_t_ELINA_COEFF_I_DOUBLE

elina_coefftag_t_ELINA_COEFF_I_FRAC

elina_coefftag_t_ELINA_COEFF_I_INT

elina_coefftag_t_ELINA_COEFF_I_MPFR

elina_coefftag_t_ELINA_COEFF_I_MPQ

elina_coefftag_t_ELINA_COEFF_I_SCALAR

elina_coefftag_t_ELINA_COEFF_S

elina_coefftag_t_ELINA_COEFF_S_DOUBLE

elina_coefftag_t_ELINA_COEFF_S_FRAC

elina_coefftag_t_ELINA_COEFF_S_INT

elina_coefftag_t_ELINA_COEFF_S_MPFR

elina_coefftag_t_ELINA_COEFF_S_MPQ

elina_coefftag_t_ELINA_CST

elina_coefftag_t_ELINA_CST_I

elina_coefftag_t_ELINA_CST_I_DOUBLE

elina_coefftag_t_ELINA_CST_I_FRAC

elina_coefftag_t_ELINA_CST_I_INT

elina_coefftag_t_ELINA_CST_I_MPFR

elina_coefftag_t_ELINA_CST_I_MPQ

elina_coefftag_t_ELINA_CST_I_SCALAR

elina_coefftag_t_ELINA_CST_S

elina_coefftag_t_ELINA_CST_S_DOUBLE

elina_coefftag_t_ELINA_CST_S_FRAC

elina_coefftag_t_ELINA_CST_S_INT

elina_coefftag_t_ELINA_CST_S_MPFR

elina_coefftag_t_ELINA_CST_S_MPQ

elina_coefftag_t_ELINA_END

elina_constyp_t_ELINA_CONS_DISEQ

elina_constyp_t_ELINA_CONS_EQ

elina_constyp_t_ELINA_CONS_EQMOD

elina_constyp_t_ELINA_CONS_SUP

elina_constyp_t_ELINA_CONS_SUPEQ

elina_exc_t_ELINA_EXC_INVALID_ARGUMENT

elina_exc_t_ELINA_EXC_NONE

elina_exc_t_ELINA_EXC_NOT_IMPLEMENTED

elina_exc_t_ELINA_EXC_OUT_OF_SPACE

elina_exc_t_ELINA_EXC_OVERFLOW

elina_exc_t_ELINA_EXC_SIZE

elina_exc_t_ELINA_EXC_TIMEOUT

elina_funid_t_ELINA_FUNID_ADD_DIMENSIONS

elina_funid_t_ELINA_FUNID_ADD_RAY_ARRAY

elina_funid_t_ELINA_FUNID_APPROXIMATE

elina_funid_t_ELINA_FUNID_ASIZE

elina_funid_t_ELINA_FUNID_ASSIGN_LINEXPR_ARRAY

elina_funid_t_ELINA_FUNID_ASSIGN_TEXPR_ARRAY

elina_funid_t_ELINA_FUNID_BOTTOM

elina_funid_t_ELINA_FUNID_BOUND_DIMENSION

elina_funid_t_ELINA_FUNID_BOUND_LINEXPR

elina_funid_t_ELINA_FUNID_BOUND_TEXPR

elina_funid_t_ELINA_FUNID_CANONICALIZE

elina_funid_t_ELINA_FUNID_CHANGE_ENVIRONMENT

elina_funid_t_ELINA_FUNID_CLOSURE

elina_funid_t_ELINA_FUNID_COPY

elina_funid_t_ELINA_FUNID_DESERIALIZE_RAW

elina_funid_t_ELINA_FUNID_DIMENSION

elina_funid_t_ELINA_FUNID_EXPAND

elina_funid_t_ELINA_FUNID_FDUMP

elina_funid_t_ELINA_FUNID_FOLD

elina_funid_t_ELINA_FUNID_FORGET_ARRAY

elina_funid_t_ELINA_FUNID_FPRINT

elina_funid_t_ELINA_FUNID_FPRINTDIFF

elina_funid_t_ELINA_FUNID_FREE

elina_funid_t_ELINA_FUNID_HASH

elina_funid_t_ELINA_FUNID_IS_BOTTOM

elina_funid_t_ELINA_FUNID_IS_DIMENSION_UNCONSTRAINED

elina_funid_t_ELINA_FUNID_IS_EQ

elina_funid_t_ELINA_FUNID_IS_LEQ

elina_funid_t_ELINA_FUNID_IS_TOP

elina_funid_t_ELINA_FUNID_JOIN

elina_funid_t_ELINA_FUNID_JOIN_ARRAY

elina_funid_t_ELINA_FUNID_MEET

elina_funid_t_ELINA_FUNID_MEET_ARRAY

elina_funid_t_ELINA_FUNID_MEET_LINCONS_ARRAY

elina_funid_t_ELINA_FUNID_MEET_TCONS_ARRAY

elina_funid_t_ELINA_FUNID_MINIMIZE

elina_funid_t_ELINA_FUNID_OF_BOX

elina_funid_t_ELINA_FUNID_PERMUTE_DIMENSIONS

elina_funid_t_ELINA_FUNID_REMOVE_DIMENSIONS

elina_funid_t_ELINA_FUNID_RENAME_ARRAY

elina_funid_t_ELINA_FUNID_SAT_INTERVAL

elina_funid_t_ELINA_FUNID_SAT_LINCONS

elina_funid_t_ELINA_FUNID_SAT_TCONS

elina_funid_t_ELINA_FUNID_SERIALIZE_RAW

elina_funid_t_ELINA_FUNID_SIZE

elina_funid_t_ELINA_FUNID_SIZE2

elina_funid_t_ELINA_FUNID_SUBSTITUTE_LINEXPR_ARRAY

elina_funid_t_ELINA_FUNID_SUBSTITUTE_TEXPR_ARRAY

elina_funid_t_ELINA_FUNID_TOP

elina_funid_t_ELINA_FUNID_TO_BOX

elina_funid_t_ELINA_FUNID_TO_GENERATOR_ARRAY

elina_funid_t_ELINA_FUNID_TO_LINCONS_ARRAY

elina_funid_t_ELINA_FUNID_TO_TCONS_ARRAY

elina_funid_t_ELINA_FUNID_UNKNOWN

elina_funid_t_ELINA_FUNID_WIDENING

elina_linexpr_discr_t_ELINA_LINEXPR_DENSE

elina_linexpr_discr_t_ELINA_LINEXPR_SPARSE

elina_linexpr_type_t_ELINA_LINEXPR_INTLINEAR

elina_linexpr_type_t_ELINA_LINEXPR_LINEAR

elina_linexpr_type_t_ELINA_LINEXPR_QUASILINEAR

elina_scalar_discr_t_ELINA_SCALAR_DOUBLE

elina_scalar_discr_t_ELINA_SCALAR_MPFR

elina_scalar_discr_t_ELINA_SCALAR_MPQ

elina_texpr_discr_t_ELINA_TEXPR_CST

elina_texpr_discr_t_ELINA_TEXPR_DIM

elina_texpr_discr_t_ELINA_TEXPR_NODE

elina_texpr_op_t_ELINA_TEXPR_ADD

elina_texpr_op_t_ELINA_TEXPR_CAST

elina_texpr_op_t_ELINA_TEXPR_DIV

elina_texpr_op_t_ELINA_TEXPR_MOD

elina_texpr_op_t_ELINA_TEXPR_MUL

elina_texpr_op_t_ELINA_TEXPR_NEG

elina_texpr_op_t_ELINA_TEXPR_POW

elina_texpr_op_t_ELINA_TEXPR_SQRT

elina_texpr_op_t_ELINA_TEXPR_SUB

elina_texpr_rdir_t_ELINA_RDIR_DOWN

elina_texpr_rdir_t_ELINA_RDIR_NEAREST

elina_texpr_rdir_t_ELINA_RDIR_RND

elina_texpr_rdir_t_ELINA_RDIR_SIZE

elina_texpr_rdir_t_ELINA_RDIR_UP

elina_texpr_rdir_t_ELINA_RDIR_ZERO

elina_texpr_rtype_t_ELINA_RTYPE_DOUBLE

elina_texpr_rtype_t_ELINA_RTYPE_EXTENDED

elina_texpr_rtype_t_ELINA_RTYPE_INT

elina_texpr_rtype_t_ELINA_RTYPE_QUAD

elina_texpr_rtype_t_ELINA_RTYPE_REAL

elina_texpr_rtype_t_ELINA_RTYPE_SINGLE

elina_texpr_rtype_t_ELINA_RTYPE_SIZE

false_

gmp_randalg_t_GMP_RAND_ALG_DEFAULT

gmp_randalg_t_GMP_RAND_ALG_LC

idtype_t_P_ALL

idtype_t_P_PGID

idtype_t_P_PID

math_errhandling

mpfr_free_cache_t_MPFR_FREE_GLOBAL_CACHE

mpfr_free_cache_t_MPFR_FREE_LOCAL_CACHE

mpfr_kind_t_MPFR_INF_KIND

mpfr_kind_t_MPFR_NAN_KIND

mpfr_kind_t_MPFR_REGULAR_KIND

mpfr_kind_t_MPFR_ZERO_KIND

mpfr_rnd_t_MPFR_RNDA

mpfr_rnd_t_MPFR_RNDD

mpfr_rnd_t_MPFR_RNDF

mpfr_rnd_t_MPFR_RNDN

mpfr_rnd_t_MPFR_RNDNA

mpfr_rnd_t_MPFR_RNDU

mpfr_rnd_t_MPFR_RNDZ

opt_pk_status_t_opt_pk_status_conseps

opt_pk_status_t_opt_pk_status_consgauss

opt_pk_status_t_opt_pk_status_gengauss

opt_pk_status_t_opt_pk_status_minimaleps

true_

Statics

__gmp_bits_per_limb^⚠

__gmp_errno^⚠

__gmp_version^⚠

elina_name_of_exception^⚠

elina_name_of_funid^⚠

elina_scalar_print_prec^⚠

signgam^⚠

stderr^⚠

stdin^⚠

stdout^⚠

sys_errlist^⚠

sys_nerr^⚠

Functions

_Exit^⚠

__acos^⚠

__acosf^⚠

__acosh^⚠

__acoshf^⚠

__acoshl^⚠

__acosl^⚠

__asin^⚠

__asinf^⚠

__asinh^⚠

__asinhf^⚠

__asinhl^⚠

__asinl^⚠

__assert^⚠

__assert_fail^⚠

__assert_perror_fail^⚠

__atan^⚠

__atan2^⚠

__atan2f^⚠

__atan2l^⚠

__atanf^⚠

__atanh^⚠

__atanhf^⚠

__atanhl^⚠

__atanl^⚠

__cbrt^⚠

__cbrtf^⚠

__cbrtl^⚠

__ceil^⚠

__ceilf^⚠

__ceill^⚠

__copysign^⚠

__copysignf^⚠

__copysignl^⚠

__cos^⚠

__cosf^⚠

__cosh^⚠

__coshf^⚠

__coshl^⚠

__cosl^⚠

__ctype_get_mb_cur_max^⚠

__drem^⚠

__dremf^⚠

__dreml^⚠

__erf^⚠

__erfc^⚠

__erfcf^⚠

__erfcl^⚠

__erff^⚠

__erfl^⚠

__exp^⚠

__exp2^⚠

__exp2f^⚠

__exp2l^⚠

__expf^⚠

__expl^⚠

__expm1^⚠

__expm1f^⚠

__expm1l^⚠

__fabs^⚠

__fabsf^⚠

__fabsl^⚠

__fdim^⚠

__fdimf^⚠

__fdiml^⚠

__finite^⚠

__finitef^⚠

__finitel^⚠

__floor^⚠

__floorf^⚠

__floorl^⚠

__fma^⚠

__fmaf^⚠

__fmal^⚠

__fmax^⚠

__fmaxf^⚠

__fmaxl^⚠

__fmin^⚠

__fminf^⚠

__fminl^⚠

__fmod^⚠

__fmodf^⚠

__fmodl^⚠

__fpclassify^⚠

__fpclassifyf^⚠

__fpclassifyl^⚠

__frexp^⚠

__frexpf^⚠

__frexpl^⚠

__gamma^⚠

__gammaf^⚠

__gammal^⚠

__getdelim^⚠

__gmp_asprintf^⚠

__gmp_fprintf^⚠

__gmp_fscanf^⚠

__gmp_get_memory_functions^⚠

__gmp_printf^⚠

__gmp_randclear^⚠

__gmp_randinit^⚠

__gmp_randinit_default^⚠

__gmp_randinit_lc_2exp^⚠

__gmp_randinit_lc_2exp_size^⚠

__gmp_randinit_mt^⚠

__gmp_randinit_set^⚠

__gmp_randseed^⚠

__gmp_randseed_ui^⚠

__gmp_scanf^⚠

__gmp_set_memory_functions^⚠

__gmp_snprintf^⚠

__gmp_sprintf^⚠

__gmp_sscanf^⚠

__gmp_urandomb_ui^⚠

__gmp_urandomm_ui^⚠

__gmp_vasprintf^⚠

__gmp_vfprintf^⚠

__gmp_vfscanf^⚠

__gmp_vprintf^⚠

__gmp_vscanf^⚠

__gmp_vsnprintf^⚠

__gmp_vsprintf^⚠

__gmp_vsscanf^⚠

__gmpf_abs^⚠

__gmpf_add^⚠

__gmpf_add_ui^⚠

__gmpf_ceil^⚠

__gmpf_clear^⚠

__gmpf_clears^⚠

__gmpf_cmp^⚠

__gmpf_cmp_d^⚠

__gmpf_cmp_si^⚠

__gmpf_cmp_ui^⚠

__gmpf_cmp_z^⚠

__gmpf_div^⚠

__gmpf_div_2exp^⚠

__gmpf_div_ui^⚠

__gmpf_dump^⚠

__gmpf_eq^⚠

__gmpf_fits_sint_p^⚠

__gmpf_fits_slong_p^⚠

__gmpf_fits_sshort_p^⚠

__gmpf_fits_uint_p^⚠

__gmpf_fits_ulong_p^⚠

__gmpf_fits_ushort_p^⚠

__gmpf_floor^⚠

__gmpf_get_d^⚠

__gmpf_get_d_2exp^⚠

__gmpf_get_default_prec^⚠

__gmpf_get_prec^⚠

__gmpf_get_si^⚠

__gmpf_get_str^⚠

__gmpf_get_ui^⚠

__gmpf_init^⚠

__gmpf_init2^⚠

__gmpf_init_set^⚠

__gmpf_init_set_d^⚠

__gmpf_init_set_si^⚠

__gmpf_init_set_str^⚠

__gmpf_init_set_ui^⚠

__gmpf_inits^⚠

__gmpf_inp_str^⚠

__gmpf_integer_p^⚠

__gmpf_mul^⚠

__gmpf_mul_2exp^⚠

__gmpf_mul_ui^⚠

__gmpf_neg^⚠

__gmpf_out_str^⚠

__gmpf_pow_ui^⚠

__gmpf_random2^⚠

__gmpf_reldiff^⚠

__gmpf_set^⚠

__gmpf_set_d^⚠

__gmpf_set_default_prec^⚠

__gmpf_set_prec^⚠

__gmpf_set_prec_raw^⚠

__gmpf_set_q^⚠

__gmpf_set_si^⚠

__gmpf_set_str^⚠

__gmpf_set_ui^⚠

__gmpf_set_z^⚠

__gmpf_size^⚠

__gmpf_sqrt^⚠

__gmpf_sqrt_ui^⚠

__gmpf_sub^⚠

__gmpf_sub_ui^⚠

__gmpf_swap^⚠

__gmpf_trunc^⚠

__gmpf_ui_div^⚠

__gmpf_ui_sub^⚠

__gmpf_urandomb^⚠

__gmpfr_fpif_export^⚠

__gmpfr_fpif_import^⚠

__gmpfr_fprintf^⚠

__gmpfr_inp_str^⚠

__gmpfr_mpfr_get_sj^⚠

__gmpfr_mpfr_get_uj^⚠

__gmpfr_out_str^⚠

__gmpfr_set_sj^⚠

__gmpfr_set_sj_2exp^⚠

__gmpfr_set_uj^⚠

__gmpfr_set_uj_2exp^⚠

__gmpfr_vasprintf^⚠

__gmpfr_vfprintf^⚠

__gmpfr_vprintf^⚠

__gmpfr_vsnprintf^⚠

__gmpfr_vsprintf^⚠

__gmpn_add^⚠

__gmpn_add_1^⚠

__gmpn_add_n^⚠

__gmpn_addmul_1^⚠

__gmpn_and_n^⚠

__gmpn_andn_n^⚠

__gmpn_cmp^⚠

__gmpn_cnd_add_n^⚠

__gmpn_cnd_sub_n^⚠

__gmpn_cnd_swap^⚠

__gmpn_com^⚠

__gmpn_copyd^⚠

__gmpn_copyi^⚠

__gmpn_div_qr_1^⚠

__gmpn_div_qr_2^⚠

__gmpn_divexact_1^⚠

__gmpn_divexact_by3c^⚠

__gmpn_divrem^⚠

__gmpn_divrem_1^⚠

__gmpn_divrem_2^⚠

__gmpn_gcd^⚠

__gmpn_gcd_1^⚠

__gmpn_gcd_11^⚠

__gmpn_gcdext^⚠

__gmpn_gcdext_1^⚠

__gmpn_get_str^⚠

__gmpn_hamdist^⚠

__gmpn_ior_n^⚠

__gmpn_iorn_n^⚠

__gmpn_lshift^⚠

__gmpn_mod_1^⚠

__gmpn_mul^⚠

__gmpn_mul_1^⚠

__gmpn_mul_n^⚠

__gmpn_nand_n^⚠

__gmpn_neg^⚠

__gmpn_nior_n^⚠

__gmpn_perfect_power_p^⚠

__gmpn_perfect_square_p^⚠

__gmpn_popcount^⚠

__gmpn_pow_1^⚠

__gmpn_preinv_mod_1^⚠

__gmpn_random^⚠

__gmpn_random2^⚠

__gmpn_rshift^⚠

__gmpn_scan0^⚠

__gmpn_scan1^⚠

__gmpn_sec_add_1^⚠

__gmpn_sec_add_1_itch^⚠

__gmpn_sec_div_qr^⚠

__gmpn_sec_div_qr_itch^⚠

__gmpn_sec_div_r^⚠

__gmpn_sec_div_r_itch^⚠

__gmpn_sec_invert^⚠

__gmpn_sec_invert_itch^⚠

__gmpn_sec_mul^⚠

__gmpn_sec_mul_itch^⚠

__gmpn_sec_powm^⚠

__gmpn_sec_powm_itch^⚠

__gmpn_sec_sqr^⚠

__gmpn_sec_sqr_itch^⚠

__gmpn_sec_sub_1^⚠

__gmpn_sec_sub_1_itch^⚠

__gmpn_sec_tabselect^⚠

__gmpn_set_str^⚠

__gmpn_sizeinbase^⚠

__gmpn_sqr^⚠

__gmpn_sqrtrem^⚠

__gmpn_sub^⚠

__gmpn_sub_1^⚠

__gmpn_sub_n^⚠

__gmpn_submul_1^⚠

__gmpn_tdiv_qr^⚠

__gmpn_xnor_n^⚠

__gmpn_xor_n^⚠

__gmpn_zero^⚠

__gmpn_zero_p^⚠

__gmpq_abs^⚠

__gmpq_add^⚠

__gmpq_canonicalize^⚠

__gmpq_clear^⚠

__gmpq_clears^⚠

__gmpq_cmp^⚠

__gmpq_cmp_si^⚠

__gmpq_cmp_ui^⚠

__gmpq_cmp_z^⚠

__gmpq_div^⚠

__gmpq_div_2exp^⚠

__gmpq_equal^⚠

__gmpq_get_d^⚠

__gmpq_get_den^⚠

__gmpq_get_num^⚠

__gmpq_get_str^⚠

__gmpq_init^⚠

__gmpq_inits^⚠

__gmpq_inp_str^⚠

__gmpq_inv^⚠

__gmpq_mul^⚠

__gmpq_mul_2exp^⚠

__gmpq_neg^⚠

__gmpq_out_str^⚠

__gmpq_set^⚠

__gmpq_set_d^⚠

__gmpq_set_den^⚠

__gmpq_set_f^⚠

__gmpq_set_num^⚠

__gmpq_set_si^⚠

__gmpq_set_str^⚠

__gmpq_set_ui^⚠

__gmpq_set_z^⚠

__gmpq_sub^⚠

__gmpq_swap^⚠

__gmpz_2fac_ui^⚠

__gmpz_abs^⚠

__gmpz_add^⚠

__gmpz_add_ui^⚠

__gmpz_addmul^⚠

__gmpz_addmul_ui^⚠

__gmpz_and^⚠

__gmpz_array_init^⚠

__gmpz_bin_ui^⚠

__gmpz_bin_uiui^⚠

__gmpz_cdiv_q^⚠

__gmpz_cdiv_q_2exp^⚠

__gmpz_cdiv_q_ui^⚠

__gmpz_cdiv_qr^⚠

__gmpz_cdiv_qr_ui^⚠

__gmpz_cdiv_r^⚠

__gmpz_cdiv_r_2exp^⚠

__gmpz_cdiv_r_ui^⚠

__gmpz_cdiv_ui^⚠

__gmpz_clear^⚠

__gmpz_clears^⚠

__gmpz_clrbit^⚠

__gmpz_cmp^⚠

__gmpz_cmp_d^⚠

__gmpz_cmp_si^⚠

__gmpz_cmp_ui^⚠

__gmpz_cmpabs^⚠

__gmpz_cmpabs_d^⚠

__gmpz_cmpabs_ui^⚠

__gmpz_com^⚠

__gmpz_combit^⚠

__gmpz_congruent_2exp_p^⚠

__gmpz_congruent_p^⚠

__gmpz_congruent_ui_p^⚠

__gmpz_divexact^⚠

__gmpz_divexact_ui^⚠

__gmpz_divisible_2exp_p^⚠

__gmpz_divisible_p^⚠

__gmpz_divisible_ui_p^⚠

__gmpz_dump^⚠

__gmpz_export^⚠

__gmpz_fac_ui^⚠

__gmpz_fdiv_q^⚠

__gmpz_fdiv_q_2exp^⚠

__gmpz_fdiv_q_ui^⚠

__gmpz_fdiv_qr^⚠

__gmpz_fdiv_qr_ui^⚠

__gmpz_fdiv_r^⚠

__gmpz_fdiv_r_2exp^⚠

__gmpz_fdiv_r_ui^⚠

__gmpz_fdiv_ui^⚠

__gmpz_fib2_ui^⚠

__gmpz_fib_ui^⚠

__gmpz_fits_sint_p^⚠

__gmpz_fits_slong_p^⚠

__gmpz_fits_sshort_p^⚠

__gmpz_fits_uint_p^⚠

__gmpz_fits_ulong_p^⚠

__gmpz_fits_ushort_p^⚠

__gmpz_gcd^⚠

__gmpz_gcd_ui^⚠

__gmpz_gcdext^⚠

__gmpz_get_d^⚠

__gmpz_get_d_2exp^⚠

__gmpz_get_si^⚠

__gmpz_get_str^⚠

__gmpz_get_ui^⚠

__gmpz_getlimbn^⚠

__gmpz_hamdist^⚠

__gmpz_import^⚠

__gmpz_init^⚠

__gmpz_init2^⚠

__gmpz_init_set^⚠

__gmpz_init_set_d^⚠

__gmpz_init_set_si^⚠

__gmpz_init_set_str^⚠

__gmpz_init_set_ui^⚠

__gmpz_inits^⚠

__gmpz_inp_raw^⚠

__gmpz_inp_str^⚠

__gmpz_invert^⚠

__gmpz_ior^⚠

__gmpz_jacobi^⚠

__gmpz_kronecker_si^⚠

__gmpz_kronecker_ui^⚠

__gmpz_lcm^⚠

__gmpz_lcm_ui^⚠

__gmpz_limbs_finish^⚠

__gmpz_limbs_modify^⚠

__gmpz_limbs_read^⚠

__gmpz_limbs_write^⚠

__gmpz_lucnum2_ui^⚠

__gmpz_lucnum_ui^⚠

__gmpz_mfac_uiui^⚠

__gmpz_millerrabin^⚠

__gmpz_mod^⚠

__gmpz_mul^⚠

__gmpz_mul_2exp^⚠

__gmpz_mul_si^⚠

__gmpz_mul_ui^⚠

__gmpz_neg^⚠

__gmpz_nextprime^⚠

__gmpz_out_raw^⚠

__gmpz_out_str^⚠

__gmpz_perfect_power_p^⚠

__gmpz_perfect_square_p^⚠

__gmpz_popcount^⚠

__gmpz_pow_ui^⚠

__gmpz_powm^⚠

__gmpz_powm_sec^⚠

__gmpz_powm_ui^⚠

__gmpz_primorial_ui^⚠

__gmpz_probab_prime_p^⚠

__gmpz_random^⚠

__gmpz_random2^⚠

__gmpz_realloc^⚠

__gmpz_realloc2^⚠

__gmpz_remove^⚠

__gmpz_roinit_n^⚠

__gmpz_root^⚠

__gmpz_rootrem^⚠

__gmpz_rrandomb^⚠

__gmpz_scan0^⚠

__gmpz_scan1^⚠

__gmpz_set^⚠

__gmpz_set_d^⚠

__gmpz_set_f^⚠

__gmpz_set_q^⚠

__gmpz_set_si^⚠

__gmpz_set_str^⚠

__gmpz_set_ui^⚠

__gmpz_setbit^⚠

__gmpz_si_kronecker^⚠

__gmpz_size^⚠

__gmpz_sizeinbase^⚠

__gmpz_sqrt^⚠

__gmpz_sqrtrem^⚠

__gmpz_sub^⚠

__gmpz_sub_ui^⚠

__gmpz_submul^⚠

__gmpz_submul_ui^⚠

__gmpz_swap^⚠

__gmpz_tdiv_q^⚠

__gmpz_tdiv_q_2exp^⚠

__gmpz_tdiv_q_ui^⚠

__gmpz_tdiv_qr^⚠

__gmpz_tdiv_qr_ui^⚠

__gmpz_tdiv_r^⚠

__gmpz_tdiv_r_2exp^⚠

__gmpz_tdiv_r_ui^⚠

__gmpz_tdiv_ui^⚠

__gmpz_tstbit^⚠

__gmpz_ui_kronecker^⚠

__gmpz_ui_pow_ui^⚠

__gmpz_ui_sub^⚠

__gmpz_urandomb^⚠

__gmpz_urandomm^⚠

__gmpz_xor^⚠

__hypot^⚠

__hypotf^⚠

__hypotl^⚠

__ilogb^⚠

__ilogbf^⚠

__ilogbl^⚠

__iseqsig^⚠

__iseqsigf^⚠

__iseqsigl^⚠

__isinf^⚠

__isinff^⚠

__isinfl^⚠

__isnan^⚠

__isnanf^⚠

__isnanl^⚠

__issignaling^⚠

__issignalingf^⚠

__issignalingl^⚠

__j0^⚠

__j0f^⚠

__j0l^⚠

__j1^⚠

__j1f^⚠

__j1l^⚠

__jn^⚠

__jnf^⚠

__jnl^⚠

__ldexp^⚠

__ldexpf^⚠

__ldexpl^⚠

__lgamma^⚠

__lgamma_r^⚠

__lgammaf^⚠

__lgammaf_r^⚠

__lgammal^⚠

__lgammal_r^⚠

__llrint^⚠

__llrintf^⚠

__llrintl^⚠

__llround^⚠

__llroundf^⚠

__llroundl^⚠

__log^⚠

__log2^⚠

__log1p^⚠

__log1pf^⚠

__log1pl^⚠

__log2f^⚠

__log2l^⚠

__log10^⚠

__log10f^⚠

__log10l^⚠

__logb^⚠

__logbf^⚠

__logbl^⚠

__logf^⚠

__logl^⚠

__lrint^⚠

__lrintf^⚠

__lrintl^⚠

__lround^⚠

__lroundf^⚠

__lroundl^⚠

__modf^⚠

__modff^⚠

__modfl^⚠

__nan^⚠

__nanf^⚠

__nanl^⚠

__nearbyint^⚠

__nearbyintf^⚠

__nearbyintl^⚠

__nextafter^⚠

__nextafterf^⚠

__nextafterl^⚠

__nexttoward^⚠

__nexttowardf^⚠

__nexttowardl^⚠

__overflow^⚠

__pow^⚠

__powf^⚠

__powl^⚠

__remainder^⚠

__remainderf^⚠

__remainderl^⚠

__remquo^⚠

__remquof^⚠

__remquol^⚠

__rint^⚠

__rintf^⚠

__rintl^⚠

__round^⚠

__roundf^⚠

__roundl^⚠

__scalb^⚠

__scalbf^⚠

__scalbl^⚠

__scalbln^⚠

__scalblnf^⚠

__scalblnl^⚠

__scalbn^⚠

__scalbnf^⚠

__scalbnl^⚠

__signbit^⚠

__signbitf^⚠

__signbitl^⚠

__significand^⚠

__significandf^⚠

__significandl^⚠

__sin^⚠

__sinf^⚠

__sinh^⚠

__sinhf^⚠

__sinhl^⚠

__sinl^⚠

__sqrt^⚠

__sqrtf^⚠

__sqrtl^⚠

__stpcpy^⚠

__stpncpy^⚠

__strtok_r^⚠

__tan^⚠

__tanf^⚠

__tanh^⚠

__tanhf^⚠

__tanhl^⚠

__tanl^⚠

__tgamma^⚠

__tgammaf^⚠

__tgammal^⚠

__trunc^⚠

__truncf^⚠

__truncl^⚠

__uflow^⚠

__y0^⚠

__y0f^⚠

__y0l^⚠

__y1^⚠

__y1f^⚠

__y1l^⚠

__yn^⚠

__ynf^⚠

__ynl^⚠

a64l^⚠

abort^⚠

abs^⚠

acos^⚠

acosf^⚠

acosh^⚠

acoshf^⚠

acoshl^⚠

acosl^⚠

aligned_alloc^⚠

alloca^⚠

array_comp_list_deserialize^⚠

array_comp_list_serialize_common^⚠

asin^⚠

asinf^⚠

asinh^⚠

asinhf^⚠

asinhl^⚠

asinl^⚠

at_quick_exit^⚠

atan^⚠

atan2^⚠

atan2f^⚠

atan2l^⚠

atanf^⚠

atanh^⚠

atanhf^⚠

atanhl^⚠

atanl^⚠

atexit^⚠

atof^⚠

atoi^⚠

atol^⚠

atoll^⚠

bcmp^⚠

bcopy^⚠

bool_from_c_bool

bsearch^⚠

bzero^⚠

c_bool_from_bool

calloc^⚠

cbrt^⚠

cbrtf^⚠

cbrtl^⚠

ceil^⚠

ceilf^⚠

ceill^⚠

clear_array_comp_list^⚠

clearenv^⚠

clearerr^⚠

clearerr_unlocked^⚠

comp_array_union_direct^⚠

comp_list_deserialize^⚠

comp_list_serialize_common^⚠

comp_list_size^⚠

compute_diff^⚠

contains_comp^⚠

copy_array_comp_list^⚠

copy_comp_list^⚠

copysign^⚠

copysignf^⚠

copysignl^⚠

cos^⚠

cosf^⚠

cosh^⚠

coshf^⚠

coshl^⚠

cosl^⚠

create_array_comp_list^⚠

create_array_map^⚠

create_comp_list^⚠

create_intersection_map^⚠

create_map^⚠

ctermid^⚠

div^⚠

dprintf^⚠

drand48^⚠

drand48_r^⚠

drem^⚠

dremf^⚠

dreml^⚠

ecvt^⚠

ecvt_r^⚠

elina_abstract0_add_dimensions^⚠

elina_abstract0_apply_dimchange2^⚠

elina_abstract0_approximate^⚠

elina_abstract0_assign_linexpr^⚠

elina_abstract0_assign_linexpr_array^⚠

elina_abstract0_assign_texpr^⚠

elina_abstract0_assign_texpr_array^⚠

elina_abstract0_asssub_linexpr^⚠

elina_abstract0_asssub_linexpr_array^⚠

elina_abstract0_asssub_texpr^⚠

elina_abstract0_asssub_texpr_array^⚠

elina_abstract0_bottom^⚠

elina_abstract0_bound_dimension^⚠

elina_abstract0_bound_linexpr^⚠

elina_abstract0_bound_texpr^⚠

elina_abstract0_canonicalize^⚠

elina_abstract0_check_abstract2^⚠

elina_abstract0_check_abstract_array^⚠

elina_abstract0_check_dim_array^⚠

elina_abstract0_check_dim_raise^⚠

elina_abstract0_check_expr_raise^⚠

elina_abstract0_check_lincons_array^⚠

elina_abstract0_check_linexpr^⚠

elina_abstract0_check_linexpr_array^⚠

elina_abstract0_check_linexpr_check^⚠

elina_abstract0_check_tcons_array^⚠

elina_abstract0_check_texpr^⚠

elina_abstract0_check_texpr_array^⚠

elina_abstract0_check_texpr_check^⚠

elina_abstract0_checkman2^⚠

elina_abstract0_checkman1_raise^⚠

elina_abstract0_checkman_array^⚠

elina_abstract0_closure^⚠

elina_abstract0_copy^⚠

elina_abstract0_deserialize_raw^⚠

elina_abstract0_dimension^⚠

elina_abstract0_expand^⚠

elina_abstract0_fdump^⚠

elina_abstract0_fold^⚠

elina_abstract0_forget_array^⚠

elina_abstract0_fprint^⚠

elina_abstract0_fprintdiff^⚠

elina_abstract0_free^⚠

elina_abstract0_hash^⚠

elina_abstract0_is_bottom^⚠

elina_abstract0_is_dimension_unconstrained^⚠

elina_abstract0_is_eq^⚠

elina_abstract0_is_leq^⚠

elina_abstract0_is_top^⚠

elina_abstract0_join^⚠

elina_abstract0_join_array^⚠

elina_abstract0_meet^⚠

elina_abstract0_meet_array^⚠

elina_abstract0_meet_lincons_array^⚠

elina_abstract0_meet_tcons_array^⚠

elina_abstract0_meetjoin^⚠

elina_abstract0_minimize^⚠

elina_abstract0_of_box^⚠

elina_abstract0_of_lincons_array^⚠

elina_abstract0_of_tcons_array^⚠

elina_abstract0_permute_dimensions^⚠

elina_abstract0_remove_dimensions^⚠

elina_abstract0_sat_interval^⚠

elina_abstract0_sat_lincons^⚠

elina_abstract0_sat_tcons^⚠

elina_abstract0_serialize_raw^⚠

elina_abstract0_size^⚠

elina_abstract0_substitute_linexpr^⚠

elina_abstract0_substitute_linexpr_array^⚠

elina_abstract0_substitute_texpr^⚠

elina_abstract0_substitute_texpr_array^⚠

elina_abstract0_to_box^⚠

elina_abstract0_to_lincons_array^⚠

elina_abstract0_to_tcons_array^⚠

elina_abstract0_top^⚠

elina_abstract0_widening^⚠

elina_abstract0_widening_threshold^⚠

elina_boxize_lincons0_array^⚠

elina_coeff_add^⚠

elina_coeff_alloc^⚠

elina_coeff_alloc_set^⚠

elina_coeff_alloc_set_interval^⚠

elina_coeff_alloc_set_scalar^⚠

elina_coeff_clear^⚠

elina_coeff_cmp^⚠

elina_coeff_equal^⚠

elina_coeff_equal_int^⚠

elina_coeff_fprint^⚠

elina_coeff_free^⚠

elina_coeff_hash^⚠

elina_coeff_init^⚠

elina_coeff_init_set^⚠

elina_coeff_mul_interval^⚠

elina_coeff_mul_scalar^⚠

elina_coeff_neg^⚠

elina_coeff_print^⚠

elina_coeff_reduce^⚠

elina_coeff_reinit^⚠

elina_coeff_set^⚠

elina_coeff_set_interval^⚠

elina_coeff_set_interval_double^⚠

elina_coeff_set_interval_frac^⚠

elina_coeff_set_interval_int^⚠

elina_coeff_set_interval_mpfr^⚠

elina_coeff_set_interval_mpq^⚠

elina_coeff_set_interval_scalar^⚠

elina_coeff_set_interval_top^⚠

elina_coeff_set_scalar^⚠

elina_coeff_set_scalar_double^⚠

elina_coeff_set_scalar_frac^⚠

elina_coeff_set_scalar_int^⚠

elina_coeff_set_scalar_mpfr^⚠

elina_coeff_set_scalar_mpq^⚠

elina_coeff_sub_num^⚠

elina_coeff_swap^⚠

elina_coeff_zero^⚠

elina_dimchange2_alloc^⚠

elina_dimchange2_clear^⚠

elina_dimchange2_fprint^⚠

elina_dimchange2_free^⚠

elina_dimchange2_init^⚠

elina_dimchange_add_invert^⚠

elina_dimchange_alloc^⚠

elina_dimchange_clear^⚠

elina_dimchange_fprint^⚠

elina_dimchange_free^⚠

elina_dimchange_init^⚠

elina_dimperm_alloc^⚠

elina_dimperm_clear^⚠

elina_dimperm_compose^⚠

elina_dimperm_fprint^⚠

elina_dimperm_free^⚠

elina_dimperm_init^⚠

elina_dimperm_invert^⚠

elina_dimperm_set_id^⚠

elina_double_set_scalar^⚠

elina_eval_texpr0^⚠

elina_exc_cons^⚠

elina_exclog_free^⚠

elina_fpu_init^⚠

elina_funopt_init^⚠

elina_generic_asssub_linexpr_array^⚠

elina_generic_asssub_texpr_array^⚠

elina_generic_bound_texpr^⚠

elina_generic_meet_intlinearize_tcons_array^⚠

elina_generic_meet_quasilinearize_lincons_array^⚠

elina_generic_meetjoin_array^⚠

elina_generic_sat_tcons^⚠

elina_generic_to_tcons_array^⚠

elina_interval_abs^⚠

elina_interval_add^⚠

elina_interval_alloc^⚠

elina_interval_alloc_set^⚠

elina_interval_array_alloc^⚠

elina_interval_array_free^⚠

elina_interval_canonicalize^⚠

elina_interval_ceil^⚠

elina_interval_cmp^⚠

elina_interval_convert^⚠

elina_interval_div^⚠

elina_interval_enlarge_bound^⚠

elina_interval_equal^⚠

elina_interval_equal_int^⚠

elina_interval_eval_elina_linexpr0^⚠

elina_interval_eval_elina_texpr0^⚠

elina_interval_floor^⚠

elina_interval_fprint^⚠

elina_interval_free^⚠

elina_interval_hash^⚠

elina_interval_intlinearize_texpr0_rec^⚠

elina_interval_is_bottom^⚠

elina_interval_is_int^⚠

elina_interval_is_leq^⚠

elina_interval_is_top^⚠

elina_interval_magnitude^⚠

elina_interval_mod^⚠

elina_interval_mul^⚠

elina_interval_mul_2exp^⚠

elina_interval_mul_scalar^⚠

elina_interval_neg^⚠

elina_interval_pow^⚠

elina_interval_print^⚠

elina_interval_range_rel^⚠

elina_interval_reinit^⚠

elina_interval_set^⚠

elina_interval_set_bottom^⚠

elina_interval_set_double^⚠

elina_interval_set_elina_coeff^⚠

elina_interval_set_frac^⚠

elina_interval_set_int^⚠

elina_interval_set_mpfr^⚠

elina_interval_set_mpq^⚠

elina_interval_set_scalar^⚠

elina_interval_set_to_int^⚠

elina_interval_set_top^⚠

elina_interval_sqrt^⚠

elina_interval_sub^⚠

elina_interval_swap^⚠

elina_interval_to_double^⚠

elina_interval_to_float^⚠

elina_interval_to_int^⚠

elina_interval_trunc^⚠

elina_intlinearize_elina_tcons0^⚠

elina_intlinearize_elina_texpr0_intlinear^⚠

elina_intlinearize_tcons0^⚠

elina_intlinearize_tcons0_array^⚠

elina_intlinearize_texpr0^⚠

elina_intlinearize_texpr0_array^⚠

elina_intlinearize_texpr0_intlinear^⚠

elina_lincons0_add_dimensions^⚠

elina_lincons0_add_dimensions_with^⚠

elina_lincons0_array_add_dimensions^⚠

elina_lincons0_array_add_dimensions_with^⚠

elina_lincons0_array_clear^⚠

elina_lincons0_array_fprint^⚠

elina_lincons0_array_is_linear^⚠

elina_lincons0_array_is_quasilinear^⚠

elina_lincons0_array_make^⚠

elina_lincons0_array_permute_dimensions^⚠

elina_lincons0_array_permute_dimensions_with^⚠

elina_lincons0_array_print^⚠

elina_lincons0_array_reduce_integer^⚠

elina_lincons0_array_reinit^⚠

elina_lincons0_array_resize^⚠

elina_lincons0_array_type^⚠

elina_lincons0_clear^⚠

elina_lincons0_copy^⚠

elina_lincons0_fprint^⚠

elina_lincons0_is_sat^⚠

elina_lincons0_is_unsat^⚠

elina_lincons0_make^⚠

elina_lincons0_make_unsat^⚠

elina_lincons0_permute_dimensions^⚠

elina_lincons0_permute_dimensions_with^⚠

elina_lincons0_print^⚠

elina_lincons0_reduce_integer^⚠

elina_lincons0_set_bool^⚠

elina_linexpr0_add^⚠

elina_linexpr0_add_dimensions^⚠

elina_linexpr0_add_dimensions_with^⚠

elina_linexpr0_alloc^⚠

elina_linexpr0_array_alloc^⚠

elina_linexpr0_array_free^⚠

elina_linexpr0_array_is_linear^⚠

elina_linexpr0_array_is_quasilinear^⚠

elina_linexpr0_array_type^⚠

elina_linexpr0_clear^⚠

elina_linexpr0_coeffref^⚠

elina_linexpr0_compare^⚠

elina_linexpr0_copy^⚠

elina_linexpr0_cstref^⚠

elina_linexpr0_div^⚠

elina_linexpr0_equal^⚠

elina_linexpr0_fprint^⚠

elina_linexpr0_free^⚠

elina_linexpr0_get_coeff^⚠

elina_linexpr0_get_cst^⚠

elina_linexpr0_hash^⚠

elina_linexpr0_init^⚠

elina_linexpr0_is_integer^⚠

elina_linexpr0_is_linear^⚠

elina_linexpr0_is_quasilinear^⚠

elina_linexpr0_is_real^⚠

elina_linexpr0_minimize^⚠

elina_linexpr0_neg^⚠

elina_linexpr0_permute_dimensions^⚠

elina_linexpr0_permute_dimensions_with^⚠

elina_linexpr0_print^⚠

elina_linexpr0_realloc^⚠

elina_linexpr0_reinit^⚠

elina_linexpr0_scale^⚠

elina_linexpr0_set_coeff^⚠

elina_linexpr0_set_coeff_interval^⚠

elina_linexpr0_set_coeff_interval_double^⚠

elina_linexpr0_set_coeff_interval_frac^⚠

elina_linexpr0_set_coeff_interval_int^⚠

elina_linexpr0_set_coeff_interval_scalar^⚠

elina_linexpr0_set_coeff_scalar^⚠

elina_linexpr0_set_coeff_scalar_double^⚠

elina_linexpr0_set_coeff_scalar_frac^⚠

elina_linexpr0_set_coeff_scalar_int^⚠

elina_linexpr0_set_cst^⚠

elina_linexpr0_set_cst_interval^⚠

elina_linexpr0_set_cst_interval_double^⚠

elina_linexpr0_set_cst_interval_frac^⚠

elina_linexpr0_set_cst_interval_int^⚠

elina_linexpr0_set_cst_interval_scalar^⚠

elina_linexpr0_set_cst_scalar^⚠

elina_linexpr0_set_cst_scalar_double^⚠

elina_linexpr0_set_cst_scalar_frac^⚠

elina_linexpr0_set_cst_scalar_int^⚠

elina_linexpr0_set_list^⚠

elina_linexpr0_set_list_generic^⚠

elina_linexpr0_size^⚠

elina_linexpr0_sub^⚠

elina_linexpr0_type^⚠

elina_manager_alloc^⚠

elina_manager_clear_exclog^⚠

elina_manager_free^⚠

elina_manager_get_abort_if_exception^⚠

elina_manager_get_exception^⚠

elina_manager_get_exclog^⚠

elina_manager_get_flag_best^⚠

elina_manager_get_flag_exact^⚠

elina_manager_get_funopt^⚠

elina_manager_get_library^⚠

elina_manager_get_version^⚠

elina_manager_raise_exception^⚠

elina_manager_set_abort_if_exception^⚠

elina_manager_set_funopt^⚠

elina_mpfr_set_scalar^⚠

elina_mpq_set_scalar^⚠

elina_quasilinearize_lincons0^⚠

elina_quasilinearize_lincons0_array^⚠

elina_quasilinearize_linexpr0^⚠

elina_quasilinearize_linexpr0_array^⚠

elina_scalar_add^⚠

elina_scalar_add_uint^⚠

elina_scalar_alloc^⚠

elina_scalar_alloc_set^⚠

elina_scalar_alloc_set_double^⚠

elina_scalar_alloc_set_mpfr^⚠

elina_scalar_alloc_set_mpq^⚠

elina_scalar_ceil^⚠

elina_scalar_cmp^⚠

elina_scalar_cmp_int^⚠

elina_scalar_convert^⚠

elina_scalar_div^⚠

elina_scalar_div_2^⚠

elina_scalar_equal^⚠

elina_scalar_equal_int^⚠

elina_scalar_floor^⚠

elina_scalar_fprint^⚠

elina_scalar_free^⚠

elina_scalar_hash^⚠

elina_scalar_infty^⚠

elina_scalar_inv^⚠

elina_scalar_is_integer^⚠

elina_scalar_max^⚠

elina_scalar_min^⚠

elina_scalar_mul^⚠

elina_scalar_mul_2exp^⚠

elina_scalar_neg^⚠

elina_scalar_pow^⚠

elina_scalar_print^⚠

elina_scalar_reinit^⚠

elina_scalar_set^⚠

elina_scalar_set_double^⚠

elina_scalar_set_frac^⚠

elina_scalar_set_infty^⚠

elina_scalar_set_int^⚠

elina_scalar_set_mpfr^⚠

elina_scalar_set_mpq^⚠

elina_scalar_set_to_int^⚠

elina_scalar_sgn^⚠

elina_scalar_sqrt^⚠

elina_scalar_sub^⚠

elina_scalar_sub_uint^⚠

elina_scalar_swap^⚠

elina_scalar_to_double^⚠

elina_scalar_to_float^⚠

elina_scalar_trunc^⚠

elina_tcons0_array_add_dimensions^⚠

elina_tcons0_array_add_dimensions_with^⚠

elina_tcons0_array_clear^⚠

elina_tcons0_array_fprint^⚠

elina_tcons0_array_is_interval_linear^⚠

elina_tcons0_array_make^⚠

elina_tcons0_array_permute_dimensions^⚠

elina_tcons0_array_permute_dimensions_with^⚠

elina_tcons0_array_remove_dimensions^⚠

elina_tcons0_array_remove_dimensions_with^⚠

elina_tcons0_array_resize^⚠

elina_tcons0_fprint^⚠

elina_tcons0_make_unsat^⚠

elina_texpr0_add_dimensions^⚠

elina_texpr0_add_dimensions_with^⚠

elina_texpr0_array_is_interval_linear^⚠

elina_texpr0_array_is_interval_polyfrac^⚠

elina_texpr0_array_is_interval_polynomial^⚠

elina_texpr0_array_is_scalar^⚠

elina_texpr0_binop^⚠

elina_texpr0_clear^⚠

elina_texpr0_copy^⚠

elina_texpr0_cst^⚠

elina_texpr0_cst_interval^⚠

elina_texpr0_cst_interval_double^⚠

elina_texpr0_cst_interval_frac^⚠

elina_texpr0_cst_interval_int^⚠

elina_texpr0_cst_interval_mpfr^⚠

elina_texpr0_cst_interval_mpq^⚠

elina_texpr0_cst_interval_scalar^⚠

elina_texpr0_cst_interval_top^⚠

elina_texpr0_cst_scalar^⚠

elina_texpr0_cst_scalar_double^⚠

elina_texpr0_cst_scalar_frac^⚠

elina_texpr0_cst_scalar_int^⚠

elina_texpr0_cst_scalar_mpfr^⚠

elina_texpr0_cst_scalar_mpq^⚠

elina_texpr0_depth^⚠

elina_texpr0_dim^⚠

elina_texpr0_dimlist^⚠

elina_texpr0_equal^⚠

elina_texpr0_fprint^⚠

elina_texpr0_free^⚠

elina_texpr0_from_linexpr0^⚠

elina_texpr0_has_dim^⚠

elina_texpr0_hash^⚠

elina_texpr0_is_interval_cst^⚠

elina_texpr0_is_interval_linear^⚠

elina_texpr0_is_interval_polyfrac^⚠

elina_texpr0_is_interval_polynomial^⚠

elina_texpr0_is_scalar^⚠

elina_texpr0_max_dim^⚠

elina_texpr0_node^⚠

elina_texpr0_node_free^⚠

elina_texpr0_permute_dimensions^⚠

elina_texpr0_permute_dimensions_with^⚠

elina_texpr0_print^⚠

elina_texpr0_remove_dimensions^⚠

elina_texpr0_remove_dimensions_with^⚠

elina_texpr0_size^⚠

elina_texpr0_substitute^⚠

elina_texpr0_substitute_with^⚠

elina_texpr0_unop^⚠

erand48^⚠

erand48_r^⚠

erf^⚠

erfc^⚠

erfcf^⚠

erfcl^⚠

erff^⚠

erfl^⚠

eval_elina_cstlincons0^⚠

eval_elina_linexpr0^⚠

exit^⚠

exp^⚠

exp2^⚠

exp2f^⚠

exp2l^⚠

expf^⚠

expl^⚠

explicit_bzero^⚠

expm1^⚠

expm1f^⚠

expm1l^⚠

extract^⚠

extract_comps^⚠

fabs^⚠

fabsf^⚠

fabsl^⚠

fclose^⚠

fcvt^⚠

fcvt_r^⚠

fdim^⚠

fdimf^⚠

fdiml^⚠

fdopen^⚠

feof^⚠

feof_unlocked^⚠

ferror^⚠

ferror_unlocked^⚠

fflush^⚠

fflush_unlocked^⚠

ffs^⚠

ffsl^⚠

ffsll^⚠

fgetc^⚠

fgetc_unlocked^⚠

fgetpos^⚠

fgets^⚠

fileno^⚠

fileno_unlocked^⚠

find^⚠

find_index^⚠

finite^⚠

finitef^⚠

finitel^⚠

flockfile^⚠

floor^⚠

floorf^⚠

floorl^⚠

fma^⚠

fmaf^⚠

fmal^⚠

fmax^⚠

fmaxf^⚠

fmaxl^⚠

fmemopen^⚠

fmin^⚠

fminf^⚠

fminl^⚠

fmod^⚠

fmodf^⚠

fmodl^⚠

fopen^⚠

foreach_linterm_of_linexpr0^⚠

fprint_comp_list^⚠

fprintf^⚠

fputc^⚠

fputc_unlocked^⚠

fputs^⚠

fread^⚠

fread_unlocked^⚠

free^⚠

free_array_comp_list^⚠

free_comp_list^⚠

freopen^⚠

frexp^⚠

frexpf^⚠

frexpl^⚠

fscanf^⚠

fscanf1^⚠

fseek^⚠

fseeko^⚠

fsetpos^⚠

ftell^⚠

ftello^⚠

ftrylockfile^⚠

funlockfile^⚠

fwrite^⚠

fwrite_unlocked^⚠

gamma^⚠

gammaf^⚠

gammal^⚠

gcvt^⚠

getc^⚠

getc_unlocked^⚠

getchar^⚠

getchar_unlocked^⚠

getdelim^⚠

getenv^⚠

getline^⚠

getloadavg^⚠

getsubopt^⚠

getw^⚠

hypot^⚠

hypotf^⚠

hypotl^⚠

ilogb^⚠

ilogbf^⚠

ilogbl^⚠

index^⚠

initstate^⚠

initstate_r^⚠

insert_comp^⚠

insert_comp_list^⚠

insert_comp_list_tail^⚠

insert_comp_list_with_union^⚠

int_set_elina_scalar^⚠

intersection_array_comp_list^⚠

intersection_comp_list^⚠

intersection_comp_list_compute_diff^⚠

intersection_comp_list_compute_diff_both^⚠

is_comp_list_included^⚠

is_connected^⚠

is_covered^⚠

is_disjoint^⚠

is_disjoint_with_map^⚠

is_equal_array_comp_list^⚠

is_equal_map^⚠

is_included^⚠

is_lequal_array_comp_list^⚠

is_map_disjoint^⚠

isinf^⚠

isinff^⚠

isinfl^⚠

isnan^⚠

isnanf^⚠

isnanl^⚠

j0^⚠

j0f^⚠

j0l^⚠

j1^⚠

j1f^⚠

j1l^⚠

jn^⚠

jnf^⚠

jnl^⚠

jrand48^⚠

jrand48_r^⚠

l64a^⚠

labs^⚠

lcong48^⚠

lcong48_r^⚠

ldexp^⚠

ldexpf^⚠

ldexpl^⚠

ldiv^⚠

lgamma^⚠

lgamma_r^⚠

lgammaf^⚠

lgammaf_r^⚠

lgammal^⚠

lgammal_r^⚠

linearize_elina_lincons0_array^⚠

llabs^⚠

lldiv^⚠

llrint^⚠

llrintf^⚠

llrintl^⚠

llround^⚠

llroundf^⚠

llroundl^⚠

log^⚠

log2^⚠

log1p^⚠

log1pf^⚠

log1pl^⚠

log2f^⚠

log2l^⚠

log10^⚠

log10f^⚠

log10l^⚠

logb^⚠

logbf^⚠

logbl^⚠

logf^⚠

logl^⚠

lrand48^⚠

lrand48_r^⚠

lrint^⚠

lrintf^⚠

lrintl^⚠

lround^⚠

lroundf^⚠

lroundl^⚠

malloc^⚠

map_index^⚠

mblen^⚠

mbstowcs^⚠

mbtowc^⚠

memccpy^⚠

memchr^⚠

memcmp^⚠

memcpy^⚠

memmove^⚠

memset^⚠

mkdtemp^⚠

mkstemp^⚠

mkstemps^⚠

mktemp^⚠

modf^⚠

modff^⚠

modfl^⚠

mpfr_abs^⚠

mpfr_acos^⚠

mpfr_acosh^⚠

mpfr_add^⚠

mpfr_add_d^⚠

mpfr_add_q^⚠

mpfr_add_si^⚠

mpfr_add_ui^⚠

mpfr_add_z^⚠

mpfr_agm^⚠

mpfr_ai^⚠

mpfr_asin^⚠

mpfr_asinh^⚠

mpfr_asprintf^⚠

mpfr_atan^⚠

mpfr_atan2^⚠

mpfr_atanh^⚠

mpfr_beta^⚠

mpfr_buildopt_decimal_p^⚠

mpfr_buildopt_float128_p^⚠

mpfr_buildopt_gmpinternals_p^⚠

mpfr_buildopt_sharedcache_p^⚠

mpfr_buildopt_tls_p^⚠

mpfr_buildopt_tune_case^⚠

mpfr_can_round^⚠

mpfr_cbrt^⚠

mpfr_ceil^⚠

mpfr_check_range^⚠

mpfr_clear^⚠

mpfr_clear_divby0^⚠

mpfr_clear_erangeflag^⚠

mpfr_clear_flags^⚠

mpfr_clear_inexflag^⚠

mpfr_clear_nanflag^⚠

mpfr_clear_overflow^⚠

mpfr_clear_underflow^⚠

mpfr_clears^⚠

mpfr_cmp^⚠

mpfr_cmp3^⚠

mpfr_cmp_d^⚠

mpfr_cmp_f^⚠

mpfr_cmp_ld^⚠

mpfr_cmp_q^⚠

mpfr_cmp_si^⚠

mpfr_cmp_si_2exp^⚠

mpfr_cmp_ui^⚠

mpfr_cmp_ui_2exp^⚠

mpfr_cmp_z^⚠

mpfr_cmpabs^⚠

mpfr_cmpabs_ui^⚠

mpfr_const_catalan^⚠

mpfr_const_euler^⚠

mpfr_const_log2^⚠

mpfr_const_pi^⚠

mpfr_copysign^⚠

mpfr_cos^⚠

mpfr_cosh^⚠

mpfr_cot^⚠

mpfr_coth^⚠

mpfr_csc^⚠

mpfr_csch^⚠

mpfr_custom_get_exp^⚠

mpfr_custom_get_kind^⚠

mpfr_custom_get_significand^⚠

mpfr_custom_get_size^⚠

mpfr_custom_init^⚠

mpfr_custom_init_set^⚠

mpfr_custom_move^⚠

mpfr_d_div^⚠

mpfr_d_sub^⚠

mpfr_digamma^⚠

mpfr_dim^⚠

mpfr_div^⚠

mpfr_div_2exp^⚠

mpfr_div_2si^⚠

mpfr_div_2ui^⚠

mpfr_div_d^⚠

mpfr_div_q^⚠

mpfr_div_si^⚠

mpfr_div_ui^⚠

mpfr_div_z^⚠

mpfr_divby0_p^⚠

mpfr_dot^⚠

mpfr_dump^⚠

mpfr_eint^⚠

mpfr_eq^⚠

mpfr_equal_p^⚠

mpfr_erandom^⚠

mpfr_erangeflag_p^⚠

mpfr_erf^⚠

mpfr_erfc^⚠

mpfr_exp^⚠

mpfr_exp2^⚠

mpfr_exp10^⚠

mpfr_expm1^⚠

mpfr_extract^⚠

mpfr_fac_ui^⚠

mpfr_fits_intmax_p^⚠

mpfr_fits_sint_p^⚠

mpfr_fits_slong_p^⚠

mpfr_fits_sshort_p^⚠

mpfr_fits_uint_p^⚠

mpfr_fits_uintmax_p^⚠

mpfr_fits_ulong_p^⚠

mpfr_fits_ushort_p^⚠

mpfr_flags_clear^⚠

mpfr_flags_restore^⚠

mpfr_flags_save^⚠

mpfr_flags_set^⚠

mpfr_flags_test^⚠

mpfr_floor^⚠

mpfr_fma^⚠

mpfr_fmma^⚠

mpfr_fmms^⚠

mpfr_fmod^⚠

mpfr_fmodquo^⚠

mpfr_fms^⚠

mpfr_frac^⚠

mpfr_free_cache^⚠

mpfr_free_cache2^⚠

mpfr_free_pool^⚠

mpfr_free_str^⚠

mpfr_frexp^⚠

mpfr_gamma^⚠

mpfr_gamma_inc^⚠

mpfr_get_d^⚠

mpfr_get_d1^⚠

mpfr_get_d_2exp^⚠

mpfr_get_default_prec^⚠

mpfr_get_default_rounding_mode^⚠

mpfr_get_emax^⚠

mpfr_get_emax_max^⚠

mpfr_get_emax_min^⚠

mpfr_get_emin^⚠

mpfr_get_emin_max^⚠

mpfr_get_emin_min^⚠

mpfr_get_exp^⚠

mpfr_get_f^⚠

mpfr_get_flt^⚠

mpfr_get_ld^⚠

mpfr_get_ld_2exp^⚠

mpfr_get_patches^⚠

mpfr_get_prec^⚠

mpfr_get_q^⚠

mpfr_get_si^⚠

mpfr_get_str^⚠

mpfr_get_str_ndigits^⚠

mpfr_get_ui^⚠

mpfr_get_version^⚠

mpfr_get_z^⚠

mpfr_get_z_2exp^⚠

mpfr_grandom^⚠

mpfr_greater_p^⚠

mpfr_greaterequal_p^⚠

mpfr_hypot^⚠

mpfr_inexflag_p^⚠

mpfr_inf_p^⚠

mpfr_init^⚠

mpfr_init2^⚠

mpfr_init_set_str^⚠

mpfr_inits^⚠

mpfr_inits2^⚠

mpfr_integer_p^⚠

mpfr_j0^⚠

mpfr_j1^⚠

mpfr_jn^⚠

mpfr_less_p^⚠

mpfr_lessequal_p^⚠

mpfr_lessgreater_p^⚠

mpfr_lgamma^⚠

mpfr_li2^⚠

mpfr_lngamma^⚠

mpfr_log^⚠

mpfr_log2^⚠

mpfr_log1p^⚠

mpfr_log10^⚠

mpfr_log_ui^⚠

mpfr_max^⚠

mpfr_min^⚠

mpfr_min_prec^⚠

mpfr_modf^⚠

mpfr_mp_memory_cleanup^⚠

mpfr_mul^⚠

mpfr_mul_2exp^⚠

mpfr_mul_2si^⚠

mpfr_mul_2ui^⚠

mpfr_mul_d^⚠

mpfr_mul_q^⚠

mpfr_mul_si^⚠

mpfr_mul_ui^⚠

mpfr_mul_z^⚠

mpfr_nan_p^⚠

mpfr_nanflag_p^⚠

mpfr_neg^⚠

mpfr_nextabove^⚠

mpfr_nextbelow^⚠

mpfr_nexttoward^⚠

mpfr_nrandom^⚠

mpfr_number_p^⚠

mpfr_overflow_p^⚠

mpfr_pow^⚠

mpfr_pow_si^⚠

mpfr_pow_ui^⚠

mpfr_pow_z^⚠

mpfr_prec_round^⚠

mpfr_print_rnd_mode^⚠

mpfr_printf^⚠

mpfr_rec_sqrt^⚠

mpfr_regular_p^⚠

mpfr_reldiff^⚠

mpfr_remainder^⚠

mpfr_remquo^⚠

mpfr_rint^⚠

mpfr_rint_ceil^⚠

mpfr_rint_floor^⚠

mpfr_rint_round^⚠

mpfr_rint_roundeven^⚠

mpfr_rint_trunc^⚠

mpfr_root^⚠

mpfr_rootn_ui^⚠

mpfr_round^⚠

mpfr_round_nearest_away_begin^⚠

mpfr_round_nearest_away_end^⚠

mpfr_roundeven^⚠

mpfr_sec^⚠

mpfr_sech^⚠

mpfr_set^⚠

mpfr_set4^⚠

mpfr_set_d^⚠

mpfr_set_default_prec^⚠

mpfr_set_default_rounding_mode^⚠

mpfr_set_divby0^⚠

mpfr_set_emax^⚠

mpfr_set_emin^⚠

mpfr_set_erangeflag^⚠

mpfr_set_exp^⚠

mpfr_set_f^⚠

mpfr_set_flt^⚠

mpfr_set_inexflag^⚠

mpfr_set_inf^⚠

mpfr_set_ld^⚠

mpfr_set_nan^⚠

mpfr_set_nanflag^⚠

mpfr_set_overflow^⚠

mpfr_set_prec^⚠

mpfr_set_prec_raw^⚠

mpfr_set_q^⚠

mpfr_set_si^⚠

mpfr_set_si_2exp^⚠

mpfr_set_str^⚠

mpfr_set_ui^⚠

mpfr_set_ui_2exp^⚠

mpfr_set_underflow^⚠

mpfr_set_z^⚠

mpfr_set_z_2exp^⚠

mpfr_set_zero^⚠

mpfr_setsign^⚠

mpfr_sgn^⚠

mpfr_si_div^⚠

mpfr_si_sub^⚠

mpfr_signbit^⚠

mpfr_sin^⚠

mpfr_sin_cos^⚠

mpfr_sinh^⚠

mpfr_sinh_cosh^⚠

mpfr_snprintf^⚠

mpfr_sprintf^⚠

mpfr_sqr^⚠

mpfr_sqrt^⚠

mpfr_sqrt_ui^⚠

mpfr_strtofr^⚠

mpfr_sub^⚠

mpfr_sub_d^⚠

mpfr_sub_q^⚠

mpfr_sub_si^⚠

mpfr_sub_ui^⚠

mpfr_sub_z^⚠

mpfr_subnormalize^⚠

mpfr_sum^⚠

mpfr_swap^⚠

mpfr_tan^⚠

mpfr_tanh^⚠

mpfr_total_order_p^⚠

mpfr_trunc^⚠

mpfr_ui_div^⚠

mpfr_ui_pow^⚠

mpfr_ui_pow_ui^⚠

mpfr_ui_sub^⚠

mpfr_underflow_p^⚠

mpfr_unordered_p^⚠

mpfr_urandom^⚠

mpfr_urandomb^⚠

mpfr_y0^⚠

mpfr_y1^⚠

mpfr_yn^⚠

mpfr_z_sub^⚠

mpfr_zero_p^⚠

mpfr_zeta^⚠

mpfr_zeta_ui^⚠

mrand48^⚠

mrand48_r^⚠

nan^⚠

nanf^⚠

nanl^⚠

nearbyint^⚠

nearbyintf^⚠

nearbyintl^⚠

nextafter^⚠

nextafterf^⚠

nextafterl^⚠

nexttoward^⚠

nexttowardf^⚠

nexttowardl^⚠

nrand48^⚠

nrand48_r^⚠

on_exit^⚠

open_memstream^⚠

opt_pk_add_dimensions^⚠

opt_pk_array_canonicalize^⚠

opt_pk_array_deserialize_raw^⚠

opt_pk_array_fprint^⚠

opt_pk_array_serialize_raw^⚠

opt_pk_assign_linexpr_array^⚠

opt_pk_assign_texpr_array^⚠

opt_pk_bottom^⚠

opt_pk_bound_dimension^⚠

opt_pk_bound_linexpr^⚠

opt_pk_copy^⚠

opt_pk_dimension^⚠

opt_pk_expand^⚠

opt_pk_fold^⚠

opt_pk_forget_array^⚠

opt_pk_free^⚠

opt_pk_internal_alloc^⚠

opt_pk_internal_free^⚠

opt_pk_is_bottom^⚠

opt_pk_is_dimension_unconstrained^⚠

opt_pk_is_eq^⚠

opt_pk_is_leq^⚠

opt_pk_is_top^⚠

opt_pk_join^⚠

opt_pk_manager_alloc^⚠

opt_pk_manager_get_internal^⚠

opt_pk_meet^⚠

opt_pk_meet_lincons_array^⚠

opt_pk_meet_tcons_array^⚠

opt_pk_minimize^⚠

opt_pk_of_box^⚠

opt_pk_permute_dimensions^⚠

opt_pk_remove_dimensions^⚠

opt_pk_sat_lincons^⚠

opt_pk_sat_tcons^⚠

opt_pk_set_approximate_max_coeff_size^⚠

opt_pk_size^⚠

opt_pk_substitute_linexpr_array^⚠

opt_pk_to_box^⚠

opt_pk_to_lincons_array^⚠

opt_pk_top^⚠

opt_pk_widening^⚠

pclose^⚠

perror^⚠

popen^⚠

posix_memalign^⚠

pow^⚠

powf^⚠

powl^⚠

print_array_comp_list^⚠

print_comp_list^⚠

printf^⚠

pselect^⚠

putc^⚠

putc_unlocked^⚠

putchar^⚠

putchar_unlocked^⚠

putenv^⚠

puts^⚠

putw^⚠

qecvt^⚠

qecvt_r^⚠

qfcvt^⚠

qfcvt_r^⚠

qgcvt^⚠

qsort^⚠

quasilinearize_elina_lincons0^⚠

quasilinearize_elina_lincons0_array^⚠

quasilinearize_elina_linexpr0^⚠

quick_exit^⚠

rand^⚠

rand_r^⚠

random^⚠

random_r^⚠

realloc^⚠

reallocarray^⚠

realpath^⚠

remainder^⚠

remainderf^⚠

remainderl^⚠

remove^⚠

remove_block_and_factor^⚠

remove_comp^⚠

remove_comp_list^⚠

remquo^⚠

remquof^⚠

remquol^⚠

rename^⚠

renameat^⚠

rewind^⚠

rindex^⚠

rint^⚠

rintf^⚠

rintl^⚠

round^⚠

roundf^⚠

roundl^⚠

rpmatch^⚠

scalb^⚠

scalbf^⚠

scalbl^⚠

scalbln^⚠

scalblnf^⚠

scalblnl^⚠

scalbn^⚠

scalbnf^⚠

scalbnl^⚠

scanf^⚠

scanf1^⚠

seed48^⚠

seed48_r^⚠

select^⚠

setbuf^⚠

setbuffer^⚠

setenv^⚠

setlinebuf^⚠

setstate^⚠

setstate_r^⚠

setvbuf^⚠

significand^⚠

significandf^⚠

significandl^⚠

sin^⚠

sinf^⚠

sinh^⚠

sinhf^⚠

sinhl^⚠

sinl^⚠

snprintf^⚠

sprintf^⚠

sqrt^⚠

sqrtf^⚠

sqrtl^⚠

srand^⚠

srand48^⚠

srand48_r^⚠

srandom^⚠

srandom_r^⚠

sscanf^⚠

sscanf1^⚠

stpcpy^⚠

stpncpy^⚠

strcasecmp^⚠

strcasecmp_l^⚠

strcat^⚠

strchr^⚠

strcmp^⚠

strcoll^⚠

strcoll_l^⚠

strcpy^⚠

strcspn^⚠

strdup^⚠

strerror^⚠

strerror_l^⚠

strerror_r^⚠

strlen^⚠

strncasecmp^⚠

strncasecmp_l^⚠

strncat^⚠

strncmp^⚠

strncpy^⚠

strndup^⚠

strnlen^⚠

strpbrk^⚠

strrchr^⚠

strsep^⚠

strsignal^⚠

strspn^⚠

strstr^⚠

strtod^⚠

strtof^⚠

strtok^⚠

strtok_r^⚠

strtol^⚠

strtold^⚠

strtoll^⚠

strtoq^⚠

strtoul^⚠

strtoull^⚠

strtouq^⚠

strxfrm^⚠

strxfrm_l^⚠

system^⚠

tan^⚠

tanf^⚠

tanh^⚠

tanhf^⚠

tanhl^⚠

tanl^⚠

tempnam^⚠

tgamma^⚠

tgammaf^⚠

tgammal^⚠

tmpfile^⚠

tmpnam^⚠

tmpnam_r^⚠

to_sorted_array^⚠

trunc^⚠

truncf^⚠

truncl^⚠

ungetc^⚠

union_array_comp_list^⚠

union_comp_list^⚠

union_comp_list_direct^⚠

unite_comp_lists^⚠

unsetenv^⚠

valloc^⚠

vdprintf^⚠

vfprintf^⚠

vfscanf^⚠

vfscanf1^⚠

vprintf^⚠

vscanf^⚠

vscanf1^⚠

vsnprintf^⚠

vsprintf^⚠

vsscanf^⚠

vsscanf1^⚠

wcstombs^⚠

wctomb^⚠

y0^⚠

y0f^⚠

y0l^⚠

y1^⚠

y1f^⚠

y1l^⚠

yn^⚠

ynf^⚠

ynl^⚠

Type Aliases

FILE

MP_INT

MP_RAT

_Float32

_Float64

_Float32x

_Float64x

_IO_lock_t

__FILE

__blkcnt64_t

__blkcnt_t

__blksize_t

__builtin_va_list

__caddr_t

__clock_t

__clockid_t

__compar_fn_t

__daddr_t

__dev_t

__fd_mask

__fpos64_t

__fpos_t

__fsblkcnt64_t

__fsblkcnt_t

__fsfilcnt64_t

__fsfilcnt_t

__fsword_t

__gid_t

__gnuc_va_list

__id_t

__ino64_t

__ino_t

__int8_t

__int16_t

__int32_t

__int64_t

__int_least8_t

__int_least16_t

__int_least32_t

__int_least64_t

__intmax_t

__intptr_t

__key_t

__locale_t

__loff_t

__mode_t

__nlink_t

__off64_t

__off_t

__pid_t

__pthread_list_t

__pthread_slist_t

__quad_t

__rlim64_t

__rlim_t

__sig_atomic_t

__socklen_t

__ssize_t

__suseconds_t

__syscall_slong_t

__syscall_ulong_t

__time_t

__timer_t

__u_char

__u_int

__u_long

__u_quad_t

__u_short

__uid_t

__uint8_t

__uint16_t

__uint32_t

__uint64_t

__uint_least8_t

__uint_least16_t

__uint_least32_t

__uint_least64_t

__uintmax_t

__useconds_t

_bindgen_ty_1

_bindgen_ty_2

blkcnt_t

blksize_t

bool_

caddr_t

clock_t

clockid_t

daddr_t

dev_t

double_t

elina_coeff_discr_t

elina_coefftag_t

elina_constyp_t

elina_dim_t

elina_exc_t

elina_funid_t

elina_int_t

elina_linexpr_discr_t

elina_linexpr_type_t

elina_scalar_discr_t

elina_texpr_discr_t

elina_texpr_op_t

elina_texpr_rdir_t

elina_texpr_rtype_t

fd_mask

float_t

fpos_t

fsblkcnt_t

fsfilcnt_t

fsid_t

gid_t

gmp_randalg_t

gmp_randstate_t

id_t

idtype_t

ino_t

int_fast8_t

int_fast16_t

int_fast32_t

int_fast64_t

int_least8_t

int_least16_t

int_least32_t

int_least64_t

intmax_t

key_t

locale_t

loff_t

mode_t

mp_bitcnt_t

mp_exp_t

mp_limb_signed_t

mp_limb_t

mp_ptr

mp_size_t

mp_srcptr

mpf_ptr

mpf_srcptr

mpf_t

mpfr_exp_t

mpfr_flags_t

mpfr_free_cache_t

mpfr_int

mpfr_kind_t

mpfr_long

mpfr_prec_t

mpfr_ptr

mpfr_rnd_t

mpfr_sign_t

mpfr_size_t

mpfr_srcptr

mpfr_t

mpfr_uexp_t

mpfr_uint

mpfr_ulong

mpfr_uprec_t

mpfr_void

mpq_ptr

mpq_srcptr

mpq_t

mpz_ptr

mpz_srcptr

mpz_t

nlink_t

off_t

opt_pk_status_t

pid_t

pthread_key_t

pthread_once_t

pthread_spinlock_t

pthread_t

quad_t

register_t

sigset_t

size_t

ssize_t

suseconds_t

time_t

timer_t

u_char

u_int

u_int8_t

u_int16_t

u_int32_t

u_int64_t

u_long

u_quad_t

u_short

uid_t

uint

uint_fast8_t

uint_fast16_t

uint_fast32_t

uint_fast64_t

uint_least8_t

uint_least16_t

uint_least32_t

uint_least64_t

uintmax_t

ulong

ushort

va_list

wchar_t

Unions

__gmp_randstate_struct__bindgen_ty_1

__mbstate_t__bindgen_ty_1

__pthread_cond_s__bindgen_ty_1

__pthread_cond_s__bindgen_ty_2

elina_coeff_t__bindgen_ty_1

elina_linexpr0_t__bindgen_ty_1

elina_scalar_t__bindgen_ty_1

elina_texpr0_t__bindgen_ty_1

pthread_attr_t

pthread_barrier_t

pthread_barrierattr_t

pthread_cond_t

pthread_condattr_t

pthread_mutex_t

pthread_mutexattr_t

pthread_rwlock_t

pthread_rwlockattr_t