Main Page
Related Pages
Classes
Files
S
earch for
compressor.hh File Reference
Go to the source code of this file.
Namespaces
namespace
divine
Classes
class
compressor_t
Compression implementation class.
More...
Defines
#define
HUFFMAN_COMPRESS
12
#define
NO_COMPRESS
11
Detailed Description
Unit for compression of explicit states of system. Implemented by class compressor_t.
Author:
Jiri Barnat
Reference Manual for Library, 2006 developed in
ParaDiSe
laboratory,
Faculty of Informatics
,
Masaryk University