permlib  0.2.6
Library for permutation computations
 All Classes Functions Variables Typedefs Enumerations Friends
Public Member Functions | Public Attributes | Protected Member Functions | Friends
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 >:
permlib::Transversal< PERM > permlib::Orbit< PERM, unsigned long > permlib::ShallowSchreierTreeTransversal< 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 $u$ such that $\alpha^u$ 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:
generatorChangetransition 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:
generatorChangemap 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: