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

WtSLAheadInfoRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for WtSLAheadInfoRep::

AheadInfoRep RefCounter List of all members.

Public Methods

 WtSLAheadInfoRep ()
 WtSLAheadInfoRep (int wd)
 WtSLAheadInfoRep (const WtSLAheadInfoRep &ai)
AheadInfoRepclone () const
 ~WtSLAheadInfoRep ()
int getWtDiff () const

Private Attributes

int wtdiff

Constructor & Destructor Documentation

WtSLAheadInfoRep::WtSLAheadInfoRep ( ) [inline]

Definition at line 61 of file DiffHistoryRep.h.

Referenced by clone().

WtSLAheadInfoRep::WtSLAheadInfoRep ( int wd ) [inline]

Definition at line 62 of file DiffHistoryRep.h.

WtSLAheadInfoRep::WtSLAheadInfoRep ( const WtSLAheadInfoRep & ai ) [inline]

Definition at line 64 of file DiffHistoryRep.h.

WtSLAheadInfoRep::~WtSLAheadInfoRep ( ) [inline]

Definition at line 67 of file DiffHistoryRep.h.

Member Function Documentation

AheadInfoRep * WtSLAheadInfoRep::clone ( ) const [inline, virtual]

Reimplemented from AheadInfoRep.

Definition at line 65 of file DiffHistoryRep.h.

int WtSLAheadInfoRep::getWtDiff ( ) const [inline]

Definition at line 68 of file DiffHistoryRep.h.

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

Member Data Documentation

int WtSLAheadInfoRep::wtdiff [private]

Definition at line 70 of file DiffHistoryRep.h.

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