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

DiffHistoryVtxRep Class Reference

#include <DiffHistoryRep.h>

Inheritance diagram for DiffHistoryVtxRep::

RefCounter SLDiffHistoryVtxRep WtLexDiffHistoryVtxRep WtSLDiffHistoryVtxRep List of all members.

Public Methods

 DiffHistoryVtxRep ()
 DiffHistoryVtxRep (State D, int G, DiffHistoryVtx *ptr, int L)
 DiffHistoryVtxRep (const DiffHistoryVtxRep &dh)
DiffHistoryVtxRep* clone () const
 ~DiffHistoryVtxRep ()
State getDiff () const
int getGenerator () const
DiffHistoryVtxgetBackptr () const
int getLength () const
int operator== (const DiffHistoryVtxRep &dh) const
DiffHistoryVtxRep& operator= (const DiffHistoryVtxRep &dh)
virtual Trichotomy betterThan (const DiffHistoryVtxRep &dh) const
virtual Bool possibleReductionAhead () const
void printOn (ostream &ostr=cout) const

Private Attributes

State diff
int gen
DiffHistoryVtxbackptr
int len

Friends

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

Constructor & Destructor Documentation

DiffHistoryVtxRep::DiffHistoryVtxRep ( ) [inline]
 

Definition at line 451 of file DiffHistoryRep.h.

Referenced by clone().

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

Definition at line 452 of file DiffHistoryRep.h.

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

Definition at line 455 of file DiffHistoryRep.h.

DiffHistoryVtxRep::~DiffHistoryVtxRep ( ) [inline]
 

Definition at line 460 of file DiffHistoryRep.h.


Member Function Documentation

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

Reimplemented in SLDiffHistoryVtxRep, WtSLDiffHistoryVtxRep, and WtLexDiffHistoryVtxRep.

Definition at line 458 of file DiffHistoryRep.h.

State DiffHistoryVtxRep::getDiff ( ) const [inline]
 

Definition at line 462 of file DiffHistoryRep.h.

Referenced by WtLexDiffHistoryVtxRep::betterThan(), WtSLDiffHistoryVtxRep::betterThan(), and SLDiffHistoryVtxRep::betterThan().

int DiffHistoryVtxRep::getGenerator ( ) const [inline]
 

Definition at line 463 of file DiffHistoryRep.h.

Referenced by WtLexDiffHistoryVtxRep::betterThan(), WtSLDiffHistoryVtxRep::betterThan(), and SLDiffHistoryVtxRep::betterThan().

DiffHistoryVtx * DiffHistoryVtxRep::getBackptr ( ) const [inline]
 

Definition at line 464 of file DiffHistoryRep.h.

int DiffHistoryVtxRep::getLength ( ) const [inline]
 

Definition at line 465 of file DiffHistoryRep.h.

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

Definition at line 467 of file DiffHistoryRep.h.

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

Reimplemented in SLDiffHistoryVtxRep, WtSLDiffHistoryVtxRep, and WtLexDiffHistoryVtxRep.

Definition at line 469 of file DiffHistoryRep.h.

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

Reimplemented in SLDiffHistoryVtxRep, WtSLDiffHistoryVtxRep, and WtLexDiffHistoryVtxRep.

Definition at line 474 of file DiffHistoryRep.h.

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

Reimplemented in SLDiffHistoryVtxRep, WtSLDiffHistoryVtxRep, and WtLexDiffHistoryVtxRep.

Definition at line 485 of file DiffHistoryRep.h.

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

Reimplemented in SLDiffHistoryVtxRep, WtSLDiffHistoryVtxRep, and WtLexDiffHistoryVtxRep.

Definition at line 490 of file DiffHistoryRep.h.


Friends And Related Function Documentation

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

Definition at line 495 of file DiffHistoryRep.h.


Member Data Documentation

State DiffHistoryVtxRep::diff [private]
 

Definition at line 501 of file DiffHistoryRep.h.

int DiffHistoryVtxRep::gen [private]
 

Definition at line 502 of file DiffHistoryRep.h.

DiffHistoryVtx* DiffHistoryVtxRep::backptr [private]
 

Definition at line 503 of file DiffHistoryRep.h.

int DiffHistoryVtxRep::len [private]
 

Definition at line 504 of file DiffHistoryRep.h.


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