cprover
|
#include <expr.h>
Public Member Functions | |
virtual | ~const_expr_visitort () |
virtual void | operator() (const exprt &expr) |
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in find_index_visitort, and find_qvar_visitort.
Definition at line 179 of file expr.h.
Referenced by slice_global_inits().