CBMC
|
#include <memory_predicates.h>
Public Member Functions | |
function_binding_visitort () | |
void | operator() (const exprt &exp) override |
Additional Inherited Members | |
Private Member Functions inherited from const_expr_visitort | |
virtual | ~const_expr_visitort () |
Definition at line 142 of file memory_predicates.h.
|
inline |
Definition at line 145 of file memory_predicates.h.
|
inlineoverridevirtual |
Reimplemented from const_expr_visitort.
Definition at line 149 of file memory_predicates.h.