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

GenericProperty Class Reference

#include <Property.h>

Inheritance diagram for GenericProperty::

GenericComplexProperty GenericSimpleProperty GenericUnstorableProperty ComplexProperty SimpleProperty UnstorableProperty AbelianGroupProperty AbelianSGPresentationProperty DecomposeInSubgroupOfFPGroupProperty DiffMachineProperty GroupDFSAProperty ListOfAutomorphismProperty ListOfEndomorphismProperty NilpGroupAssocProperty NilpotentGroupProperty PermutationRepresentationProperty SGNilpGroupAssocProperty SGOfNilpotentGroupProperty SubgroupGraphProperty AmalgProductOfFreeGroupsProperty BoolProperty FPGroupProperty FreeByCyclicProperty FreeGroupProperty HNNExtOfFreeGroupProperty IntegerProperty IntProperty MapProperty MSCGroupProperty NoDataProperty PolyWordProperty SMFPCheckinTypeProperty WordProperty KBMachineProperty List of all members.

Public Methods

 GenericProperty (const Chars &descr)
virtual ~GenericProperty ()
virtual PropertyType actualType () const=0
virtual Chars propertyName () const=0
virtual void putProperty (GenericProperty *property)=0
Chars getDescription () const
virtual bool isStorable () const
virtual void read (istream &istr, bool extraDetails=false)=0
virtual void write (ostream &ostr, bool extraDetails, const Chars &extrasDetailsFileName) const=0

Protected Methods

virtual GenericProperty* clone () const=0
virtual void readFrom (istream &istr)
virtual void writeTo (ostream &ostr) const

Static Protected Methods

PropertyType unique ()

Private Attributes

Chars theDescription

Static Private Attributes

PropertyType theTypeCounter

Friends

class  PropertiesCollection
class  PropertiesManager
istream& operator>> (istream &istr, GenericProperty &p)
ostream& operator<< (ostream &ostr, const GenericProperty &p)

Constructor & Destructor Documentation

GenericProperty::GenericProperty ( const Chars & descr ) [inline]
 

Definition at line 216 of file Property.h.

GenericProperty::~GenericProperty ( ) [inline, virtual]
 

Definition at line 218 of file Property.h.


Member Function Documentation

virtual PropertyType GenericProperty::actualType ( ) const [pure virtual]
 

Reimplemented in GroupOrderProperty, SolvedWordProblemProperty, FastWordProblemProperty, CompleteCayleyGraphProperty, ConfluentKBMachineProperty, IsAutomaticProperty, Automatic_GroupDFSAProperty, Automatic_DiffMachineProperty, OneRelatorProperty, OneRelatorWithTorsionProperty, AbelianPresentationProperty, IsAbelianProperty, IsFreeProperty, IsFiniteProperty, NilpotencyClassProperty, NilpotentQuotientsProperty, IsFreeNilpotentProperty, ActualNilpotencyClassProperty, IsFreeByCyclicProperty, MSCProperty, MSCLambdaProperty, APofFreeProperty, HNNofFreeProperty, SchreierTransversalProperty, WordDecomposerProperty, HomIsMonoProperty, HomIsEpiProperty, ExtendToHomProperty, AllBasicSolutionsProperty, AllRegStabGeneratorsProperty, BasicSolutionsProperty, RegStabGeneratorsProperty, CyclicDecompositionOfFactorProperty, AbelianSubgroupPresentationProperty, IsPureSubgroupProperty, IsCentralSubgroupProperty, IsNormalSubgroupProperty, IsAbelianSubgroupProperty, IsTrivialSubgroupProperty, IndexOfSubgroupProperty, SGNilpotentQuotientsProperty, SubgroupOfNilpotentGroupProperty, IsTrivialProperty, WordOrderProperty, MaximalRootProperty, MaximalPowerProperty, and CollectedFormProperty.

Referenced by ComplexProperty::putProperty(), SimpleProperty::putProperty(), and UnstorableProperty::putProperty().

virtual Chars GenericProperty::propertyName ( ) const [pure virtual]
 

Reimplemented in GroupOrderProperty, SolvedWordProblemProperty, FastWordProblemProperty, CompleteCayleyGraphProperty, ConfluentKBMachineProperty, IsAutomaticProperty, Automatic_GroupDFSAProperty, Automatic_DiffMachineProperty, OneRelatorProperty, OneRelatorWithTorsionProperty, AbelianPresentationProperty, IsAbelianProperty, IsFreeProperty, IsFiniteProperty, NilpotencyClassProperty, NilpotentQuotientsProperty, IsFreeNilpotentProperty, ActualNilpotencyClassProperty, IsFreeByCyclicProperty, MSCProperty, MSCLambdaProperty, APofFreeProperty, HNNofFreeProperty, SchreierTransversalProperty, WordDecomposerProperty, HomIsMonoProperty, HomIsEpiProperty, ExtendToHomProperty, AllBasicSolutionsProperty, AllRegStabGeneratorsProperty, BasicSolutionsProperty, RegStabGeneratorsProperty, CyclicDecompositionOfFactorProperty, AbelianSubgroupPresentationProperty, IsPureSubgroupProperty, IsCentralSubgroupProperty, IsNormalSubgroupProperty, IsAbelianSubgroupProperty, IsTrivialSubgroupProperty, IndexOfSubgroupProperty, SGNilpotentQuotientsProperty, SubgroupOfNilpotentGroupProperty, IsTrivialProperty, WordOrderProperty, MaximalRootProperty, MaximalPowerProperty, and CollectedFormProperty.

virtual void GenericProperty::putProperty ( GenericProperty * property ) [pure virtual]
 

Reimplemented in UnstorableProperty, SimpleProperty, and ComplexProperty.

Chars GenericProperty::getDescription ( ) const [inline]
 

Definition at line 223 of file Property.h.

bool GenericProperty::isStorable ( ) const [inline, virtual]
 

Reimplemented in GenericUnstorableProperty.

Definition at line 225 of file Property.h.

virtual void GenericProperty::read ( istream & istr,
bool extraDetails = false ) [pure virtual]
 

Reimplemented in GenericUnstorableProperty, GenericSimpleProperty, and GenericComplexProperty.

Referenced by operator>>().

virtual void GenericProperty::write ( ostream & ostr,
bool extraDetails,
const Chars & extrasDetailsFileName ) const [pure virtual]
 

Reimplemented in GenericUnstorableProperty, GenericSimpleProperty, and GenericComplexProperty.

Referenced by operator<<().

virtual GenericProperty* GenericProperty::clone ( ) const [protected, pure virtual]
 

Reimplemented in GroupOrderProperty, SolvedWordProblemProperty, FastWordProblemProperty, CompleteCayleyGraphProperty, ConfluentKBMachineProperty, IsAutomaticProperty, Automatic_GroupDFSAProperty, Automatic_DiffMachineProperty, OneRelatorProperty, OneRelatorWithTorsionProperty, AbelianPresentationProperty, IsAbelianProperty, IsFreeProperty, IsFiniteProperty, NilpotencyClassProperty, NilpotentQuotientsProperty, IsFreeNilpotentProperty, ActualNilpotencyClassProperty, IsFreeByCyclicProperty, MSCProperty, MSCLambdaProperty, APofFreeProperty, HNNofFreeProperty, SchreierTransversalProperty, WordDecomposerProperty, HomIsMonoProperty, HomIsEpiProperty, ExtendToHomProperty, AllBasicSolutionsProperty, AllRegStabGeneratorsProperty, BasicSolutionsProperty, RegStabGeneratorsProperty, CyclicDecompositionOfFactorProperty, AbelianSubgroupPresentationProperty, IsPureSubgroupProperty, IsCentralSubgroupProperty, IsNormalSubgroupProperty, IsAbelianSubgroupProperty, IsTrivialSubgroupProperty, IndexOfSubgroupProperty, SGNilpotentQuotientsProperty, SubgroupOfNilpotentGroupProperty, IsTrivialProperty, WordOrderProperty, MaximalRootProperty, MaximalPowerProperty, and CollectedFormProperty.

virtual void GenericProperty::readFrom ( istream & istr ) [protected, virtual]
 

Reimplemented in WordProperty, PolyWordProperty, AbelianGroupProperty, NilpotentGroupProperty, NilpGroupAssocProperty, SubgroupGraphProperty, PermutationRepresentationProperty, GroupDFSAProperty, DiffMachineProperty, DecomposeInSubgroupOfFPGroupProperty, ListOfEndomorphismProperty, ListOfAutomorphismProperty, AbelianSGPresentationProperty, SGOfNilpotentGroupProperty, SGNilpGroupAssocProperty, UnstorableProperty, and SimpleProperty.

virtual void GenericProperty::writeTo ( ostream & ostr ) const [protected, virtual]
 

Reimplemented in WordProperty, PolyWordProperty, AbelianGroupProperty, NilpGroupAssocProperty, SubgroupGraphProperty, PermutationRepresentationProperty, GroupDFSAProperty, DiffMachineProperty, DecomposeInSubgroupOfFPGroupProperty, ListOfEndomorphismProperty, ListOfAutomorphismProperty, AbelianSGPresentationProperty, SGOfNilpotentGroupProperty, SGNilpGroupAssocProperty, UnstorableProperty, and SimpleProperty.

PropertyType GenericProperty::unique ( ) [static, protected]
 


Friends And Related Function Documentation

friend class PropertiesCollection [friend]
 

Definition at line 244 of file Property.h.

friend class PropertiesManager [friend]
 

Definition at line 245 of file Property.h.

istream & operator>> ( istream & istr,
GenericProperty & p ) [friend]
 

Definition at line 228 of file Property.h.

ostream & operator<< ( ostream & ostr,
const GenericProperty & p ) [friend]
 

Definition at line 233 of file Property.h.


Member Data Documentation

PropertyType GenericProperty::theTypeCounter [static, private]
 

Definition at line 254 of file Property.h.

Chars GenericProperty::theDescription [private]
 

Definition at line 256 of file Property.h.


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