CBMC
function_binding_visitort Class Reference

#include <memory_predicates.h>

+ Inheritance diagram for function_binding_visitort:
+ Collaboration diagram for function_binding_visitort:

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 ()
 

Detailed Description

Definition at line 140 of file memory_predicates.h.

Constructor & Destructor Documentation

◆ function_binding_visitort()

function_binding_visitort::function_binding_visitort ( )
inline

Definition at line 143 of file memory_predicates.h.

Member Function Documentation

◆ operator()()

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

Reimplemented from const_expr_visitort.

Definition at line 147 of file memory_predicates.h.


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