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

#include <expr.h>

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

Public Member Functions

virtual  ~const_expr_visitort ()
 
virtual void  operator() (const exprt &)
 

Detailed Description

Definition at line 379 of file expr.h.

Constructor & Destructor Documentation

◆  ~const_expr_visitort()

virtual const_expr_visitort::~const_expr_visitort ( )
inlinevirtual

Definition at line 382 of file expr.h.

Member Function Documentation

◆  operator()()

virtual void const_expr_visitort::operator() ( const exprt &  )
inlinevirtual

Reimplemented in function_binding_visitort.

Definition at line 383 of file expr.h.

The documentation for this class was generated from the following file:
  • /home/runner/work/cbmc/cbmc/src/util/expr.h

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