pointer_logict Member List

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

add_object(const expr2tc &expr)	pointer_logict
get_free_obj_num()	pointer_logict	inline
get_invalid_object() const	pointer_logict	inline
get_null_object() const	pointer_logict	inline
invalid_object	pointer_logict	protected
lookup	pointer_logict
null_object	pointer_logict	protected
obj_lookupt typedef	pointer_logict
obj_num_offset	pointer_logict
object_rec(const BigInt &offset, const type2tc &pointer_type, const expr2tc &src) const	pointer_logict	protected
objects	pointer_logict
objectst typedef	pointer_logict
pointer_expr(const pointert &pointer, const type2tc &type) const	pointer_logict
pointer_expr(unsigned object, const type2tc &type) const	pointer_logict
pointer_expr(const BigInt &offset, const expr2t &object) const	pointer_logict	protected
pointer_logict()	pointer_logict
~pointer_logict()=default	pointer_logict