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

NormalClosureARCer Class Reference

#include <NormalClosure.h>

Inheritance diagram for NormalClosureARCer::

ARCer2 ARCer List of all members.

Public Methods

 NormalClosureARCer (ComputationManager &boss)
 ~NormalClosureARCer ()
void setArguments (const FPGroup &, const VectorOf< Word > &sgens)
class DecomposeInSubgroupOfFPGroupgetDecomposer () const
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)
bool readResults2 (istream &)

Private Attributes

class DecomposeInSubgroupOfFPGrouptheDecomposer
class DecomposeInSubgroupOfFPGrouptempDecomposer

Constructor & Destructor Documentation

NormalClosureARCer::NormalClosureARCer ( ComputationManager & boss )

NormalClosureARCer::~NormalClosureARCer ( )

Member Function Documentation

void NormalClosureARCer::setArguments ( const FPGroup &,
const VectorOf< Word > & sgens )

class DecomposeInSubgroupOfFPGroup & NormalClosureARCer::getDecomposer ( ) const [inline]

Definition at line 55 of file NormalClosure.h.

void NormalClosureARCer::runComputation ( ) [virtual]

Reimplemented from ARCer.

void NormalClosureARCer::writeResults ( ostream & ostr ) [virtual]

Reimplemented from ARCer.

void NormalClosureARCer::readResults ( istream & istr ) [inline, virtual]

Reimplemented from ARCer.

Definition at line 70 of file NormalClosure.h.

bool NormalClosureARCer::readResults2 ( istream & ) [virtual]

Reimplemented from ARCer2.

Member Data Documentation

class DecomposeInSubgroupOfFPGroup* NormalClosureARCer::theDecomposer [private]

Definition at line 83 of file NormalClosure.h.

class DecomposeInSubgroupOfFPGroup* NormalClosureARCer::tempDecomposer [private]

Definition at line 84 of file NormalClosure.h.

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