cprover
dereference.h File Reference
#include <util/namespace.h>
#include <util/expr.h>
+ Include dependency graph for dereference.h:
+ This graph shows which files directly or indirectly include this file:

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...
 

Detailed Description

Pointer Dereferencing

Definition in file dereference.h.

Function Documentation

◆ dereference()

exprt dereference ( const exprt pointer,
const namespacet ns 
)
inline

Dereference the given pointer-expression.

Parameters
pointerA pointer-typed expression, to be dereferenced.
nsnamespace
Returns
Object after dereferencing.

Definition at line 75 of file dereference.h.