Home Original page

CBMC: function_binding_visitort Class Reference

#include <memory_predicates.h>

+ Inheritance diagram for function_binding_visitort:

+ Collaboration diagram for function_binding_visitort:

Detailed Description

Definition at line 142 of file memory_predicates.h.

Constructor & Destructor Documentation

function_binding_visitort::function_binding_visitort ( )
inline

Member Function Documentation

◆ operator()()

void function_binding_visitort::operator() ( const exprt &  exp)
inlineoverridevirtual

The documentation for this class was generated from the following file: