cprover
|
Public Member Functions | |
find_qvar_visitort (const exprt &qvar) | |
void | operator() (const exprt &expr) override |
![]() | |
virtual | ~const_expr_visitort () |
Public Attributes | |
bool | found |
Private Attributes | |
const exprt & | qvar_ |
Definition at line 1599 of file string_refinement.cpp.
|
inlineexplicit |
Definition at line 1607 of file string_refinement.cpp.
|
inlineoverridevirtual |
Reimplemented from const_expr_visitort.
Definition at line 1609 of file string_refinement.cpp.
bool find_qvar_visitort::found |
Definition at line 1605 of file string_refinement.cpp.
Referenced by find_qvar(), and operator()().
|
private |
Definition at line 1602 of file string_refinement.cpp.
Referenced by operator()().