cprover
|
Public Member Functions | |
find_qvar_visitort (const exprt &qvar) | |
void | operator() (const exprt &expr) |
![]() | |
virtual | ~const_expr_visitort () |
Public Attributes | |
bool | found |
Private Attributes | |
const exprt & | qvar_ |
Definition at line 674 of file string_refinement.cpp.
|
inlineexplicit |
Definition at line 682 of file string_refinement.cpp.
|
inlinevirtual |
Reimplemented from const_expr_visitort.
Definition at line 684 of file string_refinement.cpp.
bool find_qvar_visitort::found |
Definition at line 680 of file string_refinement.cpp.
Referenced by find_qvar().
|
private |
Definition at line 677 of file string_refinement.cpp.