# Index of values

_equal [Mpfr] |
_equal [Mpf] |
_export [Mpz] |
_gcdext [Mpz] |
_get_str [Mpfr] |
_get_str [Mpf] |
_get_str [Mpq] |
_get_str [Mpz] |
_import [Mpz] |
_init_set_str [Mpfr] |
_init_set_str [Mpf] |
_init_set_str [Mpz] |
_powm [Mpz] |
_powm_ui [Mpz] |
_set_str [Mpfr] |
_set_str [Mpf] |
_set_str [Mpq] |
_set_str [Mpz] |
_sqrtrem [Mpz] |
A
abs [Mpfrf] |
abs [Mpqf] |
abs [Mpzf] |
abs [Mpfr] |
abs [Mpf] |
abs [Mpq] |
abs [Mpz] |
abstract0 [Abstract1] | Return resp.
acos [Mpfr] |
acosh [Mpfr] |
add [Mpfrf] |
add [Mpqf] |
add [Mpzf] |
add [Mpfr] |
add [Mpf] |
add [Mpq] |
add [Mpz] |
add [Environment] | Adding to an environment a set of integer and real variables.
add_dimensions [Abstract0] |
add_dimensions_with [Abstract0] |
add_epsilon [Oct] | Perturbation.
add_epsilon_bin [Oct] | Perturbation.
add_int [Mpfrf] |
add_int [Mpzf] |
add_q [Mpfr] |
add_ray_array [Abstract1] | Add the array of generators to the abstract value (time elapse operator).
add_ray_array [Abstract0] | Add the array of generators to the abstract value (time elapse operator).
add_ray_array_with [Abstract1] |
add_ray_array_with [Abstract0] |
add_ui [Mpfr] |
add_ui [Mpf] |
add_ui [Mpz] |
add_z [Mpfr] |
addmul [Mpz] |
addmul_ui [Mpz] |
agm [Mpfr] |
apply_dimchange2 [Abstract0] |
apply_dimchange2_with [Abstract0] |
approximate [Abstract1] | `approximate man abs alg` perform some transformation on the abstract value, guided by the argument `alg`.
approximate [Abstract0] | `approximate man abs alg` perform some transformation on the abstract value, guided by the argument `alg`.
array_extend_environment [Tcons1] | Change the environment of the array of constraints for a super-environment.
array_extend_environment [Generator1] | Change the environment of the array of generators for a super-environment.
array_extend_environment [Lincons1] | Change the environment of the array of constraints for a super-environment.
array_extend_environment_with [Tcons1] | Side-effect version of the previous function
array_extend_environment_with [Generator1] | Side-effect version of the previous function
array_extend_environment_with [Lincons1] | Side-effect version of the previous function
array_get [Tcons1] | Get the element of the given index (which is not a copy)
array_get [Generator1] | Get the element of the given index (which is not a copy)
array_get [Lincons1] | Get the element of the given index (which is not a copy)
array_get_env [Tcons1] | Get the environment of the array
array_get_env [Lincons1] | Get the environment of the array
array_length [Tcons1] | Get the size of the array
array_length [Generator1] | Get the size of the array
array_length [Lincons1] | Get the size of the array
array_make [Tcons1] | Make an array of tree expression constraints with the given size and defined on the given environment.
array_make [Generator1] | Make an array of generators with the given size and defined on the given environment.
array_make [Lincons1] | Make an array of linear constraints with the given size and defined on the given environment.
array_print [Tcons1] | Print an array of constraints
array_print [Generator1] | Print an array of generators
array_print [Lincons1] | Print an array of constraints
array_set [Tcons1] | Set the element of the given index (without any copy).
array_set [Generator1] | Set the element of the given index (without any copy).
array_set [Lincons1] | Set the element of the given index (without any copy).
asin [Mpfr] |
asinh [Mpfr] |
assign_linexpr [Abstract1] |
assign_linexpr [Abstract0] |
assign_linexpr_array [Abstract1] | Parallel assignement of an array of dimensions by an array of same size of linear expressions
assign_linexpr_array [Abstract0] | Parallel assignement of an array of dimensions by an array of same size of linear expressions
assign_linexpr_array_with [Abstract1] |
assign_linexpr_array_with [Abstract0] |
assign_linexpr_with [Abstract1] |
assign_linexpr_with [Abstract0] |
assign_texpr [Abstract1] |
assign_texpr [Abstract0] |
assign_texpr_array [Abstract1] | Parallel assignement of an array of dimensions by an array of same size of tree expressions
assign_texpr_array [Abstract0] | Parallel assignement of an array of dimensions by an array of same size of tree expressions
assign_texpr_array_with [Abstract1] |
assign_texpr_array_with [Abstract0] |
assign_texpr_with [Abstract1] |
assign_texpr_with [Abstract0] |
atan [Mpfr] |
atan2 [Mpfr] |
atanh [Mpfr] |
B
bin_ui [Mpz] |
bin_uiui [Mpz] |
binop [Texpr1] |
binop [Texpr0] |
bottom [Abstract1] | Create a bottom (empty) value defined on the given environment
bottom [Abstract0] | Create a bottom (empty) value with the given number of integer and real variables
bottom [Interval] | Top and bottom intervals (using `DOUBLE` coefficients)
bound_dimension [Abstract0] | Return the interval of variation of the dimension in the abstract value.
bound_linexpr [Abstract1] | Return the interval of variation of the linear expression in the abstract value.
bound_linexpr [Abstract0] | Return the interval of variation of the linear expression in the abstract value.
bound_texpr [Abstract1] | Return the interval of variation of the tree expression in the abstract value.
bound_texpr [Abstract0] | Return the interval of variation of the tree expression in the abstract value.
bound_variable [Abstract1] | Return the interval of variation of the variable in the abstract value.
C
canonicalize [Mpq] |
canonicalize [Abstract1] | Put the abstract value in canonical form.
canonicalize [Abstract0] | Put the abstract value in canonical form.
cdiv_q [Mpzf] |
cdiv_q [Mpz] | The first parameter holds the quotient.
cdiv_q_2exp [Mpz] | The first parameter holds the quotient.
cdiv_q_ui [Mpz] | The first parameter holds the quotient.
cdiv_qr [Mpzf] |
cdiv_qr [Mpz] | The two first parameters hold resp.
cdiv_qr_ui [Mpz] | The two first parameters hold resp.
cdiv_r [Mpzf] |
cdiv_r [Mpz] | The first parameter holds the remainder.
cdiv_r_2exp [Mpz] | The first parameter holds the remainder.
cdiv_r_ui [Mpz] | The first parameter holds the remainder.
cdiv_ui [Mpz] |
ceil [Mpfr] |
ceil [Mpf] |
change_add_invert [Dim] | Assuming a transformation for add_dimensions, invert it in-place to obtain the inverse transformation using remove_dimensions
change_environment [Abstract1] | Change the environment of the abstract values.
change_environment_with [Abstract1] |
check_range [Mpfr] |
clear_flags [Mpfr] |
clear_inexflag [Mpfr] |
clear_nanflag [Mpfr] |
clear_overflow [Mpfr] |
clear_underflow [Mpfr] |
closure [Abstract1] | Closure: transform strict constraints into non-strict ones.
closure [Abstract0] | Closure: transform strict constraints into non-strict ones.
closure_with [Abstract1] | Side-effect version
closure_with [Abstract0] | Side-effect version
clrbit [Mpz] |
cmp [Mpfrf] |
cmp [Mpqf] |
cmp [Mpzf] |
cmp [Mpfr] |
cmp [Mpf] |
cmp [Mpq] |
cmp [Mpz] |
cmp [Coeff] | Non Total Comparison: If the 2 coefficients are both scalars, corresp. to Scalar.cmp, If the 2 coefficients are both intervals, corresp. to Interval.cmp, otherwise, -3 if the first is a scalar, 3 otherwise
cmp [Interval] | Non Total Comparison: 0: equality -1: i1 included in i2 +1: i2 included in i1 -2: i1.inf less than or equal to i2.inf +2: i1.inf greater than i2.inf
cmp [Scalar] | Compare two coefficients, possibly converting to `Mpqf.t`.
cmp_d [Mpf] |
cmp_d [Mpz] |
cmp_frac [Mpqf] |
cmp_int [Mpfrf] |
cmp_int [Mpqf] |
cmp_int [Mpzf] |
cmp_int [Scalar] | Compare a coefficient with an integer
cmp_si [Mpfr] |
cmp_si [Mpf] |
cmp_si [Mpq] |
cmp_si [Mpz] |
cmp_si_2exp [Mpfr] |
cmpabs [Mpz] |
cmpabs_d [Mpz] |
cmpabs_ui [Mpz] |
com [Mpz] |
compare [Environment] | Compare two environment.
compare [Var] | Comparison function
compare [Linexpr0] | Comparison with lexicographic ordering using Coeff.cmp, terminating by constant
compose [PolkaGrid] | Compose an abstract value
congruent_2exp_p [Mpz] |
congruent_p [Mpz] |
congruent_ui_p [Mpz] |
const_catalan [Mpfr] |
const_euler [Mpfr] |
const_log2 [Mpfr] |
const_pi [Mpfr] |
copy [Abstract1] | Copy a value
copy [Tcons1] | Copy (deep copy)
copy [Texpr1] | Copy
copy [Generator1] | Copy (deep copy)
copy [Lincons1] | Copy (deep copy)
copy [Linexpr1] | Copy
copy [Abstract0] | Copy a value
copy [Tcons0] | Copy a tree expression constraint (deep copy)
copy [Texpr0] | Copy
copy [Generator0] | Copy a generator (deep copy)
copy [Lincons0] | Copy a linear constraint (deep copy)
copy [Linexpr0] | Copy
cos [Mpfr] |
cosh [Mpfr] |
cot [Mpfr] |
coth [Mpfr] |
csc [Mpfr] |
csch [Mpfr] |
cst [Texpr1] |
cst [Texpr0] |
D
decompose [PolkaGrid] | Decompose an abstract value
dim [Texpr0] |
dim_of_var [Environment] | Return the dimension associated to the given variable in the environment.
dimchange [Environment] | `dimchange e1 e2` computes the transformation for converting from an environment `e1` to a superenvironment `e2`.
dimchange2 [Environment] | `dimchange2 e1 e2` computes the transformation for converting from an environment `e1` to a (compatible) environment `e2`, by first adding (some) variables of `e2` and then removing (some) variables of `e1`.
dimension [Environment] | Return the dimension of the environment
dimension [Abstract0] |
div [Mpfrf] |
div [Mpqf] |
div [Mpfr] |
div [Mpf] |
div [Mpq] |
div_2exp [Mpfr] |
div_2exp [Mpf] |
div_2exp [Mpq] |
div_2si [Mpfr] |
div_2ui [Mpfr] |
div_q [Mpfr] |
div_ui [Mpfrf] |
div_ui [Mpfr] |
div_ui [Mpf] |
div_z [Mpfr] |
divexact [Mpzf] |
divexact [Mpz] |
divexact_ui [Mpz] |
divisible_2exp_p [Mpz] |
divisible_p [Mpz] |
divisible_ui_p [Mpz] |
E
eint [Mpfr] |
env [Abstract1] |
equal [Mpfrf] |
equal [Mpqf] |
equal [Mpfr] |
equal [Mpf] |
equal [Mpq] |
equal [Environment] | Test equality if two environments
equal [Coeff] | Equality test
equal [Interval] | Equality test
equal [Scalar] | Equality test, possibly using a conversion to `Mpqf.t`.
equal_int [Coeff] | Is the coefficient equal to scalar b or interval `b,b` ?
equal_int [Interval] | Is the interval equal to `i,i` ?
equal_int [Scalar] | Equality test with an integer
erf [Mpfr] |
erfc [Mpfr] |
even_p [Mpz] |
exp [Mpfr] |
exp10 [Mpfr] |
exp2 [Mpfr] |
expand [Abstract1] | Expansion: `expand a var tvar` expands the variable `var` into itself and the additional variables in `tvar`, which are given the same type as `var`.
expand [Abstract0] | Expansion: `expand a dim n` expands the dimension `dim` into itself + `n` additional dimensions.
expand_with [Abstract1] |
expand_with [Abstract0] |
expm1 [Mpfr] |
export [Mpz] |
extend_environment [Tcons1] | Change the environment of the constraint for a super-environment.
extend_environment [Texpr1] | Change the environment of the expression for a super-environment.
extend_environment [Generator1] | Change the environment of the generator for a super-environment.
extend_environment [Lincons1] | Change the environment of the constraint for a super-environment.
extend_environment [Linexpr1] | Change the environment of the expression for a super-environment.
extend_environment_with [Tcons1] | Side-effect version of the previous function
extend_environment_with [Texpr1] | Side-effet version of the previous function
extend_environment_with [Generator1] | Side-effect version of the previous function
extend_environment_with [Lincons1] | Side-effect version of the previous function
extend_environment_with [Linexpr1] | Side-effet version of the previous function
F
fac_ui [Mpfr] |
fac_ui [Mpz] |
fdiv_q [Mpzf] |
fdiv_q [Mpz] |
fdiv_q_2exp [Mpz] |
fdiv_q_ui [Mpz] |
fdiv_qr [Mpzf] |
fdiv_qr [Mpz] |
fdiv_qr_ui [Mpz] |
fdiv_r [Mpzf] |
fdiv_r [Mpz] |
fdiv_r_2exp [Mpz] |
fdiv_r_ui [Mpz] |
fdiv_ui [Mpz] |
fdump [Abstract1] | Dump on the `stdout` C stream the internal representation of an abstract value, for debugging purposes
fdump [Abstract0] | Dump on the `stdout` C stream the internal representation of an abstract value, for debugging purposes
fib2_ui [Mpz] |
fib_ui [Mpz] |
fits_int_p [Mpf] |
fits_int_p [Mpz] |
fits_sint_p [Mpf] |
fits_sint_p [Mpz] |
fits_slong_p [Mpf] |
fits_slong_p [Mpz] |
fits_sshort_p [Mpf] |
fits_sshort_p [Mpz] |
fits_uint_p [Mpf] |
fits_uint_p [Mpz] |
fits_ulong_p [Mpf] |
fits_ulong_p [Mpz] |
fits_ushort_p [Mpf] |
fits_ushort_p [Mpz] |
floor [Mpfr] |
floor [Mpf] |
fma [Mpfr] |
fold [Abstract1] | Folding: `fold a tvar` fold the variables in the array `tvar` of size n>=1 and put the result in the first variable of the array.
fold [Abstract0] | Folding: `fold a tdim` fold the dimensions in the array `tdim` of size n>=1 and put the result in the first dimension of the array.
fold_with [Abstract1] |
fold_with [Abstract0] |
forget_array [Abstract1] |
forget_array [Abstract0] |
forget_array_with [Abstract1] |
forget_array_with [Abstract0] |
funopt_make [Manager] | Return the default options for any function (`0` or `false` for al fields)
G
gamma [Mpfr] |
gand [Mpz] |
gcd [Mpzf] |
gcd [Mpz] |
gcd_ui [Mpz] |
gcdext [Mpz] |
generator1_of_lexbuf [Parser] | Conversion from lexing buffers to resp.
generator1_of_lstring [Parser] | Conversion from lists of strings to array of resp.
generator1_of_string [Parser] | Conversion from strings to resp.
get_approximate_max_coeff_size [Polka] |
get_coeff [Generator1] | Get the coefficient of the variable in the underlying linear expression
get_coeff [Lincons1] | Get the coefficient of the variable in the underlying linear expression
get_coeff [Linexpr1] | Get the coefficient of the variable
get_coeff [Linexpr0] | Get the coefficient corresponding to the dimension
get_cst [Lincons1] | Get the constant of the underlying linear expression
get_cst [Linexpr1] | Get the constant
get_cst [Linexpr0] | Get the constant
get_d [Mpfr] |
get_d [Mpf] |
get_d [Mpq] |
get_d [Mpz] |
get_d1 [Mpfr] |
get_d_2exp [Mpf] |
get_d_2exp [Mpz] |
get_default_prec [Mpfr] |
get_default_prec [Mpf] |
get_default_rounding_mode [Mpfr] |
get_den [Mpqf] |
get_den [Mpq] |
get_deserialize [Manager] |
get_emax [Mpfr] |
get_emin [Mpfr] |
get_env [Tcons1] | Get the environment of the tree expression constraint
get_env [Texpr1] | Get the environment of the expression
get_env [Generator1] | Get the environment of the generator
get_env [Lincons1] | Get the environment of the linear constraint
get_env [Linexpr1] | Get the environment of the expression
get_exp [Mpfr] |
get_flag_best [Manager] | Get the corresponding result flag
get_flag_exact [Manager] | Get the corresponding result flag
get_funopt [Manager] | Get the options sets for the function.
get_generator0 [Generator1] | Get the underlying generator of level 0.
get_int [Mpf] |
get_int [Mpz] |
get_library [Manager] | Get the name of the effective library which allocated the manager
get_lincons0 [Lincons1] | Get the underlying linear constraint of level 0.
get_linexpr0 [Linexpr1] | Get the underlying expression of level 0 (which is not a copy).
get_linexpr1 [Generator1] | Get the underlying linear expression.
get_linexpr1 [Lincons1] | Get the underlying linear expression.
get_max_coeff_size [Polka] |
get_num [Mpqf] |
get_num [Mpq] |
get_prec [Mpfr] |
get_prec [Mpf] |
get_q [Mpf] |
get_si [Mpf] |
get_si [Mpz] |
get_size [Linexpr0] | Get the size of the linear expression (which may be sparse or dense)
get_str [Mpfr] |
get_str [Mpf] |
get_str [Mpq] |
get_str [Mpz] |
get_tcons0 [Tcons1] | Get the underlying tree expression constraint of level 0.
get_texpr0 [Texpr1] | Get the underlying expression of level 0 (which is not a copy).
get_texpr1 [Tcons1] | Get the underlying linear expression.
get_typ [Tcons1] | Get the constraint type
get_typ [Generator1] | Get the generator type
get_typ [Lincons1] | Get the constraint type
get_version [Manager] | Get the version of the effective library which allocated the manager
get_z [Mpfr] |
get_z [Mpf] |
get_z [Mpq] |
get_z_exp [Mpfr] |
gmod [Mpzf] |
gmod [Mpz] |
gmod_ui [Mpz] |
H
hamdist [Mpz] |
hash [Abstract1] |
hash [Environment] | Hashing function for environments
hash [Var] | Hash function
hash [Abstract0] |
hash [Linexpr0] | Hashing function
hypot [Mpfr] |
I
i_of_float [Coeff] |
i_of_frac [Coeff] |
i_of_int [Coeff] |
i_of_mpfr [Coeff] | Create an interval coefficient from resp.
i_of_mpq [Coeff] |
i_of_mpqf [Coeff] |
i_of_scalar [Coeff] | Build an interval from a lower and an upper bound
import [Mpz] |
inexflag_p [Mpfr] |
inf_p [Mpfrf] |
inf_p [Mpfr] |
init [Mpfr] |
init [Mpf] |
init [Mpq] |
init [Mpz] |
init2 [Mpfr] |
init2 [Mpf] |
init2 [Mpz] |
init_default [Gmp_random] |
init_lc_2exp [Gmp_random] |
init_lc_2exp_size [Gmp_random] |
init_set [Mpfr] |
init_set [Mpf] |
init_set [Mpq] |
init_set [Mpz] |
init_set_d [Mpfr] |
init_set_d [Mpf] |
init_set_d [Mpq] |
init_set_d [Mpz] |
init_set_f [Mpfr] |
init_set_q [Mpfr] |
init_set_si [Mpfr] |
init_set_si [Mpf] |
init_set_si [Mpq] |
init_set_si [Mpz] |
init_set_str [Mpfr] |
init_set_str [Mpf] |
init_set_str [Mpq] |
init_set_str [Mpz] |
init_set_z [Mpfr] |
init_set_z [Mpq] |
integer_p [Mpfr] |
integer_p [Mpf] |
inv [Mpqf] |
inv [Mpq] |
invert [Mpz] |
ior [Mpz] |
is_bottom [Abstract1] | Emptiness test
is_bottom [Abstract0] | Emptiness test
is_bottom [Interval] | Does the interval contain no value (`[a,b]` with a>b) ?
is_box [Box.Abstract1] | Return `true` iff the argument value is a box value
is_box [Box.Abstract0] | Return `true` iff the argument value is a box value
is_dimension_unconstrained [Abstract0] | Is the dimension unconstrained in the abstract value ? If yes, this means that the existential quantification of the dimension does not change the value.
is_eq [Abstract1] | Equality test.
is_eq [Abstract0] | Equality test.
is_infty [Scalar] | Infinity test.
is_integer [Mpf] |
is_integer [Linexpr1] | Does the linear expression depend only on integer variables ?
is_interval [Coeff] |
is_interval_cst [Texpr1] |
is_interval_cst [Texpr0] |
is_interval_linear [Texpr1] |
is_interval_linear [Texpr0] |
is_interval_polyfrac [Texpr1] |
is_interval_polyfrac [Texpr0] |
is_interval_polynomial [Texpr1] |
is_interval_polynomial [Texpr0] |
is_leq [Abstract1] | Inclusion test.
is_leq [Abstract0] | Inclusion test.
is_leq [Interval] | Inclusion test.
is_oct [Oct.Abstract1] | Return `true` iff the argument value is an oct value
is_oct [Oct.Abstract0] | Return `true` iff the argument value is an oct value
is_polka [Polka.Abstract1] |
is_polka [Polka.Abstract0] |
is_polka_equalities [Polka.Abstract1] | Return `true` iff the argument manager is a polka value
is_polka_equalities [Polka.Abstract0] | Return `true` iff the argument manager is a polka value
is_polka_loose [Polka.Abstract1] |
is_polka_loose [Polka.Abstract0] |
is_polka_strict [Polka.Abstract1] |
is_polka_strict [Polka.Abstract0] |
is_polkagrid [PolkaGrid.Abstract1] | Return `true` iff the argument manager is a polkagrid value
is_polkagrid [PolkaGrid.Abstract0] | Return `true` iff the argument manager is a polkagrid value
is_ppl [Ppl.Abstract1] |
is_ppl [Ppl.Abstract0] |
is_ppl_grid [Ppl.Abstract1] | Return `true` iff the argument manager is a ppl value
is_ppl_grid [Ppl.Abstract0] | Return `true` iff the argument manager is a ppl value
is_ppl_loose [Ppl.Abstract1] |
is_ppl_loose [Ppl.Abstract0] |
is_ppl_strict [Ppl.Abstract1] |
is_ppl_strict [Ppl.Abstract0] |
is_real [Linexpr1] | Does the linear expression depend only on real variables ?
is_scalar [Texpr1] |
is_scalar [Texpr0] |
is_scalar [Coeff] |
is_top [Abstract1] | Universality test
is_top [Abstract0] | Universality test
is_top [Interval] | Does the interval represent the universe (`[-oo,+oo]`) ?
is_unsat [Lincons1] | Is the constraint not satisfiable ?
is_variable_unconstrained [Abstract1] | Is the variable unconstrained in the abstract value ? If yes, this means that the existential quantification of the dimension does not change the value.
is_zero [Coeff] | Is the coefficient equal to scalar 0 or interval `0,0` ?
is_zero [Interval] | Is the interval equal to `0,0` ?
iter [Generator1] | Iter the function on the pair coefficient/variable of the underlying linear expression
iter [Lincons1] | Iter the function on the pair coefficient/variable of the underlying linear expression
iter [Linexpr1] | Iter the function on the pair coefficient/variable of the linear expression
iter [Linexpr0] |
J
jacobi [Mpz] |
join [Abstract1] | Join of 2 abstract values.
join [Abstract0] | Join of 2 abstract values.
join_array [Abstract1] | Join of a non empty array of abstract values.
join_array [Abstract0] | Join of a non empty array of abstract values.
join_with [Abstract1] |
join_with [Abstract0] |
K
kronecker [Mpz] |
kronecker_si [Mpz] |
L
lce [Environment] | Compute the least common environment of 2 environment, that is, the environment composed of all the variables of the 2 environments.
lce_change [Environment] | Similar to the previous function, but returns also the transformations required to convert from `e1` (resp.
lcm [Mpzf] |
lcm [Mpz] |
lcm_ui [Mpz] |
legendre [Mpz] |
lincons1_of_lexbuf [Parser] |
lincons1_of_lstring [Parser] |
lincons1_of_string [Parser] |
linexpr1_of_lexbuf [Parser] |
linexpr1_of_string [Parser] |
lngamma [Mpfr] |
log [Mpfr] |
log10 [Mpfr] |
log1p [Mpfr] |
log2 [Mpfr] |
lucnum2_ui [Mpz] |
lucnum_ui [Mpz] |
M
make [Tcons1] | Make a tree expression constraint.
make [Generator1] | Make a generator.
make [Lincons1] | Make a linear constraint.
make [Linexpr1] | Build a linear expression defined on the given argument, which is sparse by default.
make [Environment] | Making an environment from a set of integer and real variables.
make [Tcons0] | Make a tree expression constraint.
make [Generator0] | Making a generator.
make [Lincons0] | Make a linear constraint.
make [Linexpr0] | Create a linear expression.
make_unsat [Lincons1] | Build the unsatisfiable constraint -1>=0
manager [Abstract1] |
manager [Abstract0] |
manager_alloc [PolkaGrid] | Create a PolkaGrid manager from a (loose or strict) polka manager, and a PPL grid manager
manager_alloc [Oct] | Allocate a new manager to manipulate octagons.
manager_alloc [Box] | Create a Box manager.
manager_alloc_equalities [Polka] | Create a NewPolka manager for conjunctions of linear equalities.
manager_alloc_grid [Ppl] | Allocate a new manager for linear congruences (grids)
manager_alloc_loose [Ppl] | Allocate a PPL manager for loose convex polyhedra.
manager_alloc_loose [Polka] | Create a NewPolka manager for loose convex polyhedra.
manager_alloc_strict [Ppl] | Allocate a PPL manager for strict convex polyhedra.
manager_alloc_strict [Polka] | Create a NewPolka manager for strict convex polyhedra.
manager_decompose [PolkaGrid] | Decompose the manager
manager_get_internal [Polka] | Get the internal submanager of a NewPolka manager.
manager_get_internal [Oct] | No internal parameters for now...
manager_is_box [Box] | Return `true` iff the argument manager is a box manager
manager_is_oct [Oct] | Return `true` iff the argument manager is an octagon manager
manager_is_polka [Polka] |
manager_is_polka_equalities [Polka] | Return `true` iff the argument manager is a polka manager
manager_is_polka_loose [Polka] |
manager_is_polka_strict [Polka] |
manager_is_polkagrid [PolkaGrid] | Return `true` iff the argument manager is a polkagrid manager
manager_is_ppl [Ppl] | Type conversions
manager_is_ppl_grid [Ppl] | Return `true` iff the argument manager is a ppl manager
manager_is_ppl_loose [Ppl] |
manager_is_ppl_strict [Ppl] |
manager_of_box [Box] | Make a box manager generic
manager_of_oct [Oct] | Make an octagon manager generic
manager_of_polka [Polka] |
manager_of_polka_equalities [Polka] | Makes a polka manager generic
manager_of_polka_loose [Polka] |
manager_of_polka_strict [Polka] |
manager_of_polkagrid [PolkaGrid] | Makes a polkagrid manager generic
manager_of_ppl [Ppl] |
manager_of_ppl_grid [Ppl] | Make a ppl manager generic
manager_of_ppl_loose [Ppl] |
manager_of_ppl_strict [Ppl] |
manager_to_box [Box] | Instanciate the type of a box manager.
manager_to_oct [Oct] | Instanciate the type of an octagon manager.
manager_to_polka [Polka] |
manager_to_polka_equalities [Polka] | Instanciate the type of a polka manager.
manager_to_polka_loose [Polka] |
manager_to_polka_strict [Polka] |
manager_to_polkagrid [PolkaGrid] | Instanciate the type of a polkagrid manager.
manager_to_ppl [Ppl] |
manager_to_ppl_grid [Ppl] | Instanciate the type of a ppl manager.
manager_to_ppl_loose [Ppl] |
manager_to_ppl_strict [Ppl] |
max [Mpfr] |
meet [Abstract1] | Meet of 2 abstract values.
meet [Abstract0] | Meet of 2 abstract values.
meet_array [Abstract1] | Meet of a non empty array of abstract values.
meet_array [Abstract0] | Meet of a non empty array of abstract values.
meet_lincons_array [Abstract1] | Meet of an abstract value with an array of linear constraints.
meet_lincons_array [Abstract0] | Meet of an abstract value with an array of linear constraints.
meet_lincons_array_with [Abstract1] |
meet_lincons_array_with [Abstract0] |
meet_tcons_array [Abstract1] | Meet of an abstract value with an array of tree expressions constraints.
meet_tcons_array [Abstract0] | Meet of an abstract value with an array of tree expression constraints.
meet_tcons_array_with [Abstract1] |
meet_tcons_array_with [Abstract0] |
meet_with [Abstract1] |
meet_with [Abstract0] |
mem_var [Environment] | Return true if the variable is present in the environment.
min [Mpfr] |
minimize [Abstract1] | Minimize the size of the representation of the value.
minimize [Linexpr1] | In case of sparse representation, remove zero coefficients
minimize [Abstract0] | Minimize the size of the representation of the value.
minimize [Linexpr0] | In case of sparse representation, remove zero coefficients
minimize_environment [Abstract1] | Remove from the environment of the abstract value and from the abstract value itself variables that are unconstrained in it.
minimize_environment_with [Abstract1] |
mpfr [Mpfrf] |
mpfrf [Mpfrf] | Unsafe conversion from and to Mpfr.t.
mpq [Mpqf] |
mpqf [Mpqf] | Unsafe conversion from and to Mpq.t.
mpz [Mpzf] |
mpzf [Mpzf] | Unsafe conversion from and to Mpz.t.
mul [Mpfrf] |
mul [Mpqf] |
mul [Mpzf] |
mul [Mpfr] |
mul [Mpf] |
mul [Mpq] |
mul [Mpz] |
mul_2exp [Mpfr] |
mul_2exp [Mpf] |
mul_2exp [Mpq] |
mul_2exp [Mpz] |
mul_2si [Mpfr] |
mul_2ui [Mpfr] |
mul_int [Mpzf] |
mul_q [Mpfr] |
mul_si [Mpz] |
mul_ui [Mpfrf] |
mul_ui [Mpfr] |
mul_ui [Mpf] |
mul_z [Mpfr] |
N
nan_p [Mpfrf] |
nan_p [Mpfr] |
nanflag_p [Mpfr] |
narrowing [Oct] | Standard narrowing.
neg [Mpfrf] |
neg [Mpqf] |
neg [Mpzf] |
neg [Mpfr] |
neg [Mpf] |
neg [Mpq] |
neg [Mpz] |
neg [Coeff] | Negation
neg [Interval] | Negation
neg [Scalar] | Negation
nextabove [Mpfr] |
nextbelow [Mpfr] |
nextprime [Mpz] |
nexttoward [Mpfr] |
number_p [Mpfrf] |
number_p [Mpfr] |
O
odd_p [Mpz] |
of_array [Linexpr0] | Combines `Linexpr0.make` and `Linexpr0.set_array` (see below)
of_box [Box.Abstract1] | Make a box value generic
of_box [Box.Abstract0] | Make a box value generic
of_box [Abstract1] | Abstract an hypercube.
of_box [Abstract0] | Abstract an hypercube.
of_expr [Texpr1] | General constructor (actually the most efficient)
of_expr [Texpr0] | General constructor (actually the most efficient
of_float [Mpfrf] |
of_float [Mpqf] |
of_float [Mpzf] |
of_float [Mpfr] |
of_float [Mpf] |
of_float [Mpq] |
of_float [Mpz] |
of_float [Interval] |
of_float [Scalar] | Create a scalar of type `Float` with the given value
of_frac [Mpfrf] |
of_frac [Mpqf] |
of_frac [Mpfr] |
of_frac [Mpq] |
of_frac [Interval] |
of_frac [Scalar] | Create a scalar of type `Mpqf` from resp.
of_generator_array [Oct] | Approximate a set of generators to an abstract value, with best precision.
of_infsup [Interval] | depreciated
of_infty [Scalar] | Create a scalar of type `Float` with the value multiplied by infinity (resulting in minus infinity, zero, or infinity
of_int [Mpfrf] |
of_int [Mpqf] |
of_int [Mpzf] |
of_int [Mpfr] |
of_int [Mpf] |
of_int [Mpq] |
of_int [Mpz] |
of_int [Interval] |
of_int [Scalar] |
of_lincons_array [Abstract1] |
of_lincons_array [Abstract0] |
of_linexpr [Texpr1] | Conversion
of_linexpr [Texpr0] | Conversion
of_list [Linexpr0] | Combines `Linexpr0.make` and `Linexpr0.set_list` (see below)
of_lstring [Parser] | Abstraction of lists of strings representing constraints to abstract values, on the abstract domain defined by the given manager.
of_mpfr [Mpfrf] | Safe conversion from and to Mpfr.t.
of_mpfr [Interval] | Create an interval from resp.
of_mpfr [Scalar] |
of_mpfrf [Scalar] | Create a scalar of type `Mpfrf` with the given value
of_mpq [Mpfrf] |
of_mpq [Mpqf] | Safe conversion from and to Mpq.t.
of_mpq [Mpfr] |
of_mpq [Mpf] |
of_mpq [Interval] |
of_mpq [Scalar] |
of_mpqf [Mpfrf] |
of_mpqf [Interval] |
of_mpqf [Scalar] |
of_mpz [Mpfrf] |
of_mpz [Mpqf] |
of_mpz [Mpzf] | Safe conversion from and to Mpz.t.
of_mpz [Mpfr] |
of_mpz [Mpf] |
of_mpz [Mpq] |
of_mpz2 [Mpfrf] |
of_mpz2 [Mpqf] |
of_mpz2 [Mpfr] |
of_mpz2 [Mpq] |
of_mpzf [Mpfrf] |
of_mpzf [Mpqf] |
of_mpzf2 [Mpfrf] |
of_mpzf2 [Mpqf] |
of_oct [Oct.Abstract1] | Make an oct value generic
of_oct [Oct.Abstract0] | Make an oct value generic
of_polka [Polka.Abstract1] |
of_polka [Polka.Abstract0] |
of_polka_equalities [Polka.Abstract1] | Makes a polka value generic
of_polka_equalities [Polka.Abstract0] | Makes a polka value generic
of_polka_loose [Polka.Abstract1] |
of_polka_loose [Polka.Abstract0] |
of_polka_strict [Polka.Abstract1] |
of_polka_strict [Polka.Abstract0] |
of_polkagrid [PolkaGrid.Abstract1] | Makes a polkagrid value generic
of_polkagrid [PolkaGrid.Abstract0] | Makes a polkagrid value generic
of_ppl [Ppl.Abstract1] |
of_ppl [Ppl.Abstract0] |
of_ppl_grid [Ppl.Abstract1] | Make a ppl value generic
of_ppl_grid [Ppl.Abstract0] | Make a ppl value generic
of_ppl_loose [Ppl.Abstract1] |
of_ppl_loose [Ppl.Abstract0] |
of_ppl_strict [Ppl.Abstract1] |
of_ppl_strict [Ppl.Abstract0] |
of_scalar [Interval] | Build an interval from a lower and an upper bound
of_string [Mpfrf] |
of_string [Mpqf] |
of_string [Mpzf] |
of_string [Mpfr] |
of_string [Mpf] |
of_string [Mpq] |
of_string [Mpz] |
of_string [Var] | Constructor
of_tcons_array [Abstract1] | Abstract a conjunction of constraints
of_tcons_array [Abstract0] | Abstract a conjunction of constraints
overflow_p [Mpfr] |
P
perfect_power_p [Mpz] |
perfect_square_p [Mpz] |
perm_compose [Dim] | `perm_compose perm1 perm2` composes the 2 permutations perm1 and perm2 (in this order).
perm_invert [Dim] | Invert a permutation
permute_dimensions [Abstract0] |
permute_dimensions_with [Abstract0] |
popcount [Mpz] |
pow [Mpfrf] |
pow [Mpfr] |
pow_int [Mpfrf] |
pow_si [Mpfr] |
pow_ui [Mpfr] |
pow_ui [Mpf] |
pow_ui [Mpz] |
powm [Mpz] |
powm_ui [Mpz] |
pre_widening [Oct] | Algorithms.
print [Mpfrf] |
print [Mpqf] |
print [Mpzf] |
print [Mpfr] |
print [Mpf] |
print [Mpq] |
print [Mpz] |
print [Abstract1] | Print as a set of constraints
print [Tcons1] | Print the tree expression constraint
print [Texpr1] | Print an abstract tree expression
print [Generator1] | Print the generator
print [Lincons1] | Print the linear constraint
print [Linexpr1] | Print the linear expression
print [Environment] | Printing
print [Var] | Printing function
print [Abstract0] | Print as a set of constraints
print [Tcons0] | Print a constraint
print [Texpr0] | Print an abstract tree expression, using a function converting from dimensions to names
print [Generator0] | Print a generator
print [Lincons0] | Print a constraint
print [Linexpr0] | Print a linear expression, using a function converting from dimensions to names
print [Coeff] | Printing
print [Interval] | Print an interval, under the format `[inf,sup]`
print [Scalar] | Print a coefficient
print_array [Abstract0] | General use
print_binop [Texpr1] |
print_binop [Texpr0] |
print_exc [Manager] |
print_exclog [Manager] | Printing functions
print_expr [Texpr1] | Print a tree expression
print_expr [Texpr0] | Print a tree expression, using a function converting from dimensions to names
print_funid [Manager] |
print_funopt [Manager] |
print_precedence_of_binop [Texpr0] |
print_precedence_of_unop [Texpr0] |
print_round [Mpfr] |
print_round [Texpr1] |
print_round [Texpr0] |
print_sprint_binop [Texpr0] |
print_sprint_unop [Texpr0] |
print_typ [Texpr1] |
print_typ [Texpr0] |
print_unop [Texpr1] |
print_unop [Texpr0] |
probab_prime_p [Mpz] |
R
realloc2 [Mpz] |
reduce [Coeff] | Convert interval to scalar if possible
reldiff [Mpfr] |
reldiff [Mpf] |
remove [Mpz] |
remove [Environment] | Remove from an environment a set of variables.
remove_dimensions [Abstract0] |
remove_dimensions_with [Abstract0] |
rename [Environment] | Renaming in an environment a set of variables.
rename_array [Abstract1] | Parallel renaming of the environment of the abstract value.
rename_array_with [Abstract1] |
rename_perm [Environment] | Similar to previous function, but returns also the permutation on dimensions induced by the renaming.
rint [Mpfr] |
root [Mpz] |
round [Mpfr] |
round_prec [Mpfr] |
rrandomb [Gmp_random.Mpz] |
S
s_of_float [Coeff] | Create an interval coefficient of type `Float` with the given value
s_of_frac [Coeff] | Create a scalar coefficient of type `Mpqf.t` from resp.
s_of_int [Coeff] |
s_of_mpfr [Coeff] | Create an interval coefficient of type `Mpfr` with the given value
s_of_mpq [Coeff] |
s_of_mpqf [Coeff] |
sat_interval [Abstract1] | Does the abstract value satisfy the constraint `dim in interval` ?
sat_interval [Abstract0] | Does the abstract value satisfy the constraint `dim in interval` ?
sat_lincons [Abstract1] | Does the abstract value satisfy the linear constraint ?
sat_lincons [Abstract0] | Does the abstract value satisfy the linear constraint ?
sat_tcons [Abstract1] | Does the abstract value satisfy the tree expression constraint ?
sat_tcons [Abstract0] | Does the abstract value satisfy the tree expression constraint ?
scan0 [Mpz] |
scan1 [Mpz] |
sec [Mpfr] |
sech [Mpfr] |
seed [Gmp_random] |
seed_ui [Gmp_random] |
set [Mpfr] |
set [Mpf] |
set [Mpq] |
set [Mpz] |
set_approximate_max_coeff_size [Polka] |
set_array [Generator1] | Set simultaneously a number of coefficients, as `set_list`.
set_array [Lincons1] | Set simultaneously a number of coefficients, as `set_list`.
set_array [Linexpr1] | Set simultaneously a number of coefficients, as `set_list`.
set_array [Linexpr0] | Set simultaneously a number of coefficients, as `set_list`.
set_bottom [Interval] | Fill the interval with top (resp.
set_coeff [Generator1] | Set the coefficient of the variable in the underlying linear expression
set_coeff [Lincons1] | Set the coefficient of the variable in the underlying linear expression
set_coeff [Linexpr1] | Set the coefficient of the variable
set_coeff [Linexpr0] | Set the coefficient corresponding to the dimension
set_cst [Lincons1] | Set the constant of the underlying linear expression
set_cst [Linexpr1] | Set the constant
set_cst [Linexpr0] | Set the constant
set_d [Mpfr] |
set_d [Mpf] |
set_d [Mpq] |
set_d [Mpz] |
set_default_prec [Mpfr] |
set_default_prec [Mpf] |
set_default_rounding_mode [Mpfr] |
set_den [Mpq] |
set_deserialize [Manager] | Set / get the global manager used for deserialization
set_emax [Mpfr] |
set_emin [Mpfr] |
set_exp [Mpfr] |
set_f [Mpfr] |
set_funopt [Manager] | Set the options for the function.
set_gc [Abstract0] | TO BE DOCUMENTED
set_inf [Mpfr] |
set_infsup [Interval] | Fill the interval with the given lower and upper bouunds
set_list [Generator1] | Set simultaneously a number of coefficients.
set_list [Lincons1] | Set simultaneously a number of coefficients.
set_list [Linexpr1] | Set simultaneously a number of coefficients.
set_list [Linexpr0] | Set simultaneously a number of coefficients.
set_max_coeff_size [Polka] |
set_nan [Mpfr] |
set_num [Mpq] |
set_prec [Mpfr] |
set_prec [Mpf] |
set_prec_raw [Mpfr] |
set_prec_raw [Mpf] |
set_q [Mpfr] |
set_q [Mpf] |
set_si [Mpfr] |
set_si [Mpf] |
set_si [Mpq] |
set_si [Mpz] |
set_si_2exp [Mpfr] |
set_str [Mpfr] |
set_str [Mpf] |
set_str [Mpq] |
set_str [Mpz] |
set_top [Interval] |
set_typ [Tcons1] | Set the constraint type
set_typ [Generator1] | Set the generator type
set_typ [Lincons1] | Set the constraint type
set_var_operations [Var] | Initialisation of abstract type operations in C library
set_z [Mpfr] |
set_z [Mpf] |
set_z [Mpq] |
setbit [Mpz] |
sgn [Mpfrf] |
sgn [Mpqf] |
sgn [Mpzf] |
sgn [Mpfr] |
sgn [Mpf] |
sgn [Mpq] |
sgn [Mpz] |
sgn [Scalar] | Return the sign of the coefficient, which may be a negative value, zero or a positive value.
si_kronecker [Mpz] |
sin [Mpfr] |
sin_cos [Mpfr] |
sinh [Mpfr] |
size [Mpz] |
size [Abstract1] | Return the abstract size of a value
size [Environment] | Return the size of the environment
size [Abstract0] | Return the abstract size of a value
sizeinbase [Mpz] |
sqrt [Mpfrf] |
sqrt [Mpfr] |
sqrt [Mpf] |
sqrt [Mpz] |
sqrt_ui [Mpfr] |
sqrtrem [Mpz] |
string_of_binop [Texpr1] |
string_of_binop [Texpr0] |
string_of_exc [Manager] |
string_of_funid [Manager] |
string_of_round [Mpfr] |
string_of_round [Texpr1] |
string_of_round [Texpr0] |
string_of_typ [Tcons1] | Convert a constraint type to a string (`=`,`>=`, or `>`)
string_of_typ [Texpr1] |
string_of_typ [Lincons1] | Convert a constraint type to a string (`=`,`>=`, or `>`)
string_of_typ [Tcons0] | Convert a constraint type to a string (`=`,`>=`, or `>`)
string_of_typ [Texpr0] |
string_of_typ [Generator0] | Convert a generator type to a string (`LIN`,`RAY`, or `VTX`)
string_of_typ [Lincons0] | Convert a constraint type to a string (`=`,`>=`, or `>`)
string_of_unop [Texpr1] |
string_of_unop [Texpr0] |
sub [Mpfrf] |
sub [Mpqf] |
sub [Mpzf] |
sub [Mpfr] |
sub [Mpf] |
sub [Mpq] |
sub [Mpz] |
sub_int [Mpfrf] |
sub_int [Mpzf] |
sub_q [Mpfr] |
sub_ui [Mpfr] |
sub_ui [Mpf] |
sub_ui [Mpz] |
sub_z [Mpfr] |
submul [Mpz] |
submul_ui [Mpz] |
substitute_linexpr [Abstract1] |
substitute_linexpr [Abstract0] |
substitute_linexpr_array [Abstract1] | Parallel substitution of an array of dimensions by an array of same size of linear expressions
substitute_linexpr_array [Abstract0] | Parallel substitution of an array of dimensions by an array of same size of linear expressions
substitute_linexpr_array_with [Abstract1] |
substitute_linexpr_array_with [Abstract0] |
substitute_linexpr_with [Abstract1] |
substitute_linexpr_with [Abstract0] |
substitute_texpr [Abstract1] | Assignement/Substitution of a single dimension by a single expression
substitute_texpr [Abstract0] | Assignement/Substitution of a single dimension by a single expression
substitute_texpr_array [Abstract1] | Parallel substitution of an array of dimensions by an array of same size of tree expressions
substitute_texpr_array [Abstract0] | Parallel substitution of an array of dimensions by an array of same size of tree expressions
substitute_texpr_array_with [Abstract1] |
substitute_texpr_array_with [Abstract0] |
substitute_texpr_with [Abstract1] | Side-effect version of the previous functions
substitute_texpr_with [Abstract0] | Side-effect version of the previous functions
swap [Mpfr] |
swap [Mpf] |
swap [Mpq] |
swap [Mpz] |
T
tan [Mpfr] |
tanh [Mpfr] |
tcons1_of_lexbuf [Parser] | Conversion from lexing buffers to resp.
tcons1_of_lstring [Parser] | Conversion from lists of strings to array of tree constraints.
tcons1_of_string [Parser] | Conversion from lexing buffers to resp.
tdiv_q [Mpzf] |
tdiv_q [Mpz] |
tdiv_q_2exp [Mpz] |
tdiv_q_ui [Mpz] |
tdiv_qr [Mpzf] |
tdiv_qr [Mpz] |
tdiv_qr_ui [Mpz] |
tdiv_r [Mpzf] |
tdiv_r [Mpz] |
tdiv_r_2exp [Mpz] |
tdiv_r_ui [Mpz] |
tdiv_ui [Mpz] |
texpr1_of_lexbuf [Parser] |
texpr1_of_string [Parser] |
texpr1expr_of_lexbuf [Parser] |
texpr1expr_of_string [Parser] |
to_box [Box.Abstract1] | Instanciate the type of a box value.
to_box [Box.Abstract0] | Instanciate the type of a box value.
to_box [Abstract1] | Convert the abstract value to an hypercube
to_box [Abstract0] | Convert the abstract value to an hypercube
to_expr [Texpr1] | General destructor
to_expr [Texpr0] | General destructor
to_float [Mpfrf] |
to_float [Mpqf] |
to_float [Mpzf] |
to_float [Mpfr] |
to_float [Mpf] |
to_float [Mpq] |
to_float [Mpz] |
to_generator_array [Abstract1] | Convert the abstract value to a set of generators that defines it.
to_generator_array [Abstract0] | Convert the abstract value to a set of generators that defines it.
to_lincons_array [Abstract1] | Convert the abstract value to a conjunction of linear constraints.
to_lincons_array [Abstract0] | Convert the abstract value to a conjunction of linear constraints.
to_mpfr [Mpfrf] |
to_mpq [Mpqf] |
to_mpq [Mpfr] |
to_mpqf [Mpfrf] |
to_mpz [Mpzf] |
to_mpzf2 [Mpqf] |
to_oct [Oct.Abstract1] | Instanciate the type of an oct value.
to_oct [Oct.Abstract0] | Instanciate the type of an oct value.
to_polka [Polka.Abstract1] |
to_polka [Polka.Abstract0] |
to_polka_equalities [Polka.Abstract1] | Instanciate the type of a polka value.
to_polka_equalities [Polka.Abstract0] | Instanciate the type of a polka value.
to_polka_loose [Polka.Abstract1] |
to_polka_loose [Polka.Abstract0] |
to_polka_strict [Polka.Abstract1] |
to_polka_strict [Polka.Abstract0] |
to_polkagrid [PolkaGrid.Abstract1] | Instanciate the type of a polkagrid value.
to_polkagrid [PolkaGrid.Abstract0] | Instanciate the type of a polkagrid value.
to_ppl [Ppl.Abstract1] |
to_ppl [Ppl.Abstract0] |
to_ppl_grid [Ppl.Abstract1] | Instanciate the type of a ppl value.
to_ppl_grid [Ppl.Abstract0] | Instanciate the type of a ppl value.
to_ppl_loose [Ppl.Abstract1] |
to_ppl_loose [Ppl.Abstract0] |
to_ppl_strict [Ppl.Abstract1] |
to_ppl_strict [Ppl.Abstract0] |
to_string [Mpfrf] |
to_string [Mpqf] |
to_string [Mpzf] |
to_string [Mpfr] |
to_string [Mpf] |
to_string [Mpq] |
to_string [Mpz] |
to_string [Var] | Conversion to string
to_string [Scalar] | Conversion to string, using `string_of_double`, `Mpqf.to_string` or `Mpfr.to_string`
to_tcons_array [Abstract1] |
to_tcons_array [Abstract0] | Convert the abstract value to a conjunction of tree expression constraints.
top [Abstract1] | Create a top (universe) value defined on the given environment
top [Abstract0] | Create a top (universe) value with the given number of integer and real variables
top [Interval] |
trunc [Mpfr] |
trunc [Mpf] |
tstbit [Mpz] |
typ_of_var [Environment] | Return the type of variables in the environment.
U
ui_div [Mpfrf] |
ui_div [Mpfr] |
ui_div [Mpf] |
ui_pow [Mpfrf] |
ui_pow [Mpfr] |
ui_pow_ui [Mpfr] |
ui_pow_ui [Mpz] |
ui_sub [Mpfr] |
ui_sub [Mpf] |
ui_sub [Mpz] |
underflow_p [Mpfr] |
unify [Abstract1] | Unification of 2 abstract values on their least common environment
unify_with [Abstract1] | Side-effect version
unop [Texpr1] |
unop [Texpr0] |
urandomb [Gmp_random.Mpfr] |
urandomb [Gmp_random.Mpf] |
urandomb [Gmp_random.Mpz] |
urandomm [Gmp_random.Mpz] |
V
var [Texpr1] |
var_of_dim [Environment] | Return the variable corresponding to the given dimension in the environment.
vars [Environment] | Return the (lexicographically ordered) sets of integer and real variables in the environment
W
widening [Abstract1] | Widening
widening [Abstract0] | Widening
widening_threshold [Abstract1] |
widening_threshold [Abstract0] |
widening_thresholds [Oct] | Widening with scalar thresholds.
X
xor [Mpz] |
Z
zeta [Mpfr] |