CBMC
Public Attributes | List of all members
mz_zip_array Struct Reference

Public Attributes

void * m_p
 
size_t m_size
 
size_t m_capacity
 
mz_uint m_element_size
 

Detailed Description

Definition at line 3127 of file miniz.cpp.

Member Data Documentation

◆ m_capacity

size_t mz_zip_array::m_capacity

Definition at line 3130 of file miniz.cpp.

◆ m_element_size

mz_uint mz_zip_array::m_element_size

Definition at line 3131 of file miniz.cpp.

◆ m_p

void* mz_zip_array::m_p

Definition at line 3129 of file miniz.cpp.

◆ m_size

size_t mz_zip_array::m_size

Definition at line 3130 of file miniz.cpp.

The documentation for this struct was generated from the following file: