bv_refinementt::configt Struct Reference

Inheritance diagram for bv_refinementt::configt:

Public Attributes
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.

Detailed Description

Definition at line 22 of file bv_refinement.h.

Member Data Documentation

max_node_refinement

unsigned bv_refinementt::configt::max_node_refinement =5

Max number of times we refine a formula node.

Definition at line 26 of file bv_refinement.h.

output_xml

bool bv_refinementt::configt::output_xml = false

Definition at line 24 of file bv_refinement.h.

refine_arithmetic

bool bv_refinementt::configt::refine_arithmetic =true

Enable arithmetic refinement.

Definition at line 30 of file bv_refinement.h.

refine_arrays

bool bv_refinementt::configt::refine_arrays =true

Enable array refinement.

Definition at line 28 of file bv_refinement.h.

---

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

• /home/runner/work/cbmc/cbmc/src/solvers/refinement/bv_refinement.h