#include <util/std_expr.h>

Include dependency graph for value_set_dereference.h:

This graph shows which files directly or indirectly include this file:

Classes
class	value_set_dereferencet
	Wrapper for a function dereferencing pointer expressions using a value set. More...

class	value_set_dereferencet::valuet
	Return value for `build_reference_to`; see that method for documentation. More...

Detailed Description

Pointer Dereferencing

Classes