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

AreEltsEqual Class Reference

#include <AreEltsEqual.h>

Inheritance diagram for AreEltsEqual::

Supervisor ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 AreEltsEqual (const class SMWord &, const class SMWord &)
void viewStructure (ostream &ostr) const
void takeControl ()
void start ()
void terminate ()

Private Attributes

const SMWordword1
const SMWordword2
SetOfWordsChecker theChecker
MirrorSubordinate normalClosure
MirrorSubordinate abelianInvariants
MirrorSubordinate kbSupervisor
MirrorSubordinate agSupervisor
MirrorSubordinate nilpotentQuotients
Subordinate<AreEltsEqual,NilpotentWPInQuotientsnilpotentWPInQuotients
MirrorSubordinate computeBasis
Subordinate<AreEltsEqual,NilpotentWPnilpotentWP
Subordinate<AreEltsEqual,
GeneticWPCM
genetic

Constructor & Destructor Documentation

AreEltsEqual::AreEltsEqual ( const class SMWord &,
const class SMWord & )
 


Member Function Documentation

void AreEltsEqual::viewStructure ( ostream & ostr ) const [virtual]
 

Reimplemented from ComputationManager.

void AreEltsEqual::takeControl ( ) [virtual]
 

Reimplemented from ComputationManager.

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

Reimplemented from ComputationManager.

Definition at line 72 of file AreEltsEqual.h.

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

Reimplemented from ComputationManager.

Definition at line 74 of file AreEltsEqual.h.


Member Data Documentation

const SMWord& AreEltsEqual::word1 [private]
 

Definition at line 85 of file AreEltsEqual.h.

const SMWord& AreEltsEqual::word2 [private]
 

Definition at line 87 of file AreEltsEqual.h.

SetOfWordsChecker AreEltsEqual::theChecker [private]
 

Definition at line 89 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::normalClosure [private]
 

Definition at line 94 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::abelianInvariants [private]
 

Definition at line 96 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::kbSupervisor [private]
 

Definition at line 98 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::agSupervisor [private]
 

Definition at line 100 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::nilpotentQuotients [private]
 

Definition at line 102 of file AreEltsEqual.h.

Subordinate<AreEltsEqual,NilpotentWPInQuotients> AreEltsEqual::nilpotentWPInQuotients [private]
 

Definition at line 104 of file AreEltsEqual.h.

MirrorSubordinate AreEltsEqual::computeBasis [private]
 

Definition at line 106 of file AreEltsEqual.h.

Subordinate<AreEltsEqual,NilpotentWP> AreEltsEqual::nilpotentWP [private]
 

Definition at line 108 of file AreEltsEqual.h.

Subordinate<AreEltsEqual, GeneticWPCM> AreEltsEqual::genetic [private]
 

Definition at line 110 of file AreEltsEqual.h.


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