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_size

Size 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:

• groups.h