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