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

FPKernelPresentationARCer Class Reference

#include <KernelPresentation.h>

Inheritance diagram for FPKernelPresentationARCer::

ARCer List of all members.

Public Methods

 FPKernelPresentationARCer (ComputationManager &boss)
void setArguments (const KBMachine &kb, const FPGroup &preimage, const FPGroup &image, const VectorOf< Word > &y)
FPGroup getRetValue ()
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)

Private Attributes

KernelOfHom K
FPGroup retValue

Constructor & Destructor Documentation

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

Definition at line 304 of file KernelPresentation.h.

Member Function Documentation

void FPKernelPresentationARCer::setArguments ( const KBMachine & kb,
const FPGroup & preimage,
const FPGroup & image,
const VectorOf< Word > & y )

FPGroup FPKernelPresentationARCer::getRetValue ( ) [inline]

Definition at line 317 of file KernelPresentation.h.

void FPKernelPresentationARCer::runComputation ( ) [virtual]

Reimplemented from ARCer.

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

Reimplemented from ARCer.

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

Reimplemented from ARCer.

Member Data Documentation

KernelOfHom FPKernelPresentationARCer::K [private]

Definition at line 344 of file KernelPresentation.h.

FPGroup FPKernelPresentationARCer::retValue [private]

Definition at line 346 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