cprover
|
#include <expr.h>
Public Member Functions | |
virtual | ~expr_visitort () |
virtual void | operator() (exprt &expr) |
|
inlinevirtual |
Reimplemented in smt2_convt::let_visitort.
Definition at line 165 of file expr.h.
Referenced by convert_decl().