Inheritance diagram for string_refinementt::infot:

Collaboration diagram for string_refinementt::infot:

Additional Inherited Members
Public Attributes inherited from bv_refinementt::infot
const namespacet *	ns =nullptr

propt *	prop =nullptr

message_handlert *	message_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. 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	use_counter_example = true

Detailed Description

string_refinementt constructor arguments

Definition at line 75 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

Additional Inherited Members