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

ARCer Class Reference

#include <ARCer.h>

Inheritance diagram for ARCer::

AbelianEltPowerSubgrARCer AbelianFixedPointsOfAutoARCer AbelianIntegralHomologyARCer AbelianInvariantsARCer AbelianInvariantsOfSGARCer AbelianInverseAutoARCer AbelianMaximalRootARCer AbelianOrderOfAutoARCer AbelianPrimesARCer AbelianPrimesOfSGARCer AbelianSGIntersectionARCer AbelianSGPurityARCer ACConjectureARCer APofFreeHomologyArcer APofFreeIsFreeArcer ApproxMethodARCer ARCer2 AutEnumeratorARCer AutGroupARCer AutoInFreeIsFinitARCer CommutatorsCheckerARCer EnumeratorARCer EqSystemInAbelianARCer EquationRandomSolutionARCer EquationSolverARCer ExternalARCer FNWPArcer FPConjugacyARCer FPImagePresentationARCer FPKernelPresentationARCer FPNewPresentationARCer GAConjugacyForORGroupARCer GAEquationArcer GAFindWhiteheadMinimalArcer GAIsPartOfBasisArcer GAWordForORGroupARCer GeneticWPArcer HomologyARCer HToddCoxeterARCer IsAbelianWordPowerOfSecondArcer IsMapInListARCer IsSubgroupInListARCer IsWordAPEARCer IsWordInListARCer KBSupervisorARCer MapListExtractIAautoARCer MapListExtractInnerARCer MSCConjugacyARCer NGcentralizerARCer NGcomputeBasisARCer NGdecomposeWordARCer NGInverseAutoARCer NGisCentralARCer NGIsomorphismARCer NGMaximalRootARCer NGOrderOfEltProblemARCer NGPresentationARCer NGweightOfWordARCer NilpotentWPARCer OrderOfEltARCer ORExtendedWordProblemARCer ORIsFreeProblemARCer ORWordProblemARCer RandomPresentationARCer RankOfSubgroupARCer RewritesARCer RewriteWordARCer SCPNilpotentARCer SGListExtractMalnormalARCer SGListExtractNormalARCer SGListExtractOfIndexARCer SGListExtractOfRankARCer SGOfFreeConjugateToARCer SGOfFreeContainsConjugateARCer SGOfNGcomputeNClassARCer SGOfNGcontainSubgroupARCer SGOfNGDecomposeWordARCer SGOfNGindexARCer SGOfNGinitializeARCer SGofNGinitPreimageARCer SGOfNGinitPreimageARCer SGOfNGisNormalARCer SGOfNGnormalClosureARCer SGOfNGnormalClosureGensARCer SGOfNGPresentationARCer SGOfNGWordContainARCer SMListCommutatorsInFreeARCer SMListGeneticWPArcer SMListJoinARCer SMListProperPowerInFreeARCer SMListSGAbelianARCer SMListSGCentralARCer SMListSGTrivialARCer SMListWordIsCentralARCer SMListWPCheckARCer SMListWPPrinResultArcer SubgroupIsolatorARCer TCMethodARCer ToddCoxeterARCer TTArcer TwoCommArcer virtualFreeCompARCer WordRepresentativeARCer WordsOfLengthARCer List of all members.

Public Methods

 ARCer (ComputationManager &boss, const int delay=1)
bool isInterrupted ()
int getPid ()
int delay ()
virtual bool takeControl ()
virtual void terminate ()
virtual void runComputation ()=0
virtual void writeResults (ostream &)=0
virtual void readResults (istream &)=0

Public Attributes

Chars startDir

Protected Attributes

int pid
int theDelay
bool bInterrupted
ComputationManagertheBoss

Constructor & Destructor Documentation

ARCer::ARCer ( ComputationManager & boss,
const int delay = 1 )
 


Member Function Documentation

bool ARCer::isInterrupted ( ) [inline]
 

Definition at line 56 of file ARCer.h.

int ARCer::getPid ( ) [inline]
 

Definition at line 58 of file ARCer.h.

int ARCer::delay ( ) [inline]
 

Definition at line 60 of file ARCer.h.

virtual bool ARCer::takeControl ( ) [virtual]
 

Reimplemented in ExternalARCer, and ARCer2.

virtual void ARCer::terminate ( ) [virtual]
 

Reimplemented in ARCer2.

virtual void ARCer::runComputation ( ) [pure virtual]
 

Reimplemented in IsMapInListARCer, SMListProperPowerInFreeARCer, SMListCommutatorsInFreeARCer, SGListExtractOfRankARCer, SGListExtractNormalARCer, SGListExtractMalnormalARCer, MapListExtractIAautoARCer, MapListExtractInnerARCer, SMListJoinARCer, SMListSGTrivialARCer, SMListSGAbelianARCer, SMListSGCentralARCer, SMListGeneticWPArcer, SMListWPCheckARCer, SMListWPPrinResultArcer, SMListWordIsCentralARCer, IsSubgroupInListARCer, SGListExtractOfIndexARCer, IsWordInListARCer, WordsOfLengthARCer, ExternalARCer, EnumeratorARCer, AbelianInvariantsARCer, AbelianPrimesARCer, AbelianEltPowerSubgrARCer, AbelianInvariantsOfSGARCer, AbelianPrimesOfSGARCer, AbelianMaximalRootARCer, virtualFreeCompARCer, SubgroupIsolatorARCer, AbelianSGPurityARCer, IsAbelianWordPowerOfSecondArcer, AbelianOrderOfAutoARCer, AbelianInverseAutoARCer, AbelianFixedPointsOfAutoARCer, AbelianSGIntersectionARCer, AbelianIntegralHomologyARCer, ACConjectureARCer, AutGroupARCer, CommutatorsCheckerARCer, FPConjugacyARCer, MSCConjugacyARCer, EqSystemInAbelianARCer, FNWPArcer, GAIsPartOfBasisArcer, AutoInFreeIsFinitARCer, SGOfFreeContainsConjugateARCer, SGOfFreeConjugateToARCer, AutEnumeratorARCer, GAConjugacyForORGroupARCer, GAEquationArcer, TwoCommArcer, GAWordForORGroupARCer, GeneticWPArcer, APofFreeIsFreeArcer, APofFreeHomologyArcer, HomologyARCer, HToddCoxeterARCer, ORIsFreeProblemARCer, IsWordAPEARCer, KBSupervisorARCer, FPNewPresentationARCer, FPImagePresentationARCer, FPKernelPresentationARCer, RandomPresentationARCer, SGOfNGinitPreimageARCer, SGOfNGinitializeARCer, SGOfNGDecomposeWordARCer, SGOfNGWordContainARCer, SGOfNGcontainSubgroupARCer, SGOfNGindexARCer, SGOfNGisNormalARCer, SGOfNGcomputeNClassARCer, SGOfNGPresentationARCer, SGOfNGnormalClosureARCer, SGOfNGnormalClosureGensARCer, NGOrderOfEltProblemARCer, NGweightOfWordARCer, NGisCentralARCer, NGMaximalRootARCer, NGInverseAutoARCer, NGcentralizerARCer, NGIsomorphismARCer, NilpotentWPARCer, NGcomputeBasisARCer, NGPresentationARCer, NGdecomposeWordARCer, NormalClosureARCer, ORExtendedWordProblemARCer, OrderOfEltARCer, EquationSolverARCer, EquationRandomSolutionARCer, RankOfSubgroupARCer, RewritesARCer, SCPNilpotentARCer, SGofNGinitPreimageARCer, ApproxMethodARCer, TCMethodARCer, RewriteWordARCer, ToddCoxeterARCer, WordRepresentativeARCer, TTArcer, GAFindWhiteheadMinimalArcer, and ORWordProblemARCer.

virtual void ARCer::writeResults ( ostream & ostr ) [pure virtual]
 

Reimplemented in AutEnumeratorARCer2, IsMapInListARCer, SMListProperPowerInFreeARCer, SMListCommutatorsInFreeARCer, SGListExtractOfRankARCer, SGListExtractNormalARCer, SGListExtractMalnormalARCer, MapListExtractIAautoARCer, MapListExtractInnerARCer, HomEnumeratorARCer1, HomEnumeratorARCer2, SMListJoinARCer, ORConsequencesEnumeratorARCer, NCEnumerateTotalARCer, NCEnumerateRandomARCer, SGRelatorEnumeratorARCer, SMListSGTrivialARCer, SMListSGAbelianARCer, SMListSGCentralARCer, SMListGeneticWPArcer, SMListWPCheckARCer, SMListWPPrinResultArcer, SMListWordIsCentralARCer, SGEnumeratorARCer, IsSubgroupInListARCer, SGListExtractOfIndexARCer, WordEnumeratorARCer, IsWordInListARCer, WordsOfLengthARCer, ExternalARCer, AbelianInvariantsARCer, AbelianPrimesARCer, AbelianEltPowerSubgrARCer, AbelianInvariantsOfSGARCer, AbelianPrimesOfSGARCer, AbelianMaximalRootARCer, virtualFreeCompARCer, SubgroupIsolatorARCer, AbelianSGPurityARCer, IsAbelianWordPowerOfSecondArcer, AbelianOrderOfAutoARCer, AbelianInverseAutoARCer, AbelianFixedPointsOfAutoARCer, AbelianSGIntersectionARCer, AbelianIntegralHomologyARCer, ACConjectureARCer, AutGroupARCer, CommutatorsCheckerARCer, FPConjugacyARCer, MSCConjugacyARCer, EqSystemInAbelianARCer, FNWPArcer, GAIsPartOfBasisArcer, AutoInFreeIsFinitARCer, SGOfFreeContainsConjugateARCer, SGOfFreeConjugateToARCer, AutEnumeratorARCer, GAConjugacyForORGroupARCer, GAEquationArcer, TwoCommArcer, GAWordForORGroupARCer, GeneticWPArcer, APofFreeIsFreeArcer, APofFreeHomologyArcer, HomologyARCer, HToddCoxeterARCer, ORIsFreeProblemARCer, IsWordAPEARCer, KBSupervisorARCer, FPNewPresentationARCer, FPImagePresentationARCer, FPKernelPresentationARCer, RandomPresentationARCer, SGOfNGinitPreimageARCer, SGOfNGinitializeARCer, SGOfNGDecomposeWordARCer, SGOfNGWordContainARCer, SGOfNGcontainSubgroupARCer, SGOfNGindexARCer, SGOfNGisNormalARCer, SGOfNGcomputeNClassARCer, SGOfNGPresentationARCer, SGOfNGnormalClosureARCer, SGOfNGnormalClosureGensARCer, NGOrderOfEltProblemARCer, NGweightOfWordARCer, NGisCentralARCer, NGMaximalRootARCer, NGInverseAutoARCer, NGcentralizerARCer, NGIsomorphismARCer, NilpotentWPARCer, NGcomputeBasisARCer, NGPresentationARCer, NGdecomposeWordARCer, NormalClosureARCer, ORExtendedWordProblemARCer, OrderOfEltARCer, EquationSolverARCer, EquationRandomSolutionARCer, RankOfSubgroupARCer, RewritesARCer, SCPNilpotentARCer, SGofNGinitPreimageARCer, ApproxMethodARCer, TCMethodARCer, RewriteWordARCer, ToddCoxeterARCer, WordRepresentativeARCer, TTArcer, GAFindWhiteheadMinimalArcer, and ORWordProblemARCer.

virtual void ARCer::readResults ( istream & istr ) [pure virtual]
 

Reimplemented in AutEnumeratorARCer2, IsMapInListARCer, SMListProperPowerInFreeARCer, SMListCommutatorsInFreeARCer, SGListExtractOfRankARCer, SGListExtractNormalARCer, SGListExtractMalnormalARCer, MapListExtractIAautoARCer, MapListExtractInnerARCer, HomEnumeratorARCer1, HomEnumeratorARCer2, SMListJoinARCer, ORConsequencesEnumeratorARCer, NCEnumerateTotalARCer, NCEnumerateRandomARCer, SGRelatorEnumeratorARCer, SMListSGTrivialARCer, SMListSGAbelianARCer, SMListSGCentralARCer, SMListGeneticWPArcer, SMListWPCheckARCer, SMListWPPrinResultArcer, SMListWordIsCentralARCer, SGEnumeratorARCer, IsSubgroupInListARCer, SGListExtractOfIndexARCer, WordEnumeratorARCer, IsWordInListARCer, WordsOfLengthARCer, ExternalARCer, AbelianInvariantsARCer, AbelianPrimesARCer, AbelianEltPowerSubgrARCer, AbelianInvariantsOfSGARCer, AbelianPrimesOfSGARCer, AbelianMaximalRootARCer, virtualFreeCompARCer, SubgroupIsolatorARCer, AbelianSGPurityARCer, IsAbelianWordPowerOfSecondArcer, AbelianOrderOfAutoARCer, AbelianInverseAutoARCer, AbelianFixedPointsOfAutoARCer, AbelianSGIntersectionARCer, AbelianIntegralHomologyARCer, ACConjectureARCer, AutGroupARCer, CommutatorsCheckerARCer, FPConjugacyARCer, MSCConjugacyARCer, EqSystemInAbelianARCer, FNWPArcer, GAIsPartOfBasisArcer, AutoInFreeIsFinitARCer, SGOfFreeContainsConjugateARCer, SGOfFreeConjugateToARCer, AutEnumeratorARCer, GAConjugacyForORGroupARCer, GAEquationArcer, TwoCommArcer, GAWordForORGroupARCer, GeneticWPArcer, APofFreeIsFreeArcer, APofFreeHomologyArcer, HomologyARCer, HToddCoxeterARCer, ORIsFreeProblemARCer, IsWordAPEARCer, KBSupervisorARCer, FPNewPresentationARCer, FPImagePresentationARCer, FPKernelPresentationARCer, RandomPresentationARCer, SGOfNGinitPreimageARCer, SGOfNGinitializeARCer, SGOfNGDecomposeWordARCer, SGOfNGWordContainARCer, SGOfNGcontainSubgroupARCer, SGOfNGindexARCer, SGOfNGisNormalARCer, SGOfNGcomputeNClassARCer, SGOfNGPresentationARCer, SGOfNGnormalClosureARCer, SGOfNGnormalClosureGensARCer, NGOrderOfEltProblemARCer, NGweightOfWordARCer, NGisCentralARCer, NGMaximalRootARCer, NGInverseAutoARCer, NGcentralizerARCer, NGIsomorphismARCer, NilpotentWPARCer, NGcomputeBasisARCer, NGPresentationARCer, NGdecomposeWordARCer, NormalClosureARCer, ORExtendedWordProblemARCer, OrderOfEltARCer, EquationSolverARCer, EquationRandomSolutionARCer, RankOfSubgroupARCer, RewritesARCer, SCPNilpotentARCer, SGofNGinitPreimageARCer, ApproxMethodARCer, TCMethodARCer, RewriteWordARCer, ToddCoxeterARCer, WordRepresentativeARCer, TTArcer, GAFindWhiteheadMinimalArcer, and ORWordProblemARCer.


Member Data Documentation

Chars ARCer::startDir
 

Definition at line 86 of file ARCer.h.

int ARCer::pid [protected]
 

Definition at line 90 of file ARCer.h.

int ARCer::theDelay [protected]
 

Definition at line 91 of file ARCer.h.

bool ARCer::bInterrupted [protected]
 

Definition at line 92 of file ARCer.h.

ComputationManager& ARCer::theBoss [protected]
 

Definition at line 93 of file ARCer.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