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