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

FPNewPresentationARCer Class Reference

#include <KernelPresentation.h>

Inheritance diagram for FPNewPresentationARCer::

ARCer List of all members.

Public Methods

 FPNewPresentationARCer (ComputationManager &boss)
void setArguments (const KBMachine &kb, const FPGroup &g, const VectorOf< Word > &y)
FPGroup getRetValue ()
bool doesntGenerate ()
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)

Private Attributes

NewPresentation N
FPGroup G
VectorOf<WordnewGens
bool dntg
FPGroup retValue

Constructor & Destructor Documentation

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

Definition at line 50 of file KernelPresentation.h.


Member Function Documentation

void FPNewPresentationARCer::setArguments ( const KBMachine & kb,
const FPGroup & g,
const VectorOf< Word > & y )
 

FPGroup FPNewPresentationARCer::getRetValue ( ) [inline]
 

Definition at line 65 of file KernelPresentation.h.

bool FPNewPresentationARCer::doesntGenerate ( ) [inline]
 

Definition at line 67 of file KernelPresentation.h.

void FPNewPresentationARCer::runComputation ( ) [virtual]
 

Reimplemented from ARCer.

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

Reimplemented from ARCer.

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

Reimplemented from ARCer.


Member Data Documentation

NewPresentation FPNewPresentationARCer::N [private]
 

Definition at line 94 of file KernelPresentation.h.

FPGroup FPNewPresentationARCer::G [private]
 

Definition at line 95 of file KernelPresentation.h.

VectorOf<Word> FPNewPresentationARCer::newGens [private]
 

Definition at line 96 of file KernelPresentation.h.

bool FPNewPresentationARCer::dntg [private]
 

Definition at line 97 of file KernelPresentation.h.

FPGroup FPNewPresentationARCer::retValue [private]
 

Definition at line 99 of file KernelPresentation.h.


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