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

CommutatorRewriteProblem Class Reference

#include <Rewrites.h>

Inheritance diagram for CommutatorRewriteProblem::

ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

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

Private Attributes

RewritesARCer arcer

Constructor & Destructor Documentation

CommutatorRewriteProblem::CommutatorRewriteProblem ( SMWord & w )

Member Function Documentation

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

Reimplemented from ComputationManager.

void CommutatorRewriteProblem::takeControl ( ) [virtual]

Reimplemented from ComputationManager.

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

Reimplemented from ComputationManager.

Definition at line 138 of file Rewrites.h.

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

Reimplemented from ComputationManager.

Definition at line 140 of file Rewrites.h.

Member Data Documentation

SMWord& CommutatorRewriteProblem::theWord [private]

Definition at line 151 of file Rewrites.h.

RewritesARCer CommutatorRewriteProblem::arcer [private]

Definition at line 152 of file Rewrites.h.

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