cprover
|
string_refinementt constructor arguments More...
#include <string_refinement.h>
Additional Inherited Members | |
![]() | |
const namespacet * | ns =nullptr |
propt * | prop =nullptr |
![]() | |
ui_message_handlert::uit | ui =ui_message_handlert::uit::PLAIN |
unsigned | max_node_refinement =5 |
Max number of times we refine a formula node. More... | |
bool | refine_arrays =true |
Enable array refinement. More... | |
bool | refine_arithmetic =true |
Enable arithmetic refinement. More... | |
![]() | |
std::size_t | refinement_bound =0 |
bool | trace =false |
Concretize strings after solver is finished. More... | |
bool | use_counter_example =true |
std::size_t | max_string_length |
string_refinementt constructor arguments
Definition at line 47 of file string_refinement.h.