dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
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
vvertex 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
vvertex 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
cthe vertex coloring
basethe base
stopplace 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: