cprover
|
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() const | safe_pointer< T > | inline |
operator bool() const | safe_pointer< T > | inline |
operator*() const | safe_pointer< T > | inline |
operator->() const | safe_pointer< T > | inline |
ptr | safe_pointer< T > | protected |
safe_pointer(T *target) | safe_pointer< T > | inlineexplicitprotected |
safe_pointer() | safe_pointer< T > | inlineprotected |