Index of values


A
abs [Mpq]
abs [Mpz]
abs [Mpqf]
abs [Mpzf]
abstract0 [Abstract1]
Return resp.
add [Mpq]
add [Mpz]
add [Environment]
Adding to an environment a set of integer and real variables.
add [Mpqf]
add [Mpzf]
add_dimensions [Abstract0]
add_dimensions_with [Abstract0]
add_epsilon [Oct]
Perturbation.
add_epsilon_bin [Oct]
Perturbation.
add_int [Mpzf]
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 [Mpz]
addmul [Mpz]
addmul_ui [Mpz]
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 [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 [Generator1]
Side-effect version of the previous function
array_extend_environment_with [Lincons1]
Side-effect version of the previous function
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 [Lincons1]
Get the environment of the array
array_length [Generator1]
Get the size of the array
array_length [Lincons1]
Get the size of the array
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 [Generator1]
Print an array of generators
array_print [Lincons1]
Print an array of constraints
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).
assign_linexpr [Abstract1]
Assignement of a single dimension by a linear expression
assign_linexpr [Abstract0]
Assignement of a single dimension by a linear expression
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]

B
bin_ui [Mpz]
bin_uiui [Mpz]
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_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 [Mpz]
The first parameter holds the quotient.
cdiv_q [Mpzf]
cdiv_q_2exp [Mpz]
The first parameter holds the quotient.
cdiv_q_ui [Mpz]
The first parameter holds the quotient.
cdiv_qr [Mpz]
The two first parameters hold resp.
cdiv_qr [Mpzf]
cdiv_qr_ui [Mpz]
The two first parameters hold resp.
cdiv_r [Mpz]
The first parameter holds the remainder.
cdiv_r [Mpzf]
cdiv_r_2exp [Mpz]
The first parameter holds the remainder.
cdiv_r_ui [Mpz]
The first parameter holds the remainder.
cdiv_ui [Mpz]
change_environment [Abstract1]
Change the environement of the abstract values.
change_environment_with [Abstract1]
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 [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 one from float to Mpqf.t.
cmp [Mpqf]
cmp [Mpzf]
cmp_d [Mpz]
cmp_frac [Mpqf]
cmp_int [Scalar]
Compare a coefficient with an integer
cmp_int [Mpqf]
cmp_int [Mpzf]
cmp_si [Mpq]
cmp_si [Mpz]
cmpabs [Mpz]
cmpabs_d [Mpz]
cmpabs_ui [Mpz]
com [Mpz]
compare [Environment]
Compare two environment.
compare [Var]
compare [Linexpr0]
Comparison with lexicographic ordering using Coeff.cmp, terminating by constant
congruent_2exp_p [Mpz]
congruent_p [Mpz]
congruent_ui_p [Mpz]
copy [Abstract1]
Copy a value
copy [Generator1]
Copy (deep copy)
copy [Lincons1]
Copy (deep copy)
copy [Linexpr1]
Copy
copy [Abstract0]
Copy a value
copy [Generator0]
Copy a generator (deep copy)
copy [Lincons0]
Copy a linear expression (deep copy)
copy [Linexpr0]
Copy

D
dim_of_var [Environment]
Return the dimension associated to the given variable in the environment.
dimension [Environment]
Return the dimension of the environment
dimension [Abstract0]
div [Mpq]
div [Mpqf]
div_2exp [Mpq]
divexact [Mpz]
divexact [Mpzf]
divexact_ui [Mpz]
divisible_2exp_p [Mpz]
divisible_p [Mpz]
divisible_ui_p [Mpz]

E
env [Abstract1]
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 from float to Mpqf.t.
equal [Mpqf]
equal_int [Scalar]
Equality test with an integer
even_p [Mpz]
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]
export [Mpz]
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 [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 [Mpz]
fdiv_q [Mpz]
fdiv_q [Mpzf]
fdiv_q_2exp [Mpz]
fdiv_q_ui [Mpz]
fdiv_qr [Mpz]
fdiv_qr [Mpzf]
fdiv_qr_ui [Mpz]
fdiv_r [Mpz]
fdiv_r [Mpzf]
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_sint_p [Mpz]
fits_slong_p [Mpz]
fits_sshort_p [Mpz]
fits_uint_p [Mpz]
fits_ulong_p [Mpz]
fits_ushort_p [Mpz]
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
gand [Mpz]
gcd [Mpz]
gcd [Mpzf]
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 [Mpq]
get_d [Mpz]
get_d_2exp [Mpz]
get_den [Mpq]
get_den [Mpqf]
get_deserialize [Manager]
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_flag_best [Manager]
get_flag_exact [Manager]
Get the corresponding result flags
get_funopt [Manager]
Get the options sets for the function.
get_generator0 [Generator1]
Get the underlying generator of level 0.
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 [Mpq]
get_num [Mpqf]
get_si [Mpz]
get_size [Linexpr0]
Get the size of the linear expression (which may be sparse or dense)
get_str [Mpq]
get_str [Mpz]
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
gmod [Mpz]
gmod [Mpzf]
gmod_ui [Mpz]

H
hamdist [Mpz]
hash [Var]
hash [Linexpr0]
Hashing function

I
i_of_float [Coeff]
Create an interval coefficient from resp.
i_of_frac [Coeff]
i_of_int [Coeff]
i_of_mpq [Coeff]
i_of_mpqf [Coeff]
i_of_scalar [Coeff]
Build an interval from a lower and an upper bound
import [Mpz]
init [Mpq]
init [Mpz]
init2 [Mpz]
init_default [Gmp_random]
init_lc_2exp [Gmp_random]
init_lc_2exp_size [Gmp_random]
init_set [Mpq]
init_set [Mpz]
init_set_d [Mpq]
init_set_d [Mpz]
init_set_si [Mpq]
init_set_si [Mpz]
init_set_str [Mpq]
init_set_str [Mpz]
init_set_z [Mpq]
inv [Mpq]
inv [Mpqf]
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_canonical [Abstract1]
Is the value in canonical from ?
is_canonical [Abstract0]
Is the value in canonical from ?
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 [Linexpr1]
Does the linear expression depend only on integer variables ?
is_interval [Coeff]
is_leq [Abstract1]
Inclusion test.
is_leq [Abstract0]
Inclusion test.
is_leq [Interval]
Inclusion test.
is_minimal [Abstract1]
Is the value in minimal form ?
is_minimal [Abstract0]
Is the value in minimal form ?
is_real [Linexpr1]
Does the linear expression depend only on real variables ?
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 coefficient equal to scalar 0 or interval 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
lcm [Mpz]
lcm [Mpzf]
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]
lucnum2_ui [Mpz]
lucnum_ui [Mpz]

M
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 [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 [Polka]
Create a NewPolka manager.
manager_alloc [Oct]
OCT: octagon abstract domain.
manager_alloc [Itv]
Create an Itv manager.
manager_get_internal [Polka]
Get the internal submanager of a NewPolka manager.
manager_get_internal [Oct]
No internal parameters for now...
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_with [Abstract1]
meet_with [Abstract0]
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]
mul [Mpq]
mul [Mpz]
mul [Mpqf]
mul [Mpzf]
mul_2exp [Mpq]
mul_2exp [Mpz]
mul_int [Mpzf]
mul_si [Mpz]

N
narrowing [Oct]
Standard narrowing.
neg [Mpq]
neg [Mpz]
neg [Coeff]
Negation
neg [Interval]
Negation
neg [Scalar]
Negation
neg [Mpqf]
neg [Mpzf]
nextprime [Mpz]

O
odd_p [Mpz]
of_box [Abstract1]
Abstract an hypercube.
of_box [Abstract0]
Abstract an hypercube.
of_float [Mpq]
of_float [Mpz]
of_float [Interval]
Create an interval from resp.
of_float [Scalar]
Create a scalar of type Float with the given value
of_float [Mpqf]
of_float [Mpzf]
of_frac [Mpq]
of_frac [Interval]
of_frac [Scalar]
Create a scalar of type Mpqf from resp.
of_frac [Mpqf]
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 [Mpq]
of_int [Mpz]
of_int [Interval]
of_int [Scalar]
of_int [Mpqf]
of_int [Mpzf]
of_lincons_array [Abstract1]
Abstract a convex polyhedron.
of_lincons_array [Abstract0]
Abstract a convex polyhedron.
of_lstring [Parser]
Abstraction of lists of strings representing constraints to abstract values, on the abstract domain defined by the given manager.
of_mpq [Interval]
of_mpq [Scalar]
of_mpq [Mpqf]
of_mpqf [Interval]
of_mpqf [Scalar]
of_mpz [Mpq]
of_mpz [Mpqf]
of_mpz [Mpzf]
Conversion from and to Mpz.t.
of_mpz2 [Mpq]
of_mpz2 [Mpqf]
Conversion from and to Mpz.t and Mpz.t.
of_mpzf [Mpqf]
of_mpzf2 [Mpqf]
of_scalar [Interval]
Build an interval from a lower and an upper bound
of_string [Mpq]
of_string [Mpz]
of_string [Var]
of_string [Mpqf]
of_string [Mpzf]

P
perfect_power_p [Mpz]
perfect_square_p [Mpz]
permute_dimensions [Abstract0]
permute_dimensions_with [Abstract0]
popcount [Mpz]
pow_ui [Mpz]
powm [Mpz]
powm_ui [Mpz]
pre_widening [Oct]
Algorithms.
print [Mpq]
print [Mpz]
print [Abstract1]
Print as a set of constraints
print [Generator1]
Print the generator
print [Lincons1]
Print the linear constraint
print [Linexpr1]
Print the linear expression
print [Environment]
Printing
print [Var]
print [Abstract0]
Print as a set of constraints
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 [Mpqf]
print [Mpzf]
print_array [Abstract0]
General use
print_tbool [Manager]
Set / get the global manager used for deserialization
probab_prime_p [Mpz]

R
realloc2 [Mpz]
reduce [Coeff]
Convert interval to scalar if possible
remove [Mpz]
remove [Environment]
Remove from an environment a set of integer and real variables.
remove_dimensions [Abstract0]
remove_dimensions_with [Abstract0]
rename_array [Abstract1]
Parallel renaming of the environment of the abstract value.
rename_array_with [Abstract1]
root [Mpz]
rrandomb [Gmp_random]

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_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 ?
scan0 [Mpz]
scan1 [Mpz]
seed [Gmp_random]
seed_ui [Gmp_random]
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 [Mpq]
set_d [Mpz]
set_den [Mpq]
set_deserialize [Manager]
set_funopt [Manager]
Set the options for the function
set_gc [Abstract0]
TO BE DOCUMENTED
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_num [Mpq]
set_si [Mpq]
set_si [Mpz]
set_str [Mpq]
set_str [Mpz]
set_top [Interval]
set_typ [Generator1]
Set the generator type
set_typ [Lincons1]
Set the constraint type
set_z [Mpq]
setbit [Mpz]
sgn [Mpq]
sgn [Mpz]
sgn [Scalar]
Return the sign of the coefficient, which may be a negative value, zero or a positive value.
sgn [Mpqf]
sgn [Mpzf]
si_kronecker [Mpz]
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 [Mpz]
sqrtrem [Mpz]
string_of_exc [Manager]
string_of_funid [Manager]
string_of_tbool [Manager]
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 >)
sub [Mpq]
sub [Mpz]
sub [Mpqf]
sub [Mpzf]
sub_int [Mpzf]
sub_ui [Mpz]
submul [Mpz]
submul_ui [Mpz]
substitute_linexpr [Abstract1]
Substitution of a single dimension by a linear expression
substitute_linexpr [Abstract0]
Substitution of a single dimension by a linear expression
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]
swap [Mpq]
swap [Mpz]

T
tdiv_q [Mpz]
tdiv_q [Mpzf]
tdiv_q_2exp [Mpz]
tdiv_q_ui [Mpz]
tdiv_qr [Mpz]
tdiv_qr [Mpzf]
tdiv_qr_ui [Mpz]
tdiv_r [Mpz]
tdiv_r [Mpzf]
tdiv_r_2exp [Mpz]
tdiv_r_ui [Mpz]
tdiv_ui [Mpz]
to_box [Abstract1]
Convert the abstract value to an hypercube
to_box [Abstract0]
Convert the abstract value to an hypercube
to_float [Mpq]
to_float [Mpz]
to_float [Mpqf]
to_float [Mpzf]
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_mpq [Mpqf]
to_mpz [Mpzf]
to_string [Mpq]
to_string [Mpz]
to_string [Var]
to_string [Scalar]
Conversion to string, using either string_of_double or Mpqf.to_string
to_string [Mpqf]
to_string [Mpzf]
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]
tstbit [Mpz]
typ_of_var [Environment]
Return the type of variables in the environment.

U
ui_pow_ui [Mpz]
ui_sub [Mpz]
urandomb [Gmp_random]
urandomm [Gmp_random]

V
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]