dereference_callbackt Member List

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

dereference_assume(const guard2tc &guard)=0	dereference_callbackt	pure virtual
dereference_failure(const std::string &property, const std::string &msg, const guard2tc &guard)=0	dereference_callbackt	pure virtual
dump_internal_state(const std::list< struct internal_item > &data)	dereference_callbackt	inlinevirtual
get_value_set(const expr2tc &expr, value_setst::valuest &value_set)=0	dereference_callbackt	pure virtual
has_failed_symbol(const expr2tc &expr, const symbolt *&symbol)=0	dereference_callbackt	pure virtual
is_live_variable(const expr2tc &sym)=0	dereference_callbackt	pure virtual
rename(expr2tc &expr)	dereference_callbackt	inlinevirtual
~dereference_callbackt()=default	dereference_callbackt	virtual