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

KBSupervisorARCer Class Reference

#include <KBModule.h>

Inheritance diagram for KBSupervisorARCer::

ARCer List of all members.

Public Methods

 KBSupervisorARCer (ComputationManager &boss)
void setArguments (const FPGroup &)
KBMachine getKBMachine ()
void runComputation ()
void writeResults (ostream &)
void readResults (istream &)

Private Attributes

FPGroup G
RKBPackageRKBP
KBMachine KBM

Constructor & Destructor Documentation

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

Definition at line 48 of file KBModule.h.


Member Function Documentation

void KBSupervisorARCer::setArguments ( const FPGroup & )
 

KBMachine KBSupervisorARCer::getKBMachine ( ) [inline]
 

Definition at line 62 of file KBModule.h.

void KBSupervisorARCer::runComputation ( ) [virtual]
 

Reimplemented from ARCer.

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

Reimplemented from ARCer.

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

Reimplemented from ARCer.


Member Data Documentation

FPGroup KBSupervisorARCer::G [private]
 

Definition at line 86 of file KBModule.h.

RKBPackage* KBSupervisorARCer::RKBP [private]
 

Definition at line 88 of file KBModule.h.

KBMachine KBSupervisorARCer::KBM [private]
 

Definition at line 91 of file KBModule.h.


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