cprover
|
Generates string constraints for functions generating strings from other types, in particular int, long, float, double, char, bool. More...
Go to the source code of this file.
Functions | |
static mp_integer | smallest_by_digit (int nb) |
gives the smallest integer with the specified number of digits More... | |
Generates string constraints for functions generating strings from other types, in particular int, long, float, double, char, bool.
Definition in file string_constraint_generator_valueof.cpp.
|
static |
gives the smallest integer with the specified number of digits
Definition at line 216 of file string_constraint_generator_valueof.cpp.
References power().
Referenced by string_constraint_generatort::add_axioms_from_int().