cprover
dereference.h File Reference

Pointer Dereferencing. More...

#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
 TO_BE_DOCUMENTED. More...
 

Functions

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

Detailed Description

Pointer Dereferencing.

Definition in file dereference.h.

Function Documentation

§ dereference()