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 environement of the array of constraints for a super-environement.
array_extend_environment [Generator1]
Change the environement of the array of generators for a super-environement.
array_extend_environment [Lincons1]
Change the environement of the array of constraints for a super-environement.
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 environement.
array_make [Generator1]
Make an array of generators with the given size and defined on the given environement.
array_make [Lincons1]
Make an array of linear constraints with the given size and defined on the given environement.
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 environement 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 environement of the constraint for a super-environement.
extend_environment [Texpr1]
Change the environment of the expression for a super-environement.
extend_environment [Generator1]
Change the environement of the generator for a super-environement.
extend_environment [Lincons1]
Change the environement of the constraint for a super-environement.
extend_environment [Linexpr1]
Change the environment of the expression for a super-environement.
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 environement of the tree expression constraint
get_env [Texpr1]
Get the environement of the expression
get_env [Generator1]
Get the environement of the generator
get_env [Lincons1]
Get the environement of the linear constraint
get_env [Linexpr1]
Get the environement 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
random [Gmp_random.Mpfr]
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]