cprover
Loading...
Searching...
No Matches
string_refinementt::infot Struct Reference

string_refinementt constructor arguments More...

#include <string_refinement.h>

Inheritance diagram for string_refinementt::infot:
Collaboration diagram for string_refinementt::infot:

Additional Inherited Members

Public Attributes inherited from bv_refinementt::infot
const namespacetns =nullptr
proptprop =nullptr
message_handlertmessage_handler = nullptr
Public Attributes inherited from bv_refinementt::configt
bool output_xml = false
unsigned max_node_refinement =5
 Max number of times we refine a formula node.
bool refine_arrays =true
 Enable array refinement.
bool refine_arithmetic =true
 Enable arithmetic refinement.
Public Attributes inherited from string_refinementt::configt
std::size_t refinement_bound = 0
bool use_counter_example = true

Detailed Description

string_refinementt constructor arguments

Definition at line 74 of file string_refinement.h.


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