permlib::SchreierTreeTransversal< PERM > Class Template Reference

Transversal class that stores transversal elements in a Schreier tree. More...

#include <schreier_tree_transversal.h>

Inheritance diagram for permlib::SchreierTreeTransversal< PERM >:

List of all members.

Public Member Functions
	SchreierTreeTransversal (unsigned int n)
	constructor
virtual bool	trivialByDefinition (const PERM &x, unsigned long to) const
	true if Schreier generator constructed from x and the transversal element related to "to" is trivial by defintion
virtual PERM *	at (unsigned long val) const
	returns a transversal element such that equals val
virtual void	updateGenerators (const std::map< PERM *, typename PERM::ptr > &generatorChange)
	updates transversal after group generators have been exchanged
SchreierTreeTransversal< PERM >	clone (const std::map< PERM *, typename PERM::ptr > &generatorChange) const
	returns a clone of this transversal
Public Attributes
unsigned int	m_statMaxDepth
	maximal depth of tree structure representing the transversal
Protected Member Functions
virtual void	registerMove (unsigned long from, unsigned long to, const typename PERM::ptr &p)
	stores that 'p' maps 'from' onto 'to'
Friends
struct	permlib::exports::BSGSSchreierExport
struct	permlib::exports::BSGSSchreierImport

---

Detailed Description

template<class PERM>
class permlib::SchreierTreeTransversal< PERM >

Transversal class that stores transversal elements in a Schreier tree.

---

Member Function Documentation

template<class PERM >

SchreierTreeTransversal< PERM > permlib::SchreierTreeTransversal< PERM >::clone

(

const std::map< PERM *, typename PERM::ptr > &

generatorChange

)

const

returns a clone of this transversal

the group generators that the clone may use are given by the transition map

Parameters:

generatorChange

transition map

Reimplemented in permlib::ShallowSchreierTreeTransversal< PERM >.

template<class PERM >

void permlib::SchreierTreeTransversal< PERM >::updateGenerators

(

const std::map< PERM *, typename PERM::ptr > &

generatorChange

)

[virtual]

updates transversal after group generators have been exchanged

Parameters:

generatorChange

map of old generators to new generators

Reimplemented from permlib::Transversal< PERM >.

Reimplemented in permlib::ShallowSchreierTreeTransversal< PERM >.

---

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

• include/permlib/transversal/schreier_tree_transversal.h