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

/magnus/back_end/Group/include/TTP.h

Go to the documentation of this file.
00001 /*
00002  *   $Id: TTP.h,v 1.1 1997/05/15 20:32:40 bormotov Exp $
00003  */
00004 
00005 // Copyright (C) 1997 The New York Group Theory Cooperative
00006 // See magnus/doc/COPYRIGHT for the full notice.
00007 //
00008 // Contents: Definition of class TTP (Tietze Transformation Package)
00009 //
00010 // Principal Author: Dmitry Bormotov
00011 //
00012 // Status: provisional implementation
00013 //
00014 // Usage: 
00015 //
00016 // Revision History:
00017 //
00018 
00019 #ifndef _TTP_H_
00020 #define _TTP_H_
00021 
00022 
00023 #include "File.h"
00024 #include "FPGroup.h"
00025 
00026 
00027 // -------------------------------- TTP ------------------------------------ //
00028 
00029 
00030 class TTP {
00031 
00032 public:
00033 
00034   /////////////////////////////////////////////////////////////////////////
00035   //                                                                     //
00036   // Constructors:                                                       //
00037   //                                                                     //
00038   /////////////////////////////////////////////////////////////////////////
00039 
00040   TTP( const FPGroup& G ) : theGroup( G ) { }
00041   
00042 
00043   /////////////////////////////////////////////////////////////////////////
00044   //                                                                     //
00045   // Accessors:                                                          //
00046   //                                                                     //
00047   /////////////////////////////////////////////////////////////////////////
00048 
00049   Chars getFileName( ) const { return file.getFileName(); }
00050   // returns the name of the presentation file
00051 
00052   bool run( ) const;
00053   // Enumerates Tietze transformations and writes corresponding
00054   // presentations to a file.  TIME CONSUMING ALGORITHM, in fact, it
00055   // never stops unless there is an error, in that case it returns false.
00056 
00057   
00058 private:
00059  
00060   /////////////////////////////////////////////////////////////////////////
00061   //                                                                     //
00062   // Data Members:                                                       //
00063   //                                                                     //
00064   /////////////////////////////////////////////////////////////////////////
00065   
00066   FPGroup theGroup; // original presentation
00067   File file;        // the list of alternative presentations
00068 };
00069 
00070 #endif
00071 

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