cprover
string_refinementt::configt Struct Reference
Inheritance diagram for string_refinementt::configt:
[legend]

Public Attributes

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

Definition at line 38 of file string_refinement.h.

Member Data Documentation

◆ max_string_length

std::size_t string_refinementt::configt::max_string_length

Definition at line 44 of file string_refinement.h.

Referenced by cbmc_solverst::get_string_refinement().

◆ refinement_bound

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

Definition at line 40 of file string_refinement.h.

Referenced by cbmc_solverst::get_string_refinement().

◆ trace

bool string_refinementt::configt::trace =false

Concretize strings after solver is finished.

Definition at line 42 of file string_refinement.h.

Referenced by cbmc_solverst::get_string_refinement().

◆ use_counter_example

bool string_refinementt::configt::use_counter_example =true

Definition at line 43 of file string_refinement.h.

Referenced by string_refinementt::dec_solve().


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