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

NormalClosure Class Reference

#include <NormalClosure.h>

Inheritance diagram for NormalClosure::

ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 NormalClosure (class GCM &gcm)
 NormalClosure (class SCM &scm)
Trichotomy isTrivial (const Word &w) const
DecomposeInSubgroupOfFPGroupgetDecomposer ()
SubgroupGraph getSubgroupGraph () const
void takeControl ()
void start ()
void terminate ()

Private Methods

void putHaveWordDecomposer (const DecomposeInSubgroupOfFPGroup &D)
void putHaveCompleteCayleyGraph (const SubgroupGraph &S)

Private Attributes

NormalClosureARCer arcer
class ComputationManagertheCM
class SMFPGrouptheGroup
class SMObjecttheObject

Constructor & Destructor Documentation

NormalClosure::NormalClosure ( class GCM & gcm )
 

NormalClosure::NormalClosure ( class SCM & scm )
 


Member Function Documentation

Trichotomy NormalClosure::isTrivial ( const Word & w ) const
 

DecomposeInSubgroupOfFPGroup& NormalClosure::getDecomposer ( )
 

SubgroupGraph NormalClosure::getSubgroupGraph ( ) const
 

void NormalClosure::takeControl ( ) [virtual]
 

Reimplemented from ComputationManager.

void NormalClosure::start ( ) [inline, virtual]
 

Reimplemented from ComputationManager.

Definition at line 132 of file NormalClosure.h.

void NormalClosure::terminate ( ) [inline, virtual]
 

Reimplemented from ComputationManager.

Definition at line 134 of file NormalClosure.h.

void NormalClosure::putHaveWordDecomposer ( const DecomposeInSubgroupOfFPGroup & D ) [private]
 

void NormalClosure::putHaveCompleteCayleyGraph ( const SubgroupGraph & S ) [private]
 


Member Data Documentation

NormalClosureARCer NormalClosure::arcer [private]
 

Definition at line 149 of file NormalClosure.h.

class ComputationManager& NormalClosure::theCM [private]
 

Definition at line 151 of file NormalClosure.h.

class SMFPGroup& NormalClosure::theGroup [private]
 

Definition at line 152 of file NormalClosure.h.

class SMObject& NormalClosure::theObject [private]
 

Definition at line 153 of file NormalClosure.h.


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