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

tapeBoundsTriple< T > Class Template Reference
[NonHaltDetectionDataStructures]

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

#include <non_halt_data_structures.hpp>

List of all members.

Public Member Functions

 tapeBoundsTriple (infinite_tape< T > &t, typename std::list< T >::iterator l, typename std::list< T >::iterator r)
 standard constructor.

 tapeBoundsTriple (const tapeBoundsTriple< T > &rhs)
 copy constructor.


Public Attributes

infinite_tape< T > tape
std::list< T >::iterator leftBound
std::list< T >::iterator rightBound
std::list< T >::iterator leftBoundOriginal
std::list< T >::iterator rightBoundOriginal


Detailed Description

template<typename T>
class tapeBoundsTriple< T >

maintains a snapshot of a turing machine tape include.

an instance of the tape two iterators pointing to cells on the new instance representing left and right bounds of moves since the creation of this instance two iterators pointint to the original tape (yes that's right) representing the same two bounds

Definition at line 123 of file non_halt_data_structures.hpp.


Constructor & Destructor Documentation

template<typename T>
tapeBoundsTriple< T >::tapeBoundsTriple infinite_tape< T > &  t,
typename std::list< T >::iterator  l,
typename std::list< T >::iterator  r
[inline]
 

standard constructor.

Postcondition:
tape is now a copy of t; leftBoundOriginal and rightBoundOriginal point to the bound cells of t; leftBound and rightBound point to the bound cells of the new instance tape
Parameters:
t instance of the tape
l left most read symbol on the tape thus far
r right most read symbol on the tape thus far
Author:
Owen Kellett

Definition at line 134 of file non_halt_data_structures.hpp.

References infinite_tape< T >::begin().

template<typename T>
tapeBoundsTriple< T >::tapeBoundsTriple const tapeBoundsTriple< T > &  rhs  )  [inline]
 

copy constructor.

Author:
Owen Kellett

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