Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

DecomposeInSubgroupOfFreeGroup Class Reference

#include <DecomposeInSubgroup.h>

Inheritance diagram for DecomposeInSubgroupOfFreeGroup::

DecomposeInExpandingSubgroup DecomposeInSubgroupOfFPGroup List of all members.

Public Methods

 DecomposeInSubgroupOfFreeGroup (const int ambientRank, const VectorOf< Word > &gens)
virtual ~DecomposeInSubgroupOfFreeGroup ()
virtual DecomposeInSubgroupOfFreeGroup* clone () const
int rankOfFreeGroup () const
VectorOf<Wordgenerators () const
const SubgroupGraphgraph () const
VectorOf<WorddecomposeNielsenBasis () const
bool contains (const Word &w) const
Word decompose (const Word &w) const
Trichotomy checkDecomposition (const Word &w) const
 DecomposeInSubgroupOfFreeGroup (const SubgroupGraph &G, const VectorOf< Word > &gens)
virtual bool readPiece (istream &istr, const class Timer &timer)

Protected Methods

VectorOf<WordmakeMapBetweenNielsens (SubgroupGraph &S, const VectorOf< Word > &words) const
virtual void write (ostream &ostr) const

Protected Attributes

int theAmbientRank
SubgroupGraph theGraph
int n

Private Types

enum  ReadingState { STOP, GENS, GRAPH, NIELSEN }

Private Methods

void init ()

Private Attributes

ReadingState readState


ostream& operator< (ostream &ostr, const DecomposeInSubgroupOfFreeGroup &d)
istream& operator> (istream &istr, DecomposeInSubgroupOfFreeGroup &d)

Member Enumeration Documentation

enum DecomposeInSubgroupOfFreeGroup::ReadingState [private]

Enumeration values:

Definition at line 121 of file DecomposeInSubgroup.h.

Constructor & Destructor Documentation

DecomposeInSubgroupOfFreeGroup::DecomposeInSubgroupOfFreeGroup ( const int ambientRank,
const VectorOf< Word > & gens )

Referenced by clone().

DecomposeInSubgroupOfFreeGroup::~DecomposeInSubgroupOfFreeGroup ( ) [inline, virtual]

Definition at line 43 of file DecomposeInSubgroup.h.

DecomposeInSubgroupOfFreeGroup::DecomposeInSubgroupOfFreeGroup ( const SubgroupGraph & G,
const VectorOf< Word > & gens )

Member Function Documentation

DecomposeInSubgroupOfFreeGroup * DecomposeInSubgroupOfFreeGroup::clone ( ) const [inline, virtual]

Reimplemented in DecomposeInExpandingSubgroup, and DecomposeInSubgroupOfFPGroup.

Definition at line 45 of file DecomposeInSubgroup.h.

int DecomposeInSubgroupOfFreeGroup::rankOfFreeGroup ( ) const [inline]

Definition at line 49 of file DecomposeInSubgroup.h.

VectorOf< Word > DecomposeInSubgroupOfFreeGroup::generators<Word> ( ) const [inline]

Definition at line 52 of file DecomposeInSubgroup.h.

const SubgroupGraph & DecomposeInSubgroupOfFreeGroup::graph ( ) const [inline]

Definition at line 55 of file DecomposeInSubgroup.h.

VectorOf< Word > DecomposeInSubgroupOfFreeGroup::decomposeNielsenBasis<Word> ( ) const [inline]

Definition at line 58 of file DecomposeInSubgroup.h.

bool DecomposeInSubgroupOfFreeGroup::contains ( const Word & w ) const [inline]

Definition at line 64 of file DecomposeInSubgroup.h.

Word DecomposeInSubgroupOfFreeGroup::decompose ( const Word & w ) const

Trichotomy DecomposeInSubgroupOfFreeGroup::checkDecomposition ( const Word & w ) const

Reimplemented in DecomposeInExpandingSubgroup.

virtual bool DecomposeInSubgroupOfFreeGroup::readPiece ( istream & istr,
const class Timer & timer ) [virtual]

Reimplemented in DecomposeInExpandingSubgroup, and DecomposeInSubgroupOfFPGroup.

void DecomposeInSubgroupOfFreeGroup::init ( ) [private]

VectorOf<Word> DecomposeInSubgroupOfFreeGroup::makeMapBetweenNielsens ( SubgroupGraph & S,
const VectorOf< Word > & words ) const [protected]

virtual void DecomposeInSubgroupOfFreeGroup::write ( ostream & ostr ) const [protected, virtual]

Reimplemented in DecomposeInExpandingSubgroup, and DecomposeInSubgroupOfFPGroup.

Referenced by operator<().

Friends And Related Function Documentation

ostream & operator< ( ostream & ostr,
const DecomposeInSubgroupOfFreeGroup & d ) [friend]

Definition at line 84 of file DecomposeInSubgroup.h.

istream& operator> ( istream & istr,
DecomposeInSubgroupOfFreeGroup & d ) [friend]

Member Data Documentation

int DecomposeInSubgroupOfFreeGroup::theAmbientRank [protected]

Definition at line 109 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInSubgroupOfFreeGroup::theGenerators [protected]

Definition at line 110 of file DecomposeInSubgroup.h.

SubgroupGraph DecomposeInSubgroupOfFreeGroup::theGraph [protected]

Definition at line 113 of file DecomposeInSubgroup.h.

VectorOf<Word> DecomposeInSubgroupOfFreeGroup::nielsenInSubgroupGenerators [protected]

Definition at line 114 of file DecomposeInSubgroup.h.

int DecomposeInSubgroupOfFreeGroup::n [protected]

Definition at line 117 of file DecomposeInSubgroup.h.

ReadingState DecomposeInSubgroupOfFreeGroup::readState [private]

Definition at line 124 of file DecomposeInSubgroup.h.

The documentation for this class was generated from the following file:
Generated at Tue Jun 19 09:49:50 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001