cprover
expr_visitort Class Reference

#include <expr.h>

Inheritance diagram for expr_visitort:
[legend]

Public Member Functions

virtual ~expr_visitort ()
 
virtual void operator() (exprt &expr)
 

Detailed Description

Definition at line 168 of file expr.h.

Constructor & Destructor Documentation

§ ~expr_visitort()

virtual expr_visitort::~expr_visitort ( )
inlinevirtual

Definition at line 171 of file expr.h.

Member Function Documentation

§ operator()()

virtual void expr_visitort::operator() ( exprt expr)
inlinevirtual

Reimplemented in smt2_convt::let_visitort.

Definition at line 172 of file expr.h.


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