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

DiffHistoryVtx Class Reference

#include <DiffHistory.h>

Inheritance diagram for DiffHistoryVtx::

ObjectOf List of all members.

Public Methods

 DiffHistoryVtx ()
 DiffHistoryVtx (const WordOrder &word_order)
 DiffHistoryVtx (State d, int g, int h, const WordOrder &word_order)
 DiffHistoryVtx (DiffHistoryVtx *dhp, State d, int g, int h, const WordOrder &word_order)
Bool reduction (int g, int h, const WordOrder &word_order) const
Trichotomy betterThan (DiffHistoryVtx *dhp) const
Bool possibleReductionAhead () const
Bool possibleReductionAhead (int g, const WordOrder &word_order) const
void printOn (ostream &str=cout) const
State getDiff () const
int getGenerator () const
DiffHistoryVtx* getBackptr () const
int getLength () const

Protected Types

typedef ObjectOf<DiffHistoryVtxRepR

Protected Methods

 DiffHistoryVtx (DiffHistoryVtxRep *p)

Friends

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

Member Typedef Documentation

typedef ObjectOf<DiffHistoryVtxRep> DiffHistoryVtx::R [protected]
 

Definition at line 196 of file DiffHistory.h.


Constructor & Destructor Documentation

DiffHistoryVtx::DiffHistoryVtx ( ) [inline]
 

Definition at line 140 of file DiffHistory.h.

DiffHistoryVtx::DiffHistoryVtx ( const WordOrder & word_order ) [inline]
 

Definition at line 142 of file DiffHistory.h.

DiffHistoryVtx::DiffHistoryVtx ( State d,
int g,
int h,
const WordOrder & word_order ) [inline]
 

Definition at line 145 of file DiffHistory.h.

DiffHistoryVtx::DiffHistoryVtx ( DiffHistoryVtx * dhp,
State d,
int g,
int h,
const WordOrder & word_order ) [inline]
 

Definition at line 149 of file DiffHistory.h.

DiffHistoryVtx::DiffHistoryVtx ( DiffHistoryVtxRep * p ) [inline, protected]
 

Definition at line 197 of file DiffHistory.h.


Member Function Documentation

Bool DiffHistoryVtx::reduction ( int g,
int h,
const WordOrder & word_order ) const [inline]
 

Definition at line 153 of file DiffHistory.h.

Trichotomy DiffHistoryVtx::betterThan ( DiffHistoryVtx * dhp ) const [inline]
 

Definition at line 158 of file DiffHistory.h.

Bool DiffHistoryVtx::possibleReductionAhead ( ) const [inline]
 

Definition at line 170 of file DiffHistory.h.

Bool DiffHistoryVtx::possibleReductionAhead ( int g,
const WordOrder & word_order ) const [inline]
 

Definition at line 176 of file DiffHistory.h.

void DiffHistoryVtx::printOn ( ostream & str = cout ) const [inline]
 

Definition at line 183 of file DiffHistory.h.

State DiffHistoryVtx::getDiff ( ) const [inline]
 

Definition at line 191 of file DiffHistory.h.

int DiffHistoryVtx::getGenerator ( ) const [inline]
 

Definition at line 192 of file DiffHistory.h.

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

Definition at line 193 of file DiffHistory.h.

int DiffHistoryVtx::getLength ( ) const [inline]
 

Definition at line 194 of file DiffHistory.h.


Friends And Related Function Documentation

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

Definition at line 187 of file DiffHistory.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