Main Page | Modules | Alphabetical List | Compound List | File List | Compound Members | Related Pages

stateSymbolPair< T > Class Template Reference
[NonHaltDetectionDataStructures]

encapsulates a turing machine state and a current read head symbol. More...

#include <non_halt_data_structures.hpp>

Collaboration diagram for stateSymbolPair< T >:

Collaboration graph
[legend]
List of all members.

Public Member Functions

 stateSymbolPair ()
 default contructor.

 stateSymbolPair (typename std::vector< state< T > >::size_type sI, T s)
 useful constructor.


Public Attributes

std::vector< state< T
> >::size_type 
stateIndicator
symbol

Friends

bool operator< (const stateSymbolPair< T > &lhs, const stateSymbolPair< T > &rhs)
 operator <


Detailed Description

template<typename T>
class stateSymbolPair< T >

encapsulates a turing machine state and a current read head symbol.

Definition at line 67 of file non_halt_data_structures.hpp.


Constructor & Destructor Documentation

template<typename T>
stateSymbolPair< T >::stateSymbolPair  )  [inline]
 

default contructor.

Author:
Owen Kellett

Definition at line 74 of file non_halt_data_structures.hpp.

template<typename T>
stateSymbolPair< T >::stateSymbolPair typename std::vector< state< T > >::size_type  sI,
s
[inline]
 

useful constructor.

Postcondition:
stateIndicator and symbol are initialized to parameters
Parameters:
sI state of the pair
s symbol of the pair
Author:
Owen Kellett

Definition at line 85 of file non_halt_data_structures.hpp.


Friends And Related Function Documentation

template<typename T>
bool operator< const stateSymbolPair< T > &  lhs,
const stateSymbolPair< T > &  rhs
[friend]
 

operator <

Postcondition:
whether lhs is less than rhs according to the state, and then the symbol
Author:
Owen Kellett

Definition at line 108 of file non_halt_data_structures.hpp.


The documentation for this class was generated from the following file:
Generated on Thu Nov 20 00:17:33 2003 for BusyBeaver by doxygen 1.3.3