cprover
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: