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

Stores an automorphism in a dense or sparse manner, dynamically. More...

#include <groups.h>

Public Types

enum  stored_automorphism_type { STORE_DENSE , STORE_SPARSE }
 

Public Member Functions

stored_automorphism_type get_store_type ()
 
void load (dense_sparse_arbiter &loader, automorphism_workspace &space)
 
void load (automorphism_workspace &automorphism)
 
void store (int new_domain_size, automorphism_workspace &automorphism, markset &helper)
 

Detailed Description

Stores an automorphism in a dense or sparse manner, dynamically.

Definition at line 698 of file groups.h.

Member Enumeration Documentation

◆ stored_automorphism_type

Enumerator
STORE_DENSE 

stored densely, in size O(domain_size)

STORE_SPARSE 

stored in minimal encoding size of automorphism

Definition at line 700 of file groups.h.

Member Function Documentation

◆ get_store_type()

stored_automorphism_type dejavu::groups::stored_automorphism::get_store_type ( )
inline
Returns
whether the automorphism is stored in a dense or sparse manner

Definition at line 713 of file groups.h.

◆ load() [1/2]

void dejavu::groups::stored_automorphism::load ( automorphism_workspace automorphism)
inline

Definition at line 747 of file groups.h.

◆ load() [2/2]

void dejavu::groups::stored_automorphism::load ( dense_sparse_arbiter loader,
automorphism_workspace space 
)
inline

Load this stored automorphism into workspace.

Parameters
loaderStore a pointer to permutation of automorphism in the arbiter.
spaceAuxiliary space that may or may not be used, depending on whether the loaded automorphism is sparse. Should only be reset once loader is not used anymore.

Definition at line 724 of file groups.h.

◆ store()

void dejavu::groups::stored_automorphism::store ( int  new_domain_size,
automorphism_workspace automorphism,
markset helper 
)
inline

Store the given automorphism workspace.

Parameters
automorphismThe automorphism to be stored.

Definition at line 778 of file groups.h.


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