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

ComputationManager Class Reference

#include <ComputationManager.h>

Inheritance diagram for ComputationManager::

SMObject ResourceManager FEData AbelianEltPowerSubgrComp AbelianHomIsEpiComp AbelianHomIsMonoComp AbelianInvariants AbelianInvariantsOfFactor AbelianMaximalRootComp AbelianPrimes AbelianRank AbelianSGInvariants AbelianSGPrimes AGSupervisor APofFreeIsFree ApproxMethod AutEnumerator CommutatorRewriteProblem EqSystemInAbelianCM EquationInAbelianCM EquationRandomSolutions EquationSolver FastComputation FNWPCM FPConjugacyWrapper FPImagePresentationCM FPKernelPresentationCM FreeGeneralIsPartOfBasis FreeIsPartOfBasis GAConjugacyForORGroup GAEquationCM GAIsPartOfBasisCM GAWordForORGroup GeneticWPCM HNNofFreeIsFree HomologyProblem HSGIndexToddCoxeter HToddCoxeter IsWordAPE KBSupervisor KBSupervisorCM MSCConjugacyWrapper NGcomputeBasis NGdecomposeWord NGIsomorphismProblem NilpotentQuotients NilpotentWP NilpotentWPInQuotients NormalClosure OrderOfEltInQuotients ORExtendedWordProblemCM ORIsFreeProblem ORWordProblemCM RankOfElement RankOfSubgroup SCPinNilpotentQuotients SGIndexToddCoxeter SGNilpotentQuotients SGOfNGinitializeProblem SGOfNGinitPreimageProblem SGOfNGWordContain SMListGeneticWPCM SMListSGAbelianComputation SMListSGCentralComputation SMListSGTrivialComputation SMListWordIsCentralComputation SMListWPCheckComputation SquareRewriteProblem SubgroupContainment Supervisor TCMethod ToddCoxeter TTCM TwoCommCM UnboundedSupervisor WordRepresentative List of all members.

Public Types

enum  State { UNSTARTED, RUNNING, SUSPENDED, TERMINATED }

Public Methods

 ComputationManager (bool display_in_fe=false)
 ~ComputationManager ()
State state () const
bool crashed () const
virtual Chars getCrashMessage () const
virtual bool isSupervisor () const
Chars helpID (const Chars &problemName, const SMFPGroup &parent) const
const char* typeID () const
const IconID iconID () const
void viewStructure (ostream &ostr) const
void printProperties (ostream &ostr) const
void printDefinition (ostream &ostr) const
bool displayInFE () const
virtual void takeControl ()=0
bool fastResult () const
bool checkForStall ()
void attachClient (const SMObject &client)
void detachClient (const SMObject &client)
SetOf<OIDgetClients () const
void adminStart ()
void adminSuspend ()
void adminResume ()
virtual void adminTerminate ()
virtual void start ()
virtual void suspend ()
virtual void resume ()
virtual void terminate ()

Static Public Methods

void printGlobalMessageTemplates (ostream &ostr)

Protected Methods

void readMessage (istream &istr)
void resultIsFast ()

Private Types

enum  MessageTag {
  VIEW_REQUEST, ARC_UPDATE, START, SUSPEND,
  RESUME, TERMINATE, PARAMETER
}

Private Methods

void hireArcer (ARCer *arcer)
void terminateArcers ()
void setCrashState ()

Private Attributes

ListOf<ARCer*> theArcers
SetOf<OIDtheClients
bool amFast
bool showMe
State theState
bool isCrashed
bool wasStalled

Friends

class  ARCer
class  RelatorEnumeratorARCer
class  ExternalARCer
class  Supervisor

Member Enumeration Documentation

enum ComputationManager::State
 

Enumeration values:
UNSTARTED  
RUNNING  
SUSPENDED  
TERMINATED  

Definition at line 56 of file ComputationManager.h.

enum ComputationManager::MessageTag [private]
 

Enumeration values:
VIEW_REQUEST  
ARC_UPDATE  
START  
SUSPEND  
RESUME  
TERMINATE  
PARAMETER  

Definition at line 200 of file ComputationManager.h.


Constructor & Destructor Documentation

ComputationManager::ComputationManager ( bool display_in_fe = false )
 

ComputationManager::~ComputationManager ( )
 


Member Function Documentation

State ComputationManager::state ( ) const
 

bool ComputationManager::crashed ( ) const [inline]
 

Definition at line 76 of file ComputationManager.h.

Chars ComputationManager::getCrashMessage ( ) const [inline, virtual]
 

Definition at line 78 of file ComputationManager.h.

bool ComputationManager::isSupervisor ( ) const [inline, virtual]
 

Reimplemented in Supervisor.

Definition at line 81 of file ComputationManager.h.

Chars ComputationManager::helpID ( const Chars & problemName,
const SMFPGroup & parent ) const
 

const char* ComputationManager::typeID ( ) const [virtual]
 

Reimplemented from SMObject.

Reimplemented in EnumeratorProblem.

const IconID ComputationManager::iconID ( ) const [virtual]
 

Reimplemented from SMObject.

Reimplemented in EnumeratorProblem, and AutEnumerator.

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

Reimplemented from SMObject.

Reimplemented in AutoEnumeratorProblem, FiniteAutoEnumeratorProblem, IsMapInList, SMListExtractProperPowerInFree, SMListExtractCommutatorsInFree, SGListExtractOfRank, SGListExtractNormal, SGListExtractMalnormal, MapListExtractIAauto, MapListExtractInner, RandHomEnumeratorProblem, TotalHomEnumeratorProblem, SMListJoin, ORConsequencesEnumerator, NCRelatorEnumerator, SGRelatorEnumerator, SMListExtractTrivialSubgroups, SMListExtractAbelianSubgroups, SMListExtractCentralSubgroups, SMListExtractTrivialWords, SMListExtractCentralWords, SGEnumeratorProblem, IsSubgroupInList, SGListExtractOfIndex, WordEnumeratorProblem, IsWordInList, WordsOfLength, GCM, MCM, SCM, WCM, AbelInvariantsProb, AbelianPrimeDecomp, AbelianWordProblem, AbelianIsomProblem, AbelianTorsionFreeRankProblem, AbelianOrderOfTheTorsionSubgroupProblem, AbelianOrderProblem, AbelianOrderOfEltProblem, AbelianEqualityProblem, WordInSGOfAbelian, AbelianIsSGEqualToTheGroup, AbelianSGIndexProblem, AbelianIsSGIsolatedProblem, AbelianSGContainmentProblem, FindCanonicalSmithPresentation, AbelianPHeightOfEltProblem, AbelianComputeTorsionSubgroup, AbelianEltPowerSubgr, AbelianPowerProblem, AbelianSGCyclicDecomposition, AbelianSGPrimesDecomposition, AbelianSGOrder, AbelianMaximalRoot, AbelianIsIsomorphicSG, AbelianTorsionFreeRankOfSG, AbelianOrderOfTheTorsionSubgroupOfSG, EltPrimeForm, virtualFreeComp, SubgroupIsolator, AbelianSGPurityProblem, AbelianSGGenedByWordPurityProblem, AbelianDoesGensSummand, AbelianSGEqualityProblem, IsAbelianWordPowerOfSecond, AbelianHomIsEpi, AbelianHomIsMono, AbelianHomIsAuto, AbelianHomIsIso, AbelianOrderOfAuto, AbelianInverseAuto, AbelianFixedPointsOfAutoProblem, AbelianSGIntersectionProblem, AbelianIntegralHomologyProblem, ACConjectureProblem, AGSupervisor, AGProblem, AreEltsEqual, ConjugacyProblem, EqSystemInAbelianCM, EqSystemInFPProblem, EquationInAbelianCM, EquationInFPProblem, ExtendToHomProblem, FastComputation, FreeIsPartOfBasisProblem, FreeGeneralIsPartOfBasisProblem, AutoInFreeIsFinite, SGOfFreeContainsConjugate, SGOfFreeConjugateTo, AutEnumerator, GAEquationCM, GAEquationProblem, TwoCommCM, TwoCommProblem, HNNofFreeIsFree, APofFreeIsFree, APofFreeIsPerfect, APofFreeHomologyProblem, HomologySupervisor, IsAbelianProblem, IsEltCentral, IsFiniteProblem, ORIsFreeProblem, IsFreeProblem, IsNilpotentProblem, IsTrivialProblem, IsWordAPEProblem, KBSupervisor, KBProblem, FPNewPresentationProblem, KBSupervisorCM, FPKernelPresentationProblem, MakeRandomPresentation, SGOfNGcomputeBasisProblem, SGOfNGDecomposeWordProblem, SGOfNGWordContain, SGOfNGWordContainProblem, SGOfNGcontainSubgroupProblem, SGOfNGequalSubgroupProblem, SGOfNGindexProblem, SGOfNGhirschNumberProblem, SGOfNGisNormalProblem, SGOfNGcomputeNClassProblem, SGOfNGbuildPresentationProblem, SGOfNGnormalClosureProblem, SGOfNGnormalClosureGensProblem, NGorderOfEltProblem, NGHirschNumberProblem, NGcomputeLCSQuotientsProblem, NGcomputeNClassProblem, NGisFreeNilpotentProblem, NGdecomposeWordProblem, NGisWordInCommutatorSGProblem, NGweightOfWordProblem, NGorderOfTorsionSubgroupProblem, NGbuildPresentationProblem, NGAutoIsIAAut, NGisCentralProblem, NGMaximalRootProblem, NGIsProperPower, NGInverseAuto, NGcentralizer, NGIsomorphismProblem, NGcomputeBasis, NilpotentQuotients, NGcomputeBasisProblem, NGdecomposeWord, ORExtendedWordProblem, OrderOfElt, OrderProblem, EquationProblem, QuickEquationProblem, RankOfElementProblem, RankOfSubgroupProblem, CommutatorRewriteProblem, SquareRewriteProblem, SGNilpotentQuotients, SubgroupContainmentProblem, IsSGNormal, IsSGAbelian, IsSGCentral, IsSGNilpotent, IsSGTrivial, SGIndexProblem, SGPresentationProblem, SGRewriteWordProblem, SchreierTransversal, PermutationRepProblem, WordRepresentativeProblem, TTCM, TTProblem, FindWhiteheadMinimalProblem, and WordProblem.

void ComputationManager::printProperties ( ostream & ostr ) const [virtual]
 

Reimplemented from SMObject.

void ComputationManager::printDefinition ( ostream & ostr ) const [virtual]
 

Reimplemented from SMObject.

bool ComputationManager::displayInFE ( ) const [inline, virtual]
 

Reimplemented from SMObject.

Definition at line 106 of file ComputationManager.h.

void ComputationManager::printGlobalMessageTemplates ( ostream & ostr ) [static]
 

virtual void ComputationManager::takeControl ( ) [pure virtual]
 

Reimplemented in AutoEnumeratorProblem, FiniteAutoEnumeratorProblem, IsMapInList, SMListExtractProperPowerInFree, SMListExtractCommutatorsInFree, SGListExtractOfRank, SGListExtractNormal, SGListExtractMalnormal, MapListExtractIAauto, MapListExtractInner, RandHomEnumeratorProblem, TotalHomEnumeratorProblem, SMListJoin, MakeSMListOf, ORConsequencesEnumerator, NCRelatorEnumerator, SGRelatorEnumerator, SMListSGTrivialComputation, SMListExtractTrivialSubgroups, SMListSGAbelianComputation, SMListExtractAbelianSubgroups, SMListSGCentralComputation, SMListExtractCentralSubgroups, SMListGeneticWPCM, SMListWPCheckComputation, SMListExtractTrivialWords, SMListWordIsCentralComputation, SMListExtractCentralWords, SGEnumeratorProblem, IsSubgroupInList, SGListExtractOfIndex, WordEnumeratorProblem, IsWordInList, WordsOfLength, GCM, MCM, SCM, WCM, AbelianInvariants, AbelianInvariantsOfFactor, AbelInvariantsProb, AbelianRank, AbelianPrimes, AbelianPrimeDecomp, AbelianWordProblem, AbelianIsomProblem, AbelianTorsionFreeRankProblem, AbelianOrderOfTheTorsionSubgroupProblem, AbelianOrderProblem, AbelianOrderOfEltProblem, AbelianEqualityProblem, WordInSGOfAbelian, AbelianIsSGEqualToTheGroup, AbelianSGIndexProblem, AbelianIsSGIsolatedProblem, AbelianSGContainmentProblem, FindCanonicalSmithPresentation, AbelianPHeightOfEltProblem, AbelianComputeTorsionSubgroup, AbelianEltPowerSubgrComp, AbelianEltPowerSubgr, AbelianPowerProblem, AbelianSGInvariants, AbelianSGCyclicDecomposition, AbelianSGPrimes, AbelianSGPrimesDecomposition, AbelianSGOrder, AbelianMaximalRootComp, AbelianMaximalRoot, AbelianIsIsomorphicSG, AbelianTorsionFreeRankOfSG, AbelianOrderOfTheTorsionSubgroupOfSG, EltPrimeForm, virtualFreeComp, SubgroupIsolator, AbelianSGPurityProblem, AbelianSGGenedByWordPurityProblem, AbelianDoesGensSummand, AbelianSGEqualityProblem, IsAbelianWordPowerOfSecond, AbelianHomIsEpiComp, AbelianHomIsEpi, AbelianHomIsMonoComp, AbelianHomIsMono, AbelianHomIsAuto, AbelianHomIsIso, AbelianOrderOfAuto, AbelianInverseAuto, AbelianFixedPointsOfAutoProblem, AbelianSGIntersectionProblem, AbelianIntegralHomologyProblem, ACConjectureProblem, AGSupervisor, AGProblem, AreEltsEqual, FPConjugacyWrapper, MSCConjugacyWrapper, ConjugacyProblem, EqSystemInAbelianCM, EqSystemInFPProblem, EquationInAbelianCM, EquationInFPProblem, ExtendToHomProblem, CommutatorInFree, FreeInCommutatorSG, ProductOfCommutators, ProductOfSquares, FreeIsElementAProperPower, FreeMaximalRootOfElement, FreeCentolizerOfElement, FreeGetN_thElement, FreeGetNextN_thElement, WordProblemInFree, WordsAreEqual, EndoOnFreeIsMono, EndoOnFreeIsEpi, EndoOnFreeIsAut, EndoOnFreeIsInner, EndoOnFreeIsIAAut, InverseAuto, AutoWhiteheadDecomposition, WordInSGOfFree, PowerOfWordInSGOfFree, ConjugacyProblemInFree, ConjugateOfWordInSGOfFree, WordInNielsenBasisSGOfFree, SchreierRepOfWordInSGOfFree, SGOfFreeContainment, SGOfFreeAreEqual, SGOfFreeJoin, SGOfFreeIntersection, SGOfFreeIsNormal, SGOfFreeIsAFreeFactor, SGOfFreeIsMalnormal, QuadEquationSurfaceForm, SGOfFreeWhiteheadReduction, SGOfFreeNielsenBasis, SGOfFreeIndex, SGOfFreeRank, SGOfFreeNormaliser, SGOfFreeHallCompletion, FreeIsSGTrivial, FreeIsAutomatic, FreelyReduceWord, CyclicallyReduceWord, FormalInverseOfWord, WordLength, InitialSegmentOfWord, TerminalSegmentOfWord, SegmentOfWord, FormalProductOfWords, ConjugateOfWord, CommutatorOfWords, PowerOfMap, ComposeMaps, FreeAreHomsEqual, ImageUnderMap, SGImageUnderMap, ExtendFreeByAut, FPIsMSC, FastHomology, FastAbelianForm, FastInverseInAbelianForm, ProductInAbelianForm, AbelianSGJoin, MSCOrder, MSCIsTrivial, MSCIsFinite, MSCIsAbelian, ORIsTrivial, ORIsFinite, ORIsAbelian, OROrder, ORWithTorsionEltFiniteOrder, ORWithTorsionAreEltsEqual, ORWithTorsionExtendedWordProblem, ORWithTorsionCentralizerOfElt, ORWithTorsionConjugacyProblem, MakeCyclicDecomposition, MakeAbelianQuotient, MakeQuotientFromSubgroup, MakeNilpotentQuotient, MakeQuotient, MakeAPOfFree, APOfFreeReducedForm, APOfFreeNormalForm, APOfFreeCyclicNormalForm, APOfFreeIsTrivial, APOfFreeIsHyperbolic, APOfFreeIsFinite, APOfFreeIsAbelian, APOfFreeOrder, APOfFreeWordProblem, APOfFreeNumberOfSubstitutions, APOfFreeAreEqual, APOfFree_DoEltsCommute, APOfFreeIsSGTrivial, CheckinAPOfFree, APOfFreeIsSGAbelian, APOfFreeCyclic_CentralizerOfElt, APOfFreeCyclic_ConjugacyProblem, APOfFreeCyclic_MaximalRoot, APOfFreeCyclic_IsEltAProperPower, APOfFreeCyclic_IsEltAProperPowerOfSecond, FNGAutoIsIAAut, SGOfNGjoinSubgroupProblem, NGLCStermGensProblem, MakeFreeProduct, MakeDirectProduct, MakeFactorGroup, MakeListOfWords, MakeRipsConstruction, FNWPCM, GAIsPartOfBasisCM, FreeIsPartOfBasis, FreeIsPartOfBasisProblem, FreeGeneralIsPartOfBasis, FreeGeneralIsPartOfBasisProblem, AutoInFreeIsFinite, SGOfFreeContainsConjugate, SGOfFreeConjugateTo, AutEnumerator, GAConjugacyForORGroup, GAEquationCM, GAEquationProblem, TwoCommCM, TwoCommProblem, GAWordForORGroup, GeneticWPCM, MakeHNNExtOfFreeGroup, HNNofFreeGroup_IsTrivial, HNNofFreeGroup_IsFinite, HNNofFreeGroup_IsAbelian, HNNofFreeGroup_ConjugacyProblem, HNNofFreeGroup_WordProblem, HNNofFreeGroup_ReducedForm, HNNofFreeGroup_NormalForm, HNNofFreeGroup_CyclicallyReducedForm, HNNofFreeGroup_IsProperPowerOfSecond, HNNofFreeGroup_IsProperPower, HNNofFreeGroup_MaximalRoot, HNNofFreeGroup_AreEqual, HNNofFreeGroup_IsSGTrivial, HNNofFreeGroup_IsSGAbelian, CheckinHNNofFreeGroup, HNNofFreeIsFree, APofFreeIsFree, APofFreeIsPerfect, APofFreeHomologyProblem, HomologyProblem, HomologySupervisor, HToddCoxeter, HSGIndexToddCoxeter, IsAbelianProblem, IsEltCentral, IsFiniteProblem, ORIsFreeProblem, IsFreeProblem, IsNilpotentProblem, IsTrivialProblem, IsWordAPE, IsWordAPEProblem, KBSupervisor, KBProblem, FPNewPresentationProblem, FPImagePresentationCM, FPKernelPresentationCM, KBSupervisorCM, FPKernelPresentationProblem, MakeRandomPresentation, SGOfNGinitPreimageProblem, SGOfNGinitializeProblem, SGOfNGcomputeBasisProblem, SGOfNGDecomposeWordProblem, SGOfNGWordContain, SGOfNGWordContainProblem, SGOfNGcontainSubgroupProblem, SGOfNGequalSubgroupProblem, SGOfNGindexProblem, SGOfNGhirschNumberProblem, SGOfNGisNormalProblem, SGOfNGcomputeNClassProblem, SGOfNGbuildPresentationProblem, SGOfNGnormalClosureProblem, SGOfNGnormalClosureGensProblem, NGorderOfEltProblem, NGHirschNumberProblem, NGcomputeLCSQuotientsProblem, NGcomputeNClassProblem, NGisFreeNilpotentProblem, NGdecomposeWordProblem, NGisWordInCommutatorSGProblem, NGweightOfWordProblem, NGorderOfTorsionSubgroupProblem, NGbuildPresentationProblem, NGAutoIsIAAut, NGisCentralProblem, NGMaximalRootProblem, NGIsProperPower, NGInverseAuto, NGcentralizer, NGIsomorphismProblem, NilpotentWPInQuotients, NilpotentWP, NGcomputeBasis, NilpotentQuotients, NGcomputeBasisProblem, NGdecomposeWord, NormalClosure, ORFindHNNPresentation, ORGroup_IsMagnusSubgroup, ORExtendedWordProblemCM, ORExtendedWordProblem, ORIsMagnusSubgroup, OrderOfEltInQuotients, OrderOfElt, OrderProblem, EquationSolver, EquationRandomSolutions, EquationProblem, QuickEquationProblem, QEquationInFreeBasicSolutions, QEquationInFreeRegStabGenerators, RankOfElement, RankOfElementProblem, RankOfSubgroup, RankOfSubgroupProblem, CommutatorRewriteProblem, SquareRewriteProblem, SCPinNilpotentQuotients, SGNilpotentQuotients, SubgroupContainment, SubgroupContainmentProblem, IsSGNormal, IsSGAbelian, IsSGCentral, IsSGNilpotent, IsSGTrivial, SGIndexProblem, ApproxMethod, TCMethod, SGPresentationProblem, SGRewriteWordProblem, ToddCoxeter, SGIndexToddCoxeter, SchreierTransversal, PermutationRepProblem, WordRepresentative, WordRepresentativeProblem, TTCM, TTProblem, FindWhiteheadMinimalProblem, ORWordProblemCM, and WordProblem.

bool ComputationManager::fastResult ( ) const [inline]
 

Definition at line 118 of file ComputationManager.h.

bool ComputationManager::checkForStall ( )
 

void ComputationManager::attachClient ( const SMObject & client )
 

Referenced by Supervisor::Supervisor().

void ComputationManager::detachClient ( const SMObject & client )
 

SetOf<OID> ComputationManager::getClients ( ) const
 

void ComputationManager::adminStart ( )
 

void ComputationManager::adminSuspend ( )
 

void ComputationManager::adminResume ( )
 

virtual void ComputationManager::adminTerminate ( ) [virtual]
 

Reimplemented in Supervisor.

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

Reimplemented in AutoEnumeratorProblem, FiniteAutoEnumeratorProblem, IsMapInList, SMListExtractProperPowerInFree, SMListExtractCommutatorsInFree, SGListExtractOfRank, SGListExtractNormal, SGListExtractMalnormal, MapListExtractIAauto, MapListExtractInner, RandHomEnumeratorProblem, TotalHomEnumeratorProblem, SMListJoin, ORConsequencesEnumerator, NCRelatorEnumerator, SGRelatorEnumerator, SMListSGTrivialComputation, SMListExtractTrivialSubgroups, SMListSGAbelianComputation, SMListExtractAbelianSubgroups, SMListSGCentralComputation, SMListExtractCentralSubgroups, SMListGeneticWPCM, SMListWPCheckComputation, SMListExtractTrivialWords, SMListWordIsCentralComputation, SMListExtractCentralWords, SGEnumeratorProblem, IsSubgroupInList, SGListExtractOfIndex, WordEnumeratorProblem, IsWordInList, WordsOfLength, GCM, MCM, SCM, WCM, AbelianInvariants, AbelianInvariantsOfFactor, AbelInvariantsProb, AbelianRank, AbelianPrimes, AbelianPrimeDecomp, AbelianWordProblem, AbelianIsomProblem, AbelianTorsionFreeRankProblem, AbelianOrderOfTheTorsionSubgroupProblem, AbelianOrderProblem, AbelianOrderOfEltProblem, AbelianEqualityProblem, WordInSGOfAbelian, AbelianIsSGEqualToTheGroup, AbelianSGIndexProblem, AbelianIsSGIsolatedProblem, AbelianSGContainmentProblem, FindCanonicalSmithPresentation, AbelianPHeightOfEltProblem, AbelianComputeTorsionSubgroup, AbelianEltPowerSubgrComp, AbelianEltPowerSubgr, AbelianPowerProblem, AbelianSGInvariants, AbelianSGCyclicDecomposition, AbelianSGPrimes, AbelianSGPrimesDecomposition, AbelianSGOrder, AbelianMaximalRootComp, AbelianMaximalRoot, AbelianIsIsomorphicSG, AbelianTorsionFreeRankOfSG, AbelianOrderOfTheTorsionSubgroupOfSG, EltPrimeForm, virtualFreeComp, SubgroupIsolator, AbelianSGPurityProblem, AbelianSGGenedByWordPurityProblem, AbelianDoesGensSummand, AbelianSGEqualityProblem, IsAbelianWordPowerOfSecond, AbelianHomIsEpiComp, AbelianHomIsEpi, AbelianHomIsMonoComp, AbelianHomIsMono, AbelianHomIsAuto, AbelianHomIsIso, AbelianOrderOfAuto, AbelianInverseAuto, AbelianFixedPointsOfAutoProblem, AbelianSGIntersectionProblem, AbelianIntegralHomologyProblem, ACConjectureProblem, AGSupervisor, AreEltsEqual, FPConjugacyWrapper, MSCConjugacyWrapper, ConjugacyProblem, EqSystemInAbelianCM, EquationInAbelianCM, ExtendToHomProblem, FastComputation, FNWPCM, GAIsPartOfBasisCM, FreeIsPartOfBasis, FreeIsPartOfBasisProblem, FreeGeneralIsPartOfBasis, FreeGeneralIsPartOfBasisProblem, AutoInFreeIsFinite, SGOfFreeContainsConjugate, SGOfFreeConjugateTo, AutEnumerator, GAConjugacyForORGroup, GAEquationCM, TwoCommCM, GAWordForORGroup, GeneticWPCM, HNNofFreeIsFree, APofFreeIsFree, APofFreeIsPerfect, APofFreeHomologyProblem, HomologyProblem, HomologySupervisor, HToddCoxeter, HSGIndexToddCoxeter, IsAbelianProblem, IsEltCentral, IsFiniteProblem, ORIsFreeProblem, IsFreeProblem, IsNilpotentProblem, IsTrivialProblem, IsWordAPE, IsWordAPEProblem, KBSupervisor, KBProblem, FPNewPresentationProblem, FPImagePresentationCM, FPKernelPresentationCM, KBSupervisorCM, FPKernelPresentationProblem, MakeRandomPresentation, SGOfNGinitPreimageProblem, SGOfNGinitializeProblem, SGOfNGcomputeBasisProblem, SGOfNGDecomposeWordProblem, SGOfNGWordContain, SGOfNGWordContainProblem, SGOfNGcontainSubgroupProblem, SGOfNGequalSubgroupProblem, SGOfNGindexProblem, SGOfNGhirschNumberProblem, SGOfNGisNormalProblem, SGOfNGcomputeNClassProblem, SGOfNGbuildPresentationProblem, SGOfNGnormalClosureProblem, SGOfNGnormalClosureGensProblem, NGorderOfEltProblem, NGHirschNumberProblem, NGcomputeLCSQuotientsProblem, NGcomputeNClassProblem, NGisFreeNilpotentProblem, NGdecomposeWordProblem, NGisWordInCommutatorSGProblem, NGweightOfWordProblem, NGorderOfTorsionSubgroupProblem, NGbuildPresentationProblem, NGAutoIsIAAut, NGisCentralProblem, NGMaximalRootProblem, NGIsProperPower, NGInverseAuto, NGcentralizer, NGIsomorphismProblem, NilpotentWPInQuotients, NilpotentWP, NGcomputeBasis, NilpotentQuotients, NGcomputeBasisProblem, NGdecomposeWord, NormalClosure, ORExtendedWordProblemCM, ORExtendedWordProblem, OrderOfEltInQuotients, OrderOfElt, OrderProblem, EquationSolver, EquationRandomSolutions, EquationProblem, QuickEquationProblem, RankOfElement, RankOfElementProblem, RankOfSubgroup, RankOfSubgroupProblem, CommutatorRewriteProblem, SquareRewriteProblem, SCPinNilpotentQuotients, SGNilpotentQuotients, SubgroupContainment, SubgroupContainmentProblem, IsSGNormal, IsSGAbelian, IsSGCentral, IsSGNilpotent, IsSGTrivial, SGIndexProblem, ApproxMethod, TCMethod, SGPresentationProblem, SGRewriteWordProblem, ToddCoxeter, SGIndexToddCoxeter, SchreierTransversal, PermutationRepProblem, WordRepresentative, WordRepresentativeProblem, TTCM, TTProblem, FindWhiteheadMinimalProblem, ORWordProblemCM, and WordProblem.

Definition at line 150 of file ComputationManager.h.

void ComputationManager::suspend ( ) [inline, virtual]
 

Definition at line 152 of file ComputationManager.h.

void ComputationManager::resume ( ) [inline, virtual]
 

Reimplemented in AutoEnumeratorProblem, FiniteAutoEnumeratorProblem, RandHomEnumeratorProblem, TotalHomEnumeratorProblem, ORConsequencesEnumerator, NCRelatorEnumerator, SGRelatorEnumerator, SGEnumeratorProblem, and WordEnumeratorProblem.

Definition at line 154 of file ComputationManager.h.

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

Reimplemented in AutoEnumeratorProblem, FiniteAutoEnumeratorProblem, IsMapInList, SMListExtractProperPowerInFree, SMListExtractCommutatorsInFree, SGListExtractOfRank, SGListExtractNormal, SGListExtractMalnormal, MapListExtractIAauto, MapListExtractInner, RandHomEnumeratorProblem, TotalHomEnumeratorProblem, SMListJoin, ORConsequencesEnumerator, NCRelatorEnumerator, SGRelatorEnumerator, SMListSGTrivialComputation, SMListExtractTrivialSubgroups, SMListSGAbelianComputation, SMListExtractAbelianSubgroups, SMListSGCentralComputation, SMListExtractCentralSubgroups, SMListGeneticWPCM, SMListWPCheckComputation, SMListExtractTrivialWords, SMListWordIsCentralComputation, SMListExtractCentralWords, SGEnumeratorProblem, IsSubgroupInList, SGListExtractOfIndex, WordEnumeratorProblem, IsWordInList, WordsOfLength, GCM, MCM, SCM, WCM, AbelianInvariants, AbelianInvariantsOfFactor, AbelInvariantsProb, AbelianRank, AbelianPrimes, AbelianPrimeDecomp, AbelianWordProblem, AbelianIsomProblem, AbelianTorsionFreeRankProblem, AbelianOrderOfTheTorsionSubgroupProblem, AbelianOrderProblem, AbelianOrderOfEltProblem, AbelianEqualityProblem, WordInSGOfAbelian, AbelianIsSGEqualToTheGroup, AbelianSGIndexProblem, AbelianIsSGIsolatedProblem, AbelianSGContainmentProblem, FindCanonicalSmithPresentation, AbelianPHeightOfEltProblem, AbelianComputeTorsionSubgroup, AbelianEltPowerSubgrComp, AbelianEltPowerSubgr, AbelianPowerProblem, AbelianSGInvariants, AbelianSGCyclicDecomposition, AbelianSGPrimes, AbelianSGPrimesDecomposition, AbelianSGOrder, AbelianMaximalRootComp, AbelianMaximalRoot, AbelianIsIsomorphicSG, AbelianTorsionFreeRankOfSG, AbelianOrderOfTheTorsionSubgroupOfSG, EltPrimeForm, virtualFreeComp, SubgroupIsolator, AbelianSGPurityProblem, AbelianSGGenedByWordPurityProblem, AbelianDoesGensSummand, AbelianSGEqualityProblem, IsAbelianWordPowerOfSecond, AbelianHomIsEpiComp, AbelianHomIsEpi, AbelianHomIsMonoComp, AbelianHomIsMono, AbelianHomIsAuto, AbelianHomIsIso, AbelianOrderOfAuto, AbelianInverseAuto, AbelianFixedPointsOfAutoProblem, AbelianSGIntersectionProblem, AbelianIntegralHomologyProblem, ACConjectureProblem, AGSupervisor, AreEltsEqual, FPConjugacyWrapper, MSCConjugacyWrapper, ConjugacyProblem, EqSystemInAbelianCM, EquationInAbelianCM, ExtendToHomProblem, FastComputation, FNWPCM, GAIsPartOfBasisCM, FreeIsPartOfBasis, FreeIsPartOfBasisProblem, FreeGeneralIsPartOfBasis, FreeGeneralIsPartOfBasisProblem, AutoInFreeIsFinite, SGOfFreeContainsConjugate, SGOfFreeConjugateTo, AutEnumerator, GAConjugacyForORGroup, GAEquationCM, TwoCommCM, GAWordForORGroup, GeneticWPCM, HNNofFreeIsFree, APofFreeIsFree, APofFreeIsPerfect, APofFreeHomologyProblem, HomologyProblem, HomologySupervisor, HToddCoxeter, HSGIndexToddCoxeter, IsAbelianProblem, IsEltCentral, IsFiniteProblem, ORIsFreeProblem, IsFreeProblem, IsNilpotentProblem, IsTrivialProblem, IsWordAPE, IsWordAPEProblem, KBSupervisor, KBProblem, FPNewPresentationProblem, FPImagePresentationCM, FPKernelPresentationCM, KBSupervisorCM, FPKernelPresentationProblem, MakeRandomPresentation, SGOfNGinitPreimageProblem, SGOfNGinitializeProblem, SGOfNGcomputeBasisProblem, SGOfNGDecomposeWordProblem, SGOfNGWordContain, SGOfNGWordContainProblem, SGOfNGcontainSubgroupProblem, SGOfNGequalSubgroupProblem, SGOfNGindexProblem, SGOfNGhirschNumberProblem, SGOfNGisNormalProblem, SGOfNGcomputeNClassProblem, SGOfNGbuildPresentationProblem, SGOfNGnormalClosureProblem, SGOfNGnormalClosureGensProblem, NGorderOfEltProblem, NGHirschNumberProblem, NGcomputeLCSQuotientsProblem, NGcomputeNClassProblem, NGisFreeNilpotentProblem, NGdecomposeWordProblem, NGisWordInCommutatorSGProblem, NGweightOfWordProblem, NGorderOfTorsionSubgroupProblem, NGbuildPresentationProblem, NGAutoIsIAAut, NGisCentralProblem, NGMaximalRootProblem, NGIsProperPower, NGInverseAuto, NGcentralizer, NGIsomorphismProblem, NilpotentWPInQuotients, NilpotentWP, NGcomputeBasis, NilpotentQuotients, NGcomputeBasisProblem, NGdecomposeWord, NormalClosure, ORExtendedWordProblemCM, ORExtendedWordProblem, OrderOfEltInQuotients, OrderOfElt, OrderProblem, EquationSolver, EquationRandomSolutions, EquationProblem, QuickEquationProblem, RankOfElement, RankOfElementProblem, RankOfSubgroup, RankOfSubgroupProblem, CommutatorRewriteProblem, SquareRewriteProblem, SCPinNilpotentQuotients, SGNilpotentQuotients, SubgroupContainment, SubgroupContainmentProblem, IsSGNormal, IsSGAbelian, IsSGCentral, IsSGNilpotent, IsSGTrivial, SGIndexProblem, ApproxMethod, TCMethod, SGPresentationProblem, SGRewriteWordProblem, ToddCoxeter, SGIndexToddCoxeter, SchreierTransversal, PermutationRepProblem, WordRepresentative, WordRepresentativeProblem, TTCM, TTProblem, FindWhiteheadMinimalProblem, ORWordProblemCM, and WordProblem.

Definition at line 156 of file ComputationManager.h.

void ComputationManager::readMessage ( istream & istr ) [protected, virtual]
 

Reimplemented from SMObject.

Reimplemented in Supervisor, and FastComputation.

void ComputationManager::resultIsFast ( ) [protected]
 

Referenced by FiniteAutoEnumeratorProblem::start(), and AutoEnumeratorProblem::start().

void ComputationManager::hireArcer ( ARCer * arcer ) [private]
 

void ComputationManager::terminateArcers ( ) [private]
 

void ComputationManager::setCrashState ( ) [private]
 


Friends And Related Function Documentation

friend class ARCer [friend]
 

Definition at line 49 of file ComputationManager.h.

friend class RelatorEnumeratorARCer [friend]
 

Definition at line 50 of file ComputationManager.h.

friend class ExternalARCer [friend]
 

Definition at line 51 of file ComputationManager.h.

friend class Supervisor [friend]
 

Definition at line 52 of file ComputationManager.h.


Member Data Documentation

ListOf<ARCer*> ComputationManager::theArcers [private]
 

Definition at line 182 of file ComputationManager.h.

SetOf<OID> ComputationManager::theClients [private]
 

Definition at line 184 of file ComputationManager.h.

bool ComputationManager::amFast [private]
 

Definition at line 186 of file ComputationManager.h.

bool ComputationManager::showMe [private]
 

Definition at line 188 of file ComputationManager.h.

State ComputationManager::theState [private]
 

Definition at line 190 of file ComputationManager.h.

bool ComputationManager::isCrashed [private]
 

Definition at line 192 of file ComputationManager.h.

bool ComputationManager::wasStalled [private]
 

Definition at line 195 of file ComputationManager.h.


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