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

WtSLDiffHistoryVtxRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for WtSLDiffHistoryVtxRep::

DiffHistoryVtxRep RefCounter List of all members.

Public Methods

 WtSLDiffHistoryVtxRep ()
 WtSLDiffHistoryVtxRep (State D, int G, DiffHistoryVtx *ptr, int L, int C, int WD)
 WtSLDiffHistoryVtxRep (const WtSLDiffHistoryVtxRep &dh)
DiffHistoryVtxRepclone () const
 ~WtSLDiffHistoryVtxRep ()
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 WtSLDiffHistoryVtxRep &dh)

Constructor & Destructor Documentation

WtSLDiffHistoryVtxRep::WtSLDiffHistoryVtxRep ( ) [inline]
 

Definition at line 608 of file DiffHistoryRep.h.

Referenced by clone().

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

Definition at line 609 of file DiffHistoryRep.h.

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

Definition at line 613 of file DiffHistoryRep.h.

WtSLDiffHistoryVtxRep::~WtSLDiffHistoryVtxRep ( ) [inline]
 

Definition at line 618 of file DiffHistoryRep.h.


Member Function Documentation

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 615 of file DiffHistoryRep.h.

int WtSLDiffHistoryVtxRep::getLexComp ( ) const [inline]
 

Definition at line 620 of file DiffHistoryRep.h.

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

int WtSLDiffHistoryVtxRep::getWtDiff ( ) const [inline]
 

Definition at line 621 of file DiffHistoryRep.h.

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

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 633 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 641 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 685 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 687 of file DiffHistoryRep.h.


Friends And Related Function Documentation

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

Definition at line 694 of file DiffHistoryRep.h.


Member Data Documentation

int WtSLDiffHistoryVtxRep::lexComp [private]
 

Definition at line 702 of file DiffHistoryRep.h.

int WtSLDiffHistoryVtxRep::wtdiff [private]
 

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