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 1565 of file string_refinement.cpp.
|
inlineexplicit |
Definition at line 1573 of file string_refinement.cpp.
|
inlineoverridevirtual |
Reimplemented from const_expr_visitort.
Definition at line 1575 of file string_refinement.cpp.
bool find_qvar_visitort::found |
Definition at line 1571 of file string_refinement.cpp.
|
private |
Definition at line 1568 of file string_refinement.cpp.