cprover
string_refinementt::infot Struct Reference

string_refinementt constructor arguments More...

#include <string_refinement.h>

Inheritance diagram for string_refinementt::infot:
[legend]
Collaboration diagram for string_refinementt::infot:
[legend]

Additional Inherited Members

- Public Attributes inherited from bv_refinementt::infot
const namespacetns =nullptr
 
proptprop =nullptr
 
- Public Attributes inherited from bv_refinementt::configt
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...
 
- Public Attributes inherited from string_refinementt::configt
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
 

Detailed Description

string_refinementt constructor arguments

Definition at line 48 of file string_refinement.h.


The documentation for this struct was generated from the following file: