cprover
|
Go to the source code of this file.
Classes | |
class | dereferencet |
Wrapper for a function which dereference a pointer-expression. More... | |
Functions | |
exprt | dereference (const exprt &pointer, const namespacet &ns) |
Dereference the given pointer-expression. More... | |
Pointer Dereferencing
Definition in file dereference.h.
|
inline |
Dereference the given pointer-expression.
pointer | A pointer-typed expression, to be dereferenced. |
ns | namespace |
Definition at line 75 of file dereference.h.