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 357 of file expr.h.

Constructor & Destructor Documentation

◆ ~expr_visitort()

virtual expr_visitort::~expr_visitort ( )

Definition at line 360 of file expr.h.

Member Function Documentation

◆ operator()()

virtual void expr_visitort::operator() ( exprt )

Reimplemented in smt2_convt::let_visitort.

Definition at line 361 of file expr.h.

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