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

SLDiffHistoryRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for SLDiffHistoryRep::

DiffHistoryRep RefCounter List of all members.

Public Methods

 SLDiffHistoryRep ()
 SLDiffHistoryRep (State D, int C0, int C1)
 SLDiffHistoryRep (const SLDiffHistoryRep &dh)
DiffHistoryRepclone () const
 ~SLDiffHistoryRep ()
int hash () const
Bool empty () const
int getDiff () const
int getC0 () const
int getC1 () const
int operator== (const DiffHistoryRep &dh) const
DiffHistoryRepoperator= (const DiffHistoryRep &dh)
Bool sameLengthWords () const
void improveBy (const DiffHistoryRep &dh)
Bool possibleReductionAhead () const
AheadInfoRepbuildAheadInfoRep () const
void printOn (ostream &ostr=cout) const

Private Attributes

State d
int c0
int c1

Friends

ostream& operator<< (ostream &ostr, const SLDiffHistoryRep &dh)

Constructor & Destructor Documentation

SLDiffHistoryRep::SLDiffHistoryRep ( ) [inline]
 

Definition at line 149 of file DiffHistoryRep.h.

Referenced by clone().

SLDiffHistoryRep::SLDiffHistoryRep ( State D,
int C0,
int C1 ) [inline]
 

Definition at line 150 of file DiffHistoryRep.h.

SLDiffHistoryRep::SLDiffHistoryRep ( const SLDiffHistoryRep & dh ) [inline]
 

Definition at line 153 of file DiffHistoryRep.h.

SLDiffHistoryRep::~SLDiffHistoryRep ( ) [inline]
 

Definition at line 157 of file DiffHistoryRep.h.


Member Function Documentation

DiffHistoryRep * SLDiffHistoryRep::clone ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 155 of file DiffHistoryRep.h.

int SLDiffHistoryRep::hash ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 159 of file DiffHistoryRep.h.

Bool SLDiffHistoryRep::empty ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 160 of file DiffHistoryRep.h.

int SLDiffHistoryRep::getDiff ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 162 of file DiffHistoryRep.h.

int SLDiffHistoryRep::getC0 ( ) const [inline]
 

Definition at line 163 of file DiffHistoryRep.h.

Referenced by ShortLexRep::reduction(), and ShortLexRep::update().

int SLDiffHistoryRep::getC1 ( ) const [inline]
 

Definition at line 164 of file DiffHistoryRep.h.

int SLDiffHistoryRep::operator== ( const DiffHistoryRep & dh ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 167 of file DiffHistoryRep.h.

DiffHistoryRep & SLDiffHistoryRep::operator= ( const DiffHistoryRep & dh ) [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 173 of file DiffHistoryRep.h.

Bool SLDiffHistoryRep::sameLengthWords ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 180 of file DiffHistoryRep.h.

void SLDiffHistoryRep::improveBy ( const DiffHistoryRep & dh ) [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 182 of file DiffHistoryRep.h.

Bool SLDiffHistoryRep::possibleReductionAhead ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 196 of file DiffHistoryRep.h.

AheadInfoRep * SLDiffHistoryRep::buildAheadInfoRep ( ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 198 of file DiffHistoryRep.h.

void SLDiffHistoryRep::printOn ( ostream & ostr = cout ) const [inline, virtual]
 

Reimplemented from DiffHistoryRep.

Definition at line 200 of file DiffHistoryRep.h.


Friends And Related Function Documentation

ostream & operator<< ( ostream & ostr,
const SLDiffHistoryRep & dh ) [friend]
 

Definition at line 206 of file DiffHistoryRep.h.


Member Data Documentation

State SLDiffHistoryRep::d [private]
 

Definition at line 214 of file DiffHistoryRep.h.

int SLDiffHistoryRep::c0 [private]
 

Definition at line 215 of file DiffHistoryRep.h.

int SLDiffHistoryRep::c1 [private]
 

Definition at line 215 of file DiffHistoryRep.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