cprover
string_constraint_generator_valueof.cpp File Reference

Generates string constraints for functions generating strings from other types, in particular int, long, float, double, char, bool. More...

Include dependency graph for string_constraint_generator_valueof.cpp:

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

Detailed Description

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.

Function Documentation

◆ smallest_by_digit()

static mp_integer smallest_by_digit ( int  nb)
static

gives the smallest integer with the specified number of digits

parameters: number of digit
Returns
an integer with the right number of digit

Definition at line 216 of file string_constraint_generator_valueof.cpp.

References power().

Referenced by string_constraint_generatort::add_axioms_from_int().