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
MirrorSubordinate computeBasis

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