string_refinementt::configt Struct Reference
Inheritance diagram for string_refinementt::configt:Public Attributes | |
| std::size_t | refinement_bound = 0 |
| bool | use_counter_example = true |
Detailed Description
Definition at line 67 of file string_refinement.h.
Member Data Documentation
◆ refinement_bound
| std::size_t string_refinementt::configt::refinement_bound = 0 |
Definition at line 69 of file string_refinement.h.
◆ use_counter_example
| bool string_refinementt::configt::use_counter_example = true |
Definition at line 70 of file string_refinement.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/strings/string_refinement.h
