dejavu
Fast probabilistic symmetry detection.
Loading...
Searching...
No Matches
dejavu::groups::schreier_workspace Class Reference

Auxiliary workspace used for Schreier computations. More...

#include <groups.h>

+ Collaboration diagram for dejavu::groups::schreier_workspace:

Public Member Functions

 schreier_workspace (int new_domain_size)
 

Public Attributes

dense_sparse_arbiter loader
 
markset scratch1
 
markset scratch2
 
worklist scratch_apply1
 
worklist scratch_apply2
 
markset scratch_apply3
 
automorphism_workspace scratch_auto
 

Detailed Description

Auxiliary workspace used for Schreier computations.

A global (thread local) state used for computations in Schreier structures. Used such that auxiliary space does not have to be allocated or re-allocated for every single operation, but only once. Also, the same space is used across different operations.

Definition at line 825 of file groups.h.

Constructor & Destructor Documentation

◆ schreier_workspace()

dejavu::groups::schreier_workspace::schreier_workspace ( int  new_domain_size)
inlineexplicit

Initialize this workspace.

Parameters
domain_sizeSize of the underlying domain (i.e., number of vertices of the graph).

Definition at line 832 of file groups.h.

Member Data Documentation

◆ loader

dense_sparse_arbiter dejavu::groups::schreier_workspace::loader

used for indiscriminate loading of dense and sparse automorphisms

Definition at line 840 of file groups.h.

◆ scratch1

markset dejavu::groups::schreier_workspace::scratch1

auxiliary space

Definition at line 842 of file groups.h.

◆ scratch2

markset dejavu::groups::schreier_workspace::scratch2

auxiliary space

Definition at line 843 of file groups.h.

◆ scratch_apply1

worklist dejavu::groups::schreier_workspace::scratch_apply1

auxiliary space used for apply operations

Definition at line 844 of file groups.h.

◆ scratch_apply2

worklist dejavu::groups::schreier_workspace::scratch_apply2

auxiliary space used for apply operations

Definition at line 845 of file groups.h.

◆ scratch_apply3

markset dejavu::groups::schreier_workspace::scratch_apply3

auxiliary space used for apply operations

Definition at line 846 of file groups.h.

◆ scratch_auto

automorphism_workspace dejavu::groups::schreier_workspace::scratch_auto

used to store a sparse automorphism

Definition at line 847 of file groups.h.


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