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

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 47 of file string_refinement.h.

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

Additional Inherited Members