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

SLDiffHistoryVtxRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for SLDiffHistoryVtxRep::

DiffHistoryVtxRep RefCounter List of all members.

Public Methods

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

Private Attributes

int lexComp

Friends

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

Constructor & Destructor Documentation

SLDiffHistoryVtxRep::SLDiffHistoryVtxRep ( ) [inline]
 

Definition at line 512 of file DiffHistoryRep.h.

Referenced by clone().

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

Definition at line 513 of file DiffHistoryRep.h.

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

Definition at line 516 of file DiffHistoryRep.h.

SLDiffHistoryVtxRep::~SLDiffHistoryVtxRep ( ) [inline]
 

Definition at line 521 of file DiffHistoryRep.h.


Member Function Documentation

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 518 of file DiffHistoryRep.h.

int SLDiffHistoryVtxRep::getLexComp ( ) const [inline]
 

Definition at line 523 of file DiffHistoryRep.h.

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

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 535 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 543 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 580 of file DiffHistoryRep.h.

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

Reimplemented from DiffHistoryVtxRep.

Definition at line 582 of file DiffHistoryRep.h.


Friends And Related Function Documentation

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

Definition at line 589 of file DiffHistoryRep.h.


Member Data Documentation

int SLDiffHistoryVtxRep::lexComp [private]
 

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