CBMC
tdefl_output_buffer Struct Reference

Public Attributes

size_t m_size
 
size_t m_capacity
 
mz_uint8m_pBuf
 
mz_bool m_expandable
 

Detailed Description

Definition at line 1972 of file miniz.cpp.

Member Data Documentation

◆ m_capacity

size_t tdefl_output_buffer::m_capacity

Definition at line 1974 of file miniz.cpp.

◆ m_expandable

mz_bool tdefl_output_buffer::m_expandable

Definition at line 1976 of file miniz.cpp.

◆ m_pBuf

mz_uint8* tdefl_output_buffer::m_pBuf

Definition at line 1975 of file miniz.cpp.

◆ m_size

size_t tdefl_output_buffer::m_size

Definition at line 1974 of file miniz.cpp.


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