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

ACConjectureProblem Class Reference

#include <ACConjecture.h>

Inheritance diagram for ACConjectureProblem::

Supervisor ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 ACConjectureProblem (const class SMVectorOfWords &)
void viewStructure (ostream &ostr) const
void takeControl ()
void start ()
void terminate ()

Private Attributes

const SMVectorOfWordstheTuple
bool linkHasBeenSent
ACConjectureARCer arcer

Constructor & Destructor Documentation

ACConjectureProblem::ACConjectureProblem ( const class SMVectorOfWords & )
 


Member Function Documentation

void ACConjectureProblem::viewStructure ( ostream & ostr ) const [virtual]
 

Reimplemented from ComputationManager.

void ACConjectureProblem::takeControl ( ) [virtual]
 

Reimplemented from ComputationManager.

void ACConjectureProblem::start ( ) [virtual]
 

Reimplemented from ComputationManager.

void ACConjectureProblem::terminate ( ) [inline, virtual]
 

Reimplemented from ComputationManager.

Definition at line 144 of file ACConjecture.h.


Member Data Documentation

const SMVectorOfWords& ACConjectureProblem::theTuple [private]
 

Definition at line 155 of file ACConjecture.h.

bool ACConjectureProblem::linkHasBeenSent [private]
 

Definition at line 157 of file ACConjecture.h.

ACConjectureARCer ACConjectureProblem::arcer [private]
 

Definition at line 166 of file ACConjecture.h.


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