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

ShortLexRep Class Reference

#include <WordOrderRep.h>

Inheritance diagram for ShortLexRep::

WordOrderRep RefCounter List of all members.

Public Methods

 ShortLexRep ()
 ShortLexRep (const VectorOf< int > &o)
 ShortLexRep (int numOfSymbols)
 ShortLexRep (const ShortLexRep &wsl)
WordOrderRepclone () const
int signature (const Word &w1, const Word &w2) const
int signature (int i, int j) const
int signature (Generator g, Generator h) const
void balancedEquationFromRelator (const Word &w, Word &lhs, Word &rhs) const
int historyBound (const VectorOf< Word > &diffs) const
DiffHistoryRepbuildDiffHistoryRep () const
DiffHistoryRepbuildDiffHistoryRep (State d, int g, int h) const
DiffHistoryRepupdate (const DiffHistoryRep &dh, State d, int g, int h, const Word &wd) const
Bool reduction (const DiffHistoryRep &dh, int g, int h) const
Bool possibleReduction (const AheadInfoRep &ai, int g) const
AheadInfoRepupdate (const AheadInfoRep &ai, int g) const
DiffHistoryVtxRepbuildDiffHistoryVtxRep () const
DiffHistoryVtxRepbuildDiffHistoryVtxRep (State d, int g, int h) const
DiffHistoryVtxRepupdate (const DiffHistoryVtxRep &dh, State d, int g, int h, DiffHistoryVtx *ptr) const
Bool reduction (const DiffHistoryVtxRep &dh, int g, int h) const
Bool possibleReduction (const DiffHistoryVtxRep &dh, int g) const
int getWeight (int i) const
int getWeight (Generator g) const
int getWeight (const Word &w) const

Constructor & Destructor Documentation

ShortLexRep::ShortLexRep ( ) [inline]
 

Definition at line 190 of file WordOrderRep.h.

Referenced by clone().

ShortLexRep::ShortLexRep ( const VectorOf< int > & o ) [inline]
 

Definition at line 192 of file WordOrderRep.h.

ShortLexRep::ShortLexRep ( int numOfSymbols ) [inline]
 

Definition at line 194 of file WordOrderRep.h.

ShortLexRep::ShortLexRep ( const ShortLexRep & wsl ) [inline]
 

Definition at line 197 of file WordOrderRep.h.


Member Function Documentation

WordOrderRep * ShortLexRep::clone ( ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 200 of file WordOrderRep.h.

int ShortLexRep::signature ( const Word & w1,
const Word & w2 ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 202 of file WordOrderRep.h.

int ShortLexRep::signature ( int i,
int j ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 216 of file WordOrderRep.h.

int ShortLexRep::signature ( Generator g,
Generator h ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 222 of file WordOrderRep.h.

void ShortLexRep::balancedEquationFromRelator ( const Word & w,
Word & lhs,
Word & rhs ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 226 of file WordOrderRep.h.

int ShortLexRep::historyBound ( const VectorOf< Word > & diffs ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 255 of file WordOrderRep.h.

DiffHistoryRep * ShortLexRep::buildDiffHistoryRep ( ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 257 of file WordOrderRep.h.

DiffHistoryRep * ShortLexRep::buildDiffHistoryRep ( State d,
int g,
int h ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 262 of file WordOrderRep.h.

DiffHistoryRep * ShortLexRep::update ( const DiffHistoryRep & dh,
State d,
int g,
int h,
const Word & wd ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 280 of file WordOrderRep.h.

Bool ShortLexRep::reduction ( const DiffHistoryRep & dh,
int g,
int h ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 300 of file WordOrderRep.h.

Bool ShortLexRep::possibleReduction ( const AheadInfoRep & ai,
int g ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 309 of file WordOrderRep.h.

AheadInfoRep * ShortLexRep::update ( const AheadInfoRep & ai,
int g ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 313 of file WordOrderRep.h.

DiffHistoryVtxRep * ShortLexRep::buildDiffHistoryVtxRep ( ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 320 of file WordOrderRep.h.

DiffHistoryVtxRep * ShortLexRep::buildDiffHistoryVtxRep ( State d,
int g,
int h ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 326 of file WordOrderRep.h.

DiffHistoryVtxRep * ShortLexRep::update ( const DiffHistoryVtxRep & dh,
State d,
int g,
int h,
DiffHistoryVtx * ptr ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 348 of file WordOrderRep.h.

Bool ShortLexRep::reduction ( const DiffHistoryVtxRep & dh,
int g,
int h ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 357 of file WordOrderRep.h.

Bool ShortLexRep::possibleReduction ( const DiffHistoryVtxRep & dh,
int g ) const [inline]
 

Definition at line 363 of file WordOrderRep.h.

int ShortLexRep::getWeight ( int i ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 368 of file WordOrderRep.h.

int ShortLexRep::getWeight ( Generator g ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 369 of file WordOrderRep.h.

int ShortLexRep::getWeight ( const Word & w ) const [inline, virtual]
 

Reimplemented from WordOrderRep.

Definition at line 370 of file WordOrderRep.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