cprover
|
Predicate to be used with the exprt::visit() function. More...
#include <memory_predicates.h>
Public Member Functions | |
return_value_visitort () | |
bool | found_return_value () |
void | operator() (const exprt &exp) override |
![]() | |
virtual | ~const_expr_visitort () |
Protected Attributes | |
bool | found |
Predicate to be used with the exprt::visit() function.
The function found_return_value() will return true
iff this predicate is called on an expr that contains __CPROVER_return_value
.
Definition at line 107 of file memory_predicates.h.
|
inline |
Definition at line 110 of file memory_predicates.h.
bool return_value_visitort::found_return_value | ( | ) |
Definition at line 26 of file memory_predicates.cpp.
|
overridevirtual |
Reimplemented from const_expr_visitort.
Definition at line 31 of file memory_predicates.cpp.
|
protected |
Definition at line 120 of file memory_predicates.h.