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

SquareRewriteProblem Class Reference

#include <Rewrites.h>

Inheritance diagram for SquareRewriteProblem::

ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 SquareRewriteProblem (SMWord &w)
void viewStructure (ostream &ostr) const
void takeControl ()
void start ()
void terminate ()

Private Attributes

RewritesARCer arcer

Constructor & Destructor Documentation

SquareRewriteProblem::SquareRewriteProblem ( SMWord & w )

Member Function Documentation

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

Reimplemented from ComputationManager.

void SquareRewriteProblem::takeControl ( ) [virtual]

Reimplemented from ComputationManager.

void SquareRewriteProblem::start ( ) [inline, virtual]

Reimplemented from ComputationManager.

Definition at line 192 of file Rewrites.h.

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

Reimplemented from ComputationManager.

Definition at line 194 of file Rewrites.h.

Member Data Documentation

SMWord& SquareRewriteProblem::theWord [private]

Definition at line 205 of file Rewrites.h.

RewritesARCer SquareRewriteProblem::arcer [private]

Definition at line 206 of file Rewrites.h.

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