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

WtSLDiffHistoryRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for WtSLDiffHistoryRep::

DiffHistoryRep RefCounter List of all members.

Public Methods

 WtSLDiffHistoryRep ()
 WtSLDiffHistoryRep (State D, int C0, int W0, int C1, int W1)
 WtSLDiffHistoryRep (const WtSLDiffHistoryRep &dh)
DiffHistoryRepclone () const
 ~WtSLDiffHistoryRep ()
int hash () const
Bool empty () const
int getDiff () const
int getC0 () const
int getW0 () const
int getC1 () const
int getW1 () 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
int w0
int w1

Friends

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

Constructor & Destructor Documentation

WtSLDiffHistoryRep::WtSLDiffHistoryRep ( ) [inline]
 

Definition at line 255 of file DiffHistoryRep.h.

Referenced by clone().

WtSLDiffHistoryRep::WtSLDiffHistoryRep ( State D,
int C0,
int W0,
int C1,
int W1 ) [inline]
 

Definition at line 256 of file DiffHistoryRep.h.

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

Definition at line 259 of file DiffHistoryRep.h.

WtSLDiffHistoryRep::~WtSLDiffHistoryRep ( ) [inline]
 

Definition at line 263 of file DiffHistoryRep.h.


Member Function Documentation

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

Reimplemented from DiffHistoryRep.

Definition at line 261 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 265 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 266 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 268 of file DiffHistoryRep.h.

int WtSLDiffHistoryRep::getC0 ( ) const [inline]
 

Definition at line 269 of file DiffHistoryRep.h.

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

int WtSLDiffHistoryRep::getW0 ( ) const [inline]
 

Definition at line 270 of file DiffHistoryRep.h.

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

int WtSLDiffHistoryRep::getC1 ( ) const [inline]
 

Definition at line 271 of file DiffHistoryRep.h.

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

int WtSLDiffHistoryRep::getW1 ( ) const [inline]
 

Definition at line 272 of file DiffHistoryRep.h.

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

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

Reimplemented from DiffHistoryRep.

Definition at line 275 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 282 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 288 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 289 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 297 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 299 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryRep.

Definition at line 302 of file DiffHistoryRep.h.


Friends And Related Function Documentation

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

Definition at line 309 of file DiffHistoryRep.h.


Member Data Documentation

State WtSLDiffHistoryRep::d [private]
 

Definition at line 317 of file DiffHistoryRep.h.

int WtSLDiffHistoryRep::c0 [private]
 

Definition at line 318 of file DiffHistoryRep.h.

int WtSLDiffHistoryRep::c1 [private]
 

Definition at line 318 of file DiffHistoryRep.h.

int WtSLDiffHistoryRep::w0 [private]
 

Definition at line 319 of file DiffHistoryRep.h.

int WtSLDiffHistoryRep::w1 [private]
 

Definition at line 319 of file DiffHistoryRep.h.


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