List of all items
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
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
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
- __log10
- __log10f
- __log10l
- __log1p
- __log1pf
- __log1pl
- __log2
- __log2f
- __log2l
- __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_checkman1_raise
- elina_abstract0_checkman2
- 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
- log10
- log10f
- log10l
- log1p
- log1pf
- log1pl
- log2
- log2f
- log2l
- 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_exp10
- mpfr_exp2
- 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_log10
- mpfr_log1p
- mpfr_log2
- 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
- _Float32x
- _Float64
- _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
- __int16_t
- __int32_t
- __int64_t
- __int8_t
- __int_least16_t
- __int_least32_t
- __int_least64_t
- __int_least8_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
- __uint16_t
- __uint32_t
- __uint64_t
- __uint8_t
- __uint_least16_t
- __uint_least32_t
- __uint_least64_t
- __uint_least8_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_fast16_t
- int_fast32_t
- int_fast64_t
- int_fast8_t
- int_least16_t
- int_least32_t
- int_least64_t
- int_least8_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_int16_t
- u_int32_t
- u_int64_t
- u_int8_t
- u_long
- u_quad_t
- u_short
- uid_t
- uint
- uint_fast16_t
- uint_fast32_t
- uint_fast64_t
- uint_fast8_t
- uint_least16_t
- uint_least32_t
- uint_least64_t
- uint_least8_t
- uintmax_t
- ulong
- ushort
- va_list
- wchar_t
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
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
- INT16_MAX
- INT16_MIN
- INT32_MAX
- INT32_MIN
- INT8_MAX
- INT8_MIN
- INTPTR_MAX
- INTPTR_MIN
- INT_FAST16_MAX
- INT_FAST16_MIN
- INT_FAST32_MAX
- INT_FAST32_MIN
- INT_FAST8_MAX
- INT_FAST8_MIN
- INT_LEAST16_MAX
- INT_LEAST16_MIN
- INT_LEAST32_MAX
- INT_LEAST32_MIN
- INT_LEAST8_MAX
- INT_LEAST8_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_LN10
- M_LN2
- M_LOG10E
- M_LOG2E
- M_PI
- M_PI_2
- M_PI_4
- M_SQRT1_2
- M_SQRT2
- 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
- UINT16_MAX
- UINT32_MAX
- UINT8_MAX
- UINTPTR_MAX
- UINT_FAST16_MAX
- UINT_FAST32_MAX
- UINT_FAST8_MAX
- UINT_LEAST16_MAX
- UINT_LEAST32_MAX
- UINT_LEAST8_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_FLOAT128
- __HAVE_DISTINCT_FLOAT128X
- __HAVE_DISTINCT_FLOAT16
- __HAVE_DISTINCT_FLOAT32
- __HAVE_DISTINCT_FLOAT32X
- __HAVE_DISTINCT_FLOAT64
- __HAVE_DISTINCT_FLOAT64X
- __HAVE_FLOAT128
- __HAVE_FLOAT128X
- __HAVE_FLOAT16
- __HAVE_FLOAT32
- __HAVE_FLOAT32X
- __HAVE_FLOAT64
- __HAVE_FLOAT64X
- __HAVE_FLOAT64X_LONG_DOUBLE
- __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_POSIX199309
- __USE_POSIX199506
- __USE_POSIX2
- __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_