CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
function_binding_visitort Class Reference

#include <memory_predicates.h>

+ Inheritance diagram for function_binding_visitort:
[フレーム]
[legend]
+ Collaboration diagram for function_binding_visitort:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /