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

/magnus/back_end/SMApps/include/IsFiniteProblem.h

Go to the documentation of this file.
00001 // Copyright (C) 1996 The New York Group Theory Cooperative
00002 // See magnus/doc/COPYRIGHT for the full notice.
00003 //
00004 // Contents: Declaration of class IsFiniteProblem
00005 //
00006 // Principal Author: Dmitry Bormotov
00007 //
00008 // Status: in progress
00009 //
00010 // Revision History:
00011 //
00012 
00013 
00014 #ifndef _IS_FINITE_PROBLEM_H_
00015 #define _IS_FINITE_PROBLEM_H_
00016 
00017 
00018 #include "Supervisor.h"
00019 #include "SMFPGroup.h"
00020 
00021 
00022 // ------------------------- IsFiniteProblem ------------------------------- //
00023 
00024 
00025 class IsFiniteProblem : public Supervisor
00026 {
00027 public:
00028 
00029   /////////////////////////////////////////////////////////////////////////
00030   //                                                                     //
00031   // Constructors:                                                       //
00032   //                                                                     //
00033   /////////////////////////////////////////////////////////////////////////
00034 
00035   IsFiniteProblem( SMFPGroup& );
00036 
00037   /////////////////////////////////////////////////////////////////////////
00038   //                                                                     //
00039   // Front End Interfacing:                                              //
00040   //                                                                     //
00041   /////////////////////////////////////////////////////////////////////////
00042 
00043   void viewStructure(ostream& ostr) const;  // overrides SMObject
00044 
00045   /////////////////////////////////////////////////////////////////////////
00046   //                                                                     //
00047   // Control:                                                            //
00048   //                                                                     //
00049   /////////////////////////////////////////////////////////////////////////
00050 
00051   void takeControl( );         // overrides ComputationManager
00052 
00053   /////////////////////////////////////////////////////////////////////////
00054   //                                                                     //
00055   // State Transitions:                                                  //
00056   //                                                                     //
00057   /////////////////////////////////////////////////////////////////////////
00058 
00059   void start( );              // overrides ComputationManager
00060 
00061   void terminate( );          // overrides ComputationManager
00062 
00063 
00064 private:
00065 
00066   /////////////////////////////////////////////////////////////////////////
00067   //                                                                     //
00068   // Data Members:                                                       //
00069   //                                                                     //
00070   /////////////////////////////////////////////////////////////////////////
00071 
00072   SMFPGroup& theGroup;
00073   
00074 
00075   // GCM components this uses; only for automatic ARC passing:
00076 
00077   MirrorSubordinate abelianRank;
00078 
00079   MirrorSubordinate kbSupervisor;
00080 
00081   MirrorSubordinate agSupervisor;
00082   
00083   MirrorSubordinate theToddCoxeter;
00084 
00085   MirrorSubordinate ghToddCoxeter;
00086 
00087 };
00088 
00089 #endif

Generated at Tue Jun 19 09:49:41 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001