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

enum dejavu::groups::stored_automorphism::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

loader	Store a pointer to permutation of automorphism in the arbiter.
space	Auxiliary 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

automorphism

The automorphism to be stored.

Definition at line 778 of file groups.h.

---

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

• groups.h