dejavu::groups::domain_compressor Class Reference

Compresses vertex set to smaller window. More...

#include <groups.h>

Public Member Functions
void	determine_compression_map (coloring &c, std::vector< int > &base, int stop)
dej_nodiscard int	compressed_domain_size () const
dej_nodiscard int	decompressed_domain_size () const
int	compress (int v)
int	decompress (int v)

Public Attributes
double	s_compression_ratio = 1.0

Detailed Description

Compresses vertex set to smaller window.

Definition at line 1874 of file groups.h.

Member Function Documentation

compress()

int dejavu::groups::domain_compressor::compress ( int  v )

inline

Mapping from original domain to compressed domain.

Parameters

v	vertex of the original domain

Returns

v in the compressed domain, or -1 if not contained in compressed domain

Definition at line 1955 of file groups.h.

compressed_domain_size()

dej_nodiscard int dejavu::groups::domain_compressor::compressed_domain_size ( ) const

inline

Returns

how large the compressed domain is

Definition at line 1939 of file groups.h.

decompress()

int dejavu::groups::domain_compressor::decompress ( int  v )

inline

Mapping from compressed domain to original domain

Parameters

v	vertex of compressed domain

Returns

v in the original domain

Definition at line 1965 of file groups.h.

decompressed_domain_size()

dej_nodiscard int dejavu::groups::domain_compressor::decompressed_domain_size ( ) const

inline

Returns

how large the original domain is

Definition at line 1946 of file groups.h.

determine_compression_map()

void dejavu::groups::domain_compressor::determine_compression_map ( coloring &  c, std::vector< int > &  base, int  stop  )

inline

Determines which colors of given vertex coloring are not needed for the given base

Parameters

c	the vertex coloring
base	the base
stop	place to stop reading the base

Definition at line 1894 of file groups.h.

Member Data Documentation

s_compression_ratio

double dejavu::groups::domain_compressor::s_compression_ratio = 1.0

Definition at line 1886 of file groups.h.

---

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

• groups.h