string_constraint_generatort::parseint_argumentst Struct Reference
Argument block for parseInt and cousins, common to parseInt itself and CProverString.isValidInt. More...
#include <string_constraint_generator.h>
Collaboration diagram for string_constraint_generatort::parseint_argumentst:Public Attributes | |
| array_string_exprt | str |
| String being parsed. More... | |
| exprt | radix |
| Radix, as parseInt's result type. More... | |
| unsigned long | radix_ul |
| Radix as an unsigned long (or 0 if unknown) More... | |
| std::size_t | max_string_length |
| Max string length (assuming no leading zeroes) considering the radix. More... | |
Detailed Description
Argument block for parseInt and cousins, common to parseInt itself and CProverString.isValidInt.
Definition at line 317 of file string_constraint_generator.h.
Member Data Documentation
◆ max_string_length
| std::size_t string_constraint_generatort::parseint_argumentst::max_string_length |
Max string length (assuming no leading zeroes) considering the radix.
Definition at line 328 of file string_constraint_generator.h.
◆ radix
| exprt string_constraint_generatort::parseint_argumentst::radix |
Radix, as parseInt's result type.
Definition at line 322 of file string_constraint_generator.h.
◆ radix_ul
| unsigned long string_constraint_generatort::parseint_argumentst::radix_ul |
Radix as an unsigned long (or 0 if unknown)
Definition at line 324 of file string_constraint_generator.h.
◆ str
| array_string_exprt string_constraint_generatort::parseint_argumentst::str |
String being parsed.
Definition at line 320 of file string_constraint_generator.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/strings/string_constraint_generator.h
