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

SubgroupContainment Class Reference

#include <SubgroupContainmentProblem.h>

Inheritance diagram for SubgroupContainment::

ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 SubgroupContainment (class SubgroupContainmentProblem &)
 SubgroupContainment (class IsSGNormal &)
Trichotomy contains () const
bool haveDetails () const
Chars getDecompositionFileName () const
void takeControl ()
void start ()
void terminate ()

Private Methods

SetOf<WordreduceTestingSet (const class DecomposeInSubgroupOfFPGroup &D, SetOf< Word > &testingSet)

Private Attributes

const SMSubgrouptheSubgroup
VectorOf<WordtheTestWords
SetOf<WordwordsToCheck
Trichotomy theAnswer
DetailedReport wordsDecomposition

Constructor & Destructor Documentation

SubgroupContainment::SubgroupContainment ( class SubgroupContainmentProblem & )
 

SubgroupContainment::SubgroupContainment ( class IsSGNormal & )
 


Member Function Documentation

Trichotomy SubgroupContainment::contains ( ) const
 

bool SubgroupContainment::haveDetails ( ) const [inline]
 

Definition at line 318 of file SubgroupContainmentProblem.h.

Chars SubgroupContainment::getDecompositionFileName ( ) const [inline]
 

Definition at line 324 of file SubgroupContainmentProblem.h.

void SubgroupContainment::takeControl ( ) [virtual]
 

Reimplemented from ComputationManager.

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

Reimplemented from ComputationManager.

Definition at line 131 of file SubgroupContainmentProblem.h.

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

Reimplemented from ComputationManager.

Definition at line 133 of file SubgroupContainmentProblem.h.

SetOf<Word> SubgroupContainment::reduceTestingSet ( const class DecomposeInSubgroupOfFPGroup & D,
SetOf< Word > & testingSet ) [private]
 


Member Data Documentation

const SMSubgroup& SubgroupContainment::theSubgroup [private]
 

Definition at line 148 of file SubgroupContainmentProblem.h.

VectorOf<Word> SubgroupContainment::theTestWords [private]
 

Definition at line 149 of file SubgroupContainmentProblem.h.

SetOf<Word> SubgroupContainment::wordsToCheck [private]
 

Definition at line 150 of file SubgroupContainmentProblem.h.

Trichotomy SubgroupContainment::theAnswer [private]
 

Definition at line 151 of file SubgroupContainmentProblem.h.

DetailedReport SubgroupContainment::wordsDecomposition [private]
 

Definition at line 153 of file SubgroupContainmentProblem.h.


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