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

WtLexDiffHistoryVtxRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for WtLexDiffHistoryVtxRep::

DiffHistoryVtxRep RefCounter List of all members.

Public Methods

 WtLexDiffHistoryVtxRep ()
 WtLexDiffHistoryVtxRep (State D, int G, DiffHistoryVtx *ptr, int L, int C, int WD)
 WtLexDiffHistoryVtxRep (const WtLexDiffHistoryVtxRep &dh)
DiffHistoryVtxRepclone () const
 ~WtLexDiffHistoryVtxRep ()
int getLexComp () const
int getWtDiff () const
DiffHistoryVtxRepoperator= (const DiffHistoryVtxRep &dh)
Trichotomy betterThan (const DiffHistoryVtxRep &dh) const
Bool possibleReductionAhead () const
void printOn (ostream &ostr=cout) const

Private Attributes

int lexComp
int wtdiff

Friends

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

Constructor & Destructor Documentation

WtLexDiffHistoryVtxRep::WtLexDiffHistoryVtxRep ( ) [inline]
 

Definition at line 709 of file DiffHistoryRep.h.

Referenced by clone().

WtLexDiffHistoryVtxRep::WtLexDiffHistoryVtxRep ( State D,
int G,
DiffHistoryVtx * ptr,
int L,
int C,
int WD ) [inline]
 

Definition at line 710 of file DiffHistoryRep.h.

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

Definition at line 714 of file DiffHistoryRep.h.

WtLexDiffHistoryVtxRep::~WtLexDiffHistoryVtxRep ( ) [inline]
 

Definition at line 719 of file DiffHistoryRep.h.


Member Function Documentation

DiffHistoryVtxRep * WtLexDiffHistoryVtxRep::clone ( ) const [inline]
 

Reimplemented from DiffHistoryVtxRep.

Definition at line 716 of file DiffHistoryRep.h.

int WtLexDiffHistoryVtxRep::getLexComp ( ) const [inline]
 

Definition at line 721 of file DiffHistoryRep.h.

Referenced by WtLexRep::possibleReductionAhead(), WtLexRep::reduction(), and WtLexRep::update().

int WtLexDiffHistoryVtxRep::getWtDiff ( ) const [inline]
 

Definition at line 722 of file DiffHistoryRep.h.

Referenced by WtLexRep::possibleReductionAhead(), WtLexRep::reduction(), and WtLexRep::update().

DiffHistoryVtxRep & WtLexDiffHistoryVtxRep::operator= ( const DiffHistoryVtxRep & dh ) [inline]
 

Reimplemented from DiffHistoryVtxRep.

Definition at line 734 of file DiffHistoryRep.h.

Trichotomy WtLexDiffHistoryVtxRep::betterThan ( const DiffHistoryVtxRep & dh ) const [inline, virtual]
 

Reimplemented from DiffHistoryVtxRep.

Definition at line 742 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 787 of file DiffHistoryRep.h.

void WtLexDiffHistoryVtxRep::printOn ( ostream & ostr = cout ) const [inline]
 

Reimplemented from DiffHistoryVtxRep.

Definition at line 790 of file DiffHistoryRep.h.


Friends And Related Function Documentation

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

Definition at line 797 of file DiffHistoryRep.h.


Member Data Documentation

int WtLexDiffHistoryVtxRep::lexComp [private]
 

Definition at line 806 of file DiffHistoryRep.h.

int WtLexDiffHistoryVtxRep::wtdiff [private]
 

Definition at line 807 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