cprover
|
#include <expr.h>
Public Member Functions | |
virtual | ~const_expr_visitort () |
virtual void | operator() (const exprt &) |
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in return_value_visitort, and function_binding_visitort.