CBMC
inflate_state Struct Reference
+ Collaboration diagram for inflate_state:

Public Attributes

tinfl_decompressor m_decomp
 
mz_uint m_dict_ofs
 
mz_uint m_dict_avail
 
mz_uint m_first_call
 
mz_uint m_has_flushed
 
int m_window_bits
 
mz_uint8 m_dict [32768]
 
tinfl_status m_last_status
 

Detailed Description

Definition at line 368 of file miniz.cpp.

Member Data Documentation

◆ m_decomp

tinfl_decompressor inflate_state::m_decomp

Definition at line 370 of file miniz.cpp.

◆ m_dict

mz_uint8 inflate_state::m_dict[32768]

Definition at line 373 of file miniz.cpp.

◆ m_dict_avail

mz_uint inflate_state::m_dict_avail

Definition at line 371 of file miniz.cpp.

◆ m_dict_ofs

mz_uint inflate_state::m_dict_ofs

Definition at line 371 of file miniz.cpp.

◆ m_first_call

mz_uint inflate_state::m_first_call

Definition at line 371 of file miniz.cpp.

◆ m_has_flushed

mz_uint inflate_state::m_has_flushed

Definition at line 371 of file miniz.cpp.

◆ m_last_status

tinfl_status inflate_state::m_last_status

Definition at line 374 of file miniz.cpp.

◆ m_window_bits

int inflate_state::m_window_bits

Definition at line 372 of file miniz.cpp.


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