cprover
safe_pointer< T > Member List

This is the complete list of members for safe_pointer< T >, including all inherited members.

create_maybe_null(T *target)safe_pointer< T >inlinestatic
create_non_null(T *target)safe_pointer< T >inlinestatic
create_null()safe_pointer< T >inlinestatic
get() constsafe_pointer< T >inline
operator bool() constsafe_pointer< T >inline
operator*() constsafe_pointer< T >inline
operator->() constsafe_pointer< T >inline
ptrsafe_pointer< T >protected
safe_pointer(T *target)safe_pointer< T >inlineexplicitprotected
safe_pointer()safe_pointer< T >inlineprotected