const_expr_visitort Class Reference

#include <expr.h>

Inheritance diagram for const_expr_visitort:

Public Member Functions
virtual	~const_expr_visitort ()
virtual void	operator() (const exprt &expr)

Detailed Description

Definition at line 175 of file expr.h.

Constructor & Destructor Documentation

~const_expr_visitort()

virtual const_expr_visitort::~const_expr_visitort ( )

inlinevirtual

Definition at line 178 of file expr.h.

Member Function Documentation

operator()()

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

inlinevirtual

Reimplemented in find_index_visitort, and find_qvar_visitort.

Definition at line 179 of file expr.h.

Referenced by slice_global_inits().

---

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

• util/expr.h