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

NonHaltDetectionDataStructures


Compounds

class  localTape
 represents a one or two cell portion of a turing machine tape. More...

class  owenTransition
 represents a free standing transition for a turing machine. More...

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

class  sweepStats
 holds data for extracted components of multi-sweep christmas trees. More...

class  tapeBoundsTriple
 maintains a snapshot of a turing machine tape include. More...

class  tapeChunk
 representation of an arbitrary size local tape configuration. More...


Functions

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


Function Documentation

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

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.


Generated on Thu Nov 20 00:17:34 2003 for BusyBeaver by doxygen 1.3.3