string_refinementt::configt Struct Reference

Inheritance diagram for string_refinementt::configt:

Public Attributes
std::size_t	refinement_bound =0
bool	use_counter_example =true

Detailed Description

Definition at line 65 of file string_refinement.h.

Member Data Documentation

refinement_bound

std::size_t string_refinementt::configt::refinement_bound =0

Definition at line 67 of file string_refinement.h.

use_counter_example

bool string_refinementt::configt::use_counter_example =true

Definition at line 68 of file string_refinement.h.

---

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

• solvers/refinement/string_refinement.h