#include <non_halt_data_structures.hpp>
Public Member Functions | |
tapeChunk () | |
default constructor. | |
tapeChunk (const tapeChunk< T > &tape) | |
copy constructor. | |
tapeChunk (infinite_tape< T > &tape, typename std::list< T >::iterator start, typename std::list< T >::iterator end) | |
creates a local tape representing the cells from start to end on tape. | |
tapeChunk (tapeChunk< T > &tape, int start, int end) | |
creates a local tape representing the cells from start to end on tape. | |
void | fillTape (infinite_tape< T > &tape, typename std::list< T >::iterator start, typename std::list< T >::iterator end) |
fills the tape with the local tape configuration on tape from start to end | |
void | fillTape (const tapeChunk< T > &tape, int start, int end) |
fills the tape with the local tape configuration representing the cells from start to end on tape. | |
void | emptyTape () |
empties the tape. | |
bool | compareNextChunk (const tapeChunk< T > &tape, int &start) |
compare the elements in tape with the elements in *this starting with cell start | |
bool | isEmpty () |
is the tape empty? | |
int | length () |
length of the tape. | |
void | print () |
prints the tape. | |
tapeChunk< T > | operator+ (const tapeChunk< T > &rhs) |
concatenates two tapeChunks together | |
bool | operator== (const tapeChunk< T > &rhs) |
equality operator | |
bool | operator!= (const tapeChunk< T > &rhs) |
inequality operator | |
Public Attributes | |
std::vector< T > | tapeConfig |
Definition at line 439 of file non_halt_data_structures.hpp.
|
default constructor.
Definition at line 446 of file non_halt_data_structures.hpp. |
|
copy constructor.
Definition at line 454 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. |
|
creates a local tape representing the cells from start to end on tape.
Definition at line 469 of file non_halt_data_structures.hpp. |
|
creates a local tape representing the cells from start to end on tape.
Definition at line 485 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. |
|
compare the elements in tape with the elements in *this starting with cell start
Definition at line 540 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. Referenced by checkFinalCounterGrammar(). |
|
empties the tape.
Definition at line 529 of file non_halt_data_structures.hpp. Referenced by checkCounterRun(), and extractCounterElements(). |
|
fills the tape with the local tape configuration representing the cells from start to end on tape.
Definition at line 517 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. |
|
fills the tape with the local tape configuration on tape from start to end
Definition at line 501 of file non_halt_data_structures.hpp. Referenced by checkCounterConversion(), checkCounterRun(), checkLeaningChristmasTree(), checkLeaningChristmasTreeGrammar(), checkMultiSweepChristmasTree(), checkMultiSweepFirstPass(), checkMultiSweepSecondPass(), extractCounterElements(), findMidSection(), getNextChunk(), getNextChunkUnevenCheck(), tapeChunk< T >::operator+(), and testCounter(). |
|
is the tape empty?
Definition at line 556 of file non_halt_data_structures.hpp. Referenced by checkLeaningChristmasTreeGrammar(), checkMultiSweepFirstPass(), and checkMultiSweepSecondPass(). |
|
length of the tape.
Definition at line 566 of file non_halt_data_structures.hpp. Referenced by checkCounterRun(), checkFinalCounterGrammar(), and extractCounterElements(). |
|
inequality operator
Definition at line 614 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. |
|
concatenates two tapeChunks together
Definition at line 586 of file non_halt_data_structures.hpp. References tapeChunk< T >::fillTape(), and tapeChunk< T >::tapeConfig. |
|
equality operator
Definition at line 599 of file non_halt_data_structures.hpp. References tapeChunk< T >::tapeConfig. |
|
prints the tape.
Definition at line 575 of file non_halt_data_structures.hpp. |