cprover
|
Pointer Dereferencing. More...
Go to the source code of this file.
Classes | |
class | dereferencet |
TO_BE_DOCUMENTED. More... | |
Functions | |
exprt | dereference (const exprt &pointer, const namespacet &ns) |
Pointer Dereferencing.
Definition in file dereference.h.
|
inline |
Definition at line 88 of file dereference.h.
Referenced by preconditiont::compute_rec(), path_symex_statet::dereference_rec(), rw_range_set_value_sett::get_objects_dereference(), _rw_set_loct::read_write_rec(), and cpp_typecheckt::typecheck_member_initializer().