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

AutoInFreeIsFinitARCer Class Reference

#include <FreeProblems.h>

Inheritance diagram for AutoInFreeIsFinitARCer::

ARCer List of all members.

Public Methods

 AutoInFreeIsFinitARCer (ComputationManager &boss)
 ~AutoInFreeIsFinitARCer ()
void setArguments (const Map &map, const FreeGroup &group)
Trichotomy getRetValue () const
int getOrder () const
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)

Private Attributes

FreeGroup theGroup
MaptheMap
Trichotomy retValue
int theOrder

Constructor & Destructor Documentation

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

Definition at line 42 of file FreeProblems.h.

AutoInFreeIsFinitARCer::~AutoInFreeIsFinitARCer ( ) [inline]
 

Definition at line 45 of file FreeProblems.h.


Member Function Documentation

void AutoInFreeIsFinitARCer::setArguments ( const Map & map,
const FreeGroup & group )
 

Trichotomy AutoInFreeIsFinitARCer::getRetValue ( ) const [inline]
 

Definition at line 55 of file FreeProblems.h.

int AutoInFreeIsFinitARCer::getOrder ( ) const [inline]
 

Definition at line 56 of file FreeProblems.h.

void AutoInFreeIsFinitARCer::runComputation ( ) [virtual]
 

Reimplemented from ARCer.

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

Reimplemented from ARCer.

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

Reimplemented from ARCer.


Member Data Documentation

FreeGroup AutoInFreeIsFinitARCer::theGroup [private]
 

Definition at line 83 of file FreeProblems.h.

Map* AutoInFreeIsFinitARCer::theMap [private]
 

Definition at line 84 of file FreeProblems.h.

Trichotomy AutoInFreeIsFinitARCer::retValue [private]
 

Definition at line 86 of file FreeProblems.h.

int AutoInFreeIsFinitARCer::theOrder [private]
 

Definition at line 87 of file FreeProblems.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