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

SMFPGroup Class Reference

#include <SMFPGroup.h>

Inheritance diagram for SMFPGroup::

AlgebraicObject SMObject FEData List of all members.

Public Types

enum  Checkin_Type {

Public Methods

 SMFPGroup (const FPGroup &G, const Chars heritage, Checkin_Type t=FP, Chars def=Chars())
 SMFPGroup ()
FPGroup getFPGroup () const
FreeGroup getFreePreimage () const
GCMgcm () const
Checkin_Type getCheckinType () const
Chars getCheckinTypeStr () const
InformationCenterinfoCenter ()
const InformationCenterinfoCenter () const
const IconID iconID () const
const char* typeID () const
void viewStructure (ostream &ostr) const
void printProperties (ostream &ostr) const
void printDefinition (ostream &ostr) const

Public Attributes

GIC gic

Static Public Methods

const char* type ()
void printGlobalMessageTemplates (ostream &ostr)

Protected Methods

void readMessage (istream &)

Private Types

enum  MessageTag { GENS_MAP_REQUEST }

Private Attributes

const FPGroup theGroup
const FreeGroup theFreePreimage
Checkin_Type checkin_type
Chars definition

Member Enumeration Documentation

enum SMFPGroup::Checkin_Type

Enumeration values:

Definition at line 62 of file SMFPGroup.h.

enum SMFPGroup::MessageTag [private]

Enumeration values:

Definition at line 150 of file SMFPGroup.h.

Constructor & Destructor Documentation

SMFPGroup::SMFPGroup ( const FPGroup & G,
const Chars heritage,
Checkin_Type t = FP,
Chars def = Chars() )

SMFPGroup::SMFPGroup ( ) [inline]

Definition at line 76 of file SMFPGroup.h.

Member Function Documentation

FPGroup SMFPGroup::getFPGroup ( ) const [inline]

Definition at line 85 of file SMFPGroup.h.

Referenced by FiniteAutoEnumeratorProblem::start(), and AutoEnumeratorProblem::start().

FreeGroup SMFPGroup::getFreePreimage ( ) const [inline]

Definition at line 87 of file SMFPGroup.h.

Referenced by FiniteAutoEnumeratorProblem::resume(), AutoEnumeratorProblem::resume(), FiniteAutoEnumeratorProblem::start(), and AutoEnumeratorProblem::start().

GCM & SMFPGroup::gcm ( ) const [inline]

Definition at line 90 of file SMFPGroup.h.

Checkin_Type SMFPGroup::getCheckinType ( ) const [inline]

Definition at line 92 of file SMFPGroup.h.

Chars SMFPGroup::getCheckinTypeStr ( ) const

InformationCenter * SMFPGroup::infoCenter ( ) [inline, virtual]

Reimplemented from AlgebraicObject.

Definition at line 98 of file SMFPGroup.h.

const InformationCenter * SMFPGroup::infoCenter ( ) const [inline, virtual]

Reimplemented from AlgebraicObject.

Definition at line 99 of file SMFPGroup.h.

const char* SMFPGroup::type ( ) [inline, static]

Definition at line 107 of file SMFPGroup.h.

Referenced by typeID().

const IconID SMFPGroup::iconID ( ) const [inline, virtual]

Reimplemented from SMObject.

Definition at line 109 of file SMFPGroup.h.

const char * SMFPGroup::typeID ( ) const [inline, virtual]

Reimplemented from SMObject.

Definition at line 111 of file SMFPGroup.h.

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

Reimplemented from SMObject.

void SMFPGroup::printProperties ( ostream & ostr ) const [virtual]

Reimplemented from SMObject.

void SMFPGroup::printDefinition ( ostream & ostr ) const [virtual]

Reimplemented from SMObject.

void SMFPGroup::printGlobalMessageTemplates ( ostream & ostr ) [inline, static]

Definition at line 119 of file SMFPGroup.h.

void SMFPGroup::readMessage ( istream & istr ) [protected, virtual]

Reimplemented from SMObject.

Member Data Documentation

GIC SMFPGroup::gic

Definition at line 145 of file SMFPGroup.h.

GCM* SMFPGroup::theGCM [private]

Definition at line 154 of file SMFPGroup.h.

const FPGroup SMFPGroup::theGroup [private]

Definition at line 156 of file SMFPGroup.h.

const FreeGroup SMFPGroup::theFreePreimage [private]

Definition at line 158 of file SMFPGroup.h.

Checkin_Type SMFPGroup::checkin_type [private]

Definition at line 160 of file SMFPGroup.h.

Chars SMFPGroup::definition [private]

Definition at line 162 of file SMFPGroup.h.

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