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 142 of file memory_predicates.h.

Constructor & Destructor Documentation

function_binding_visitort()

function_binding_visitort::function_binding_visitort ( )

inline

Definition at line 145 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 149 of file memory_predicates.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-instrument/contracts/memory_predicates.h