expr_visitort Class Reference

#include <expr.h>

Inheritance diagram for expr_visitort:

Public Member Functions
virtual	~expr_visitort ()
virtual void	operator() (exprt &)

Detailed Description

Definition at line 161 of file expr.h.

Constructor & Destructor Documentation

~expr_visitort()

virtual expr_visitort::~expr_visitort ( )

inlinevirtual

Definition at line 164 of file expr.h.

Member Function Documentation

operator()()

virtual void expr_visitort::operator() ( exprt &  )

inlinevirtual

Reimplemented in smt2_convt::let_visitort.

Definition at line 165 of file expr.h.

Referenced by convert_decl().

---

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

• util/expr.h