Index of values
A
and_b
[
LuckyDraw
]
B
bool_expr_to_string
[
LuckyDraw
]
D
diff_f
[
LuckyDraw
]
diff_i
[
LuckyDraw
]
div_i
[
LuckyDraw
]
draw
[
LuckyDraw
]
E
eq_b
[
LuckyDraw
]
eq_f
[
LuckyDraw
]
eq_i
[
LuckyDraw
]
F
false_b
[
LuckyDraw
]
I
impl_b
[
LuckyDraw
]
inf_f
[
LuckyDraw
]
inf_i
[
LuckyDraw
]
infeq_f
[
LuckyDraw
]
infeq_i
[
LuckyDraw
]
ite_b
[
LuckyDraw
]
ite_f
[
LuckyDraw
]
ite_i
[
LuckyDraw
]
M
make_bool_expr
[
LuckyDraw
]
mod_i
[
LuckyDraw
]
N
not_b
[
LuckyDraw
]
O
or_b
[
LuckyDraw
]
P
print_solution
[
LuckyDraw
]
prod_f
[
LuckyDraw
]
prod_i
[
LuckyDraw
]
Q
quot_f
[
LuckyDraw
]
quot_i
[
LuckyDraw
]
S
set_default_max_float
[
LuckyDraw
]
set_default_max_int
[
LuckyDraw
]
set_default_min_float
[
LuckyDraw
]
set_default_min_int
[
LuckyDraw
]
set_efficient_mode
[
LuckyDraw
]
Default mode.
set_fair_mode
[
LuckyDraw
]
In that mode, we take into account the number of numeric solutions by computing (an approx.) of the volume of polyhedra to perform the draw.
set_seed
[
LuckyDraw
]
In order to change the seed used by the pseudo-random engine.
solve
[
LuckyDraw
]
string_of_value
[
LuckyDraw
]
sum_f
[
LuckyDraw
]
sum_i
[
LuckyDraw
]
sup_f
[
LuckyDraw
]
sup_i
[
LuckyDraw
]
supeq_f
[
LuckyDraw
]
supeq_i
[
LuckyDraw
]
T
true_b
[
LuckyDraw
]
U
uminus_f
[
LuckyDraw
]
uminus_i
[
LuckyDraw
]
V
val_f
[
LuckyDraw
]
val_i
[
LuckyDraw
]
var_b
[
LuckyDraw
]
var_f
[
LuckyDraw
]
var_i
[
LuckyDraw
]
X
xor_b
[
LuckyDraw
]