Module vstd::ptr

👎Deprecated: The vstd::ptr version of PPtr is deprecated. Use either: – PPtr<T> in vstd::simple_pptr (for simple use-cases, with fixed-size typed heap allocations) – *mut T with vstd::raw_ptr (for more advanced use-cases)

Structs

• DeallocDeprecated
• DeallocDataDeprecated
• DeallocRawDeprecated
• DeallocRawDataDeprecated
• PPtrDeprecated
  PPtr<V> (which stands for “permissioned pointer”) is a wrapper around a raw pointer to V on the heap.
• PointsToDeprecated
  A tracked ghost object that gives the user permission to dereference a pointer for reading or writing, or to free the memory at that pointer.
• PointsToDataDeprecated
  Represents the meaning of a PointsTo object.
• PointsToRawDeprecated
  Points to uninitialized memory.

Functions

• group_ptr_axiomsDeprecated
• points_to_height_axiomDeprecated