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