CBMC
|
#include <miniz.h>
Public Attributes | |
mz_uint8 | m_code_size [TINFL_MAX_HUFF_SYMBOLS_0] |
mz_int16 | m_look_up [TINFL_FAST_LOOKUP_SIZE] |
mz_int16 | m_tree [TINFL_MAX_HUFF_SYMBOLS_0 *2] |
mz_uint8 tinfl_huff_table::m_code_size[TINFL_MAX_HUFF_SYMBOLS_0] |
mz_int16 tinfl_huff_table::m_look_up[TINFL_FAST_LOOKUP_SIZE] |
mz_int16 tinfl_huff_table::m_tree[TINFL_MAX_HUFF_SYMBOLS_0 *2] |