cprover
value_set_dereference.h File Reference

Pointer Dereferencing. More...

#include <unordered_set>
#include <util/std_expr.h>
#include "dereference_callback.h"
Include dependency graph for value_set_dereference.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  value_set_dereferencet
 TO_BE_DOCUMENTED. More...
 
class  value_set_dereferencet::valuet
 

Detailed Description

Pointer Dereferencing.

Definition in file value_set_dereference.h.