Crate elina_sys

Crate elina_sys 

Source

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