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

AutGroupARCer Class Reference

#include <AGModule.h>

Inheritance diagram for AutGroupARCer::

ARCer List of all members.

Public Methods

 AutGroupARCer (ComputationManager &boss)
void setArguments (const FPGroup)
Trichotomy isAutomatic ()
DiffMachine getDiffMachine1 ()
DiffMachine getDiffMachine2 ()
GroupDFSA getWordAcceptor ()
GenMult getGeneralMultiplier ()
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)

Private Attributes

FPGroup G
Trichotomy retValue
DiffMachine DM1
DiffMachine DM2
GenMult GM

Constructor & Destructor Documentation

AutGroupARCer::AutGroupARCer ( ComputationManager & boss ) [inline]

Definition at line 42 of file AGModule.h.

Member Function Documentation

void AutGroupARCer::setArguments ( const FPGroup )

Trichotomy AutGroupARCer::isAutomatic ( ) [inline]

Definition at line 58 of file AGModule.h.

DiffMachine AutGroupARCer::getDiffMachine1 ( )

DiffMachine AutGroupARCer::getDiffMachine2 ( )

GroupDFSA AutGroupARCer::getWordAcceptor ( )

GenMult AutGroupARCer::getGeneralMultiplier ( )

void AutGroupARCer::runComputation ( ) [virtual]

Reimplemented from ARCer.

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

Reimplemented from ARCer.

void AutGroupARCer::readResults ( istream & istr ) [virtual]

Reimplemented from ARCer.

Member Data Documentation

FPGroup AutGroupARCer::G [private]

Definition at line 90 of file AGModule.h.

Trichotomy AutGroupARCer::retValue [private]

Definition at line 92 of file AGModule.h.

DiffMachine AutGroupARCer::DM1 [private]

Definition at line 94 of file AGModule.h.

DiffMachine AutGroupARCer::DM2 [private]

Definition at line 94 of file AGModule.h.

GroupDFSA AutGroupARCer::WA [private]

Definition at line 96 of file AGModule.h.

GenMult AutGroupARCer::GM [private]

Definition at line 98 of file AGModule.h.

KBmagPackage* AutGroupARCer::KBM [private]

Definition at line 100 of file AGModule.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