#include <non_halt_data_structures.hpp>
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 |
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.
|
standard constructor.
Definition at line 134 of file non_halt_data_structures.hpp. References infinite_tape< T >::begin(). |
|
copy constructor.
Definition at line 159 of file non_halt_data_structures.hpp. |