cprover
dereferencet Member List

This is the complete list of members for dereferencet, including all inherited members.

dereference_if(const if_exprt &expr, const exprt &offset, const typet &type)dereferencetprivate
dereference_plus(const exprt &expr, const exprt &offset, const typet &type)dereferencetprivate
dereference_rec(const exprt &address, const exprt &offset, const typet &type)dereferencetprivate
dereference_typecast(const typecast_exprt &expr, const exprt &offset, const typet &type)dereferencetprivate
dereferencet(const namespacet &_ns)dereferencetinlineexplicit
nsdereferencetprivate
offset_sum(exprt &dest, const exprt &offset) constdereferencetprivate
operator()(const exprt &pointer)dereferencet
read_object(const exprt &object, const exprt &offset, const typet &type)dereferencetprivate
type_compatible(const typet &object_type, const typet &dereference_type) constdereferencetprivate
~dereferencet()dereferencetinline