CBMC
|
#include <memory_predicates.h>
Public Member Functions | |
function_binding_visitort () | |
void | operator() (const exprt &exp) override |
Additional Inherited Members | |
![]() | |
virtual | ~const_expr_visitort () |
Definition at line 134 of file memory_predicates.h.
|
inline |
Definition at line 137 of file memory_predicates.h.
|
inlineoverridevirtual |
Reimplemented from const_expr_visitort.
Definition at line 141 of file memory_predicates.h.