#include <non_halt_data_structures.hpp>
Public Member Functions | |
localTape () | |
default constructor. | |
localTape (T onlySymbol) | |
useful constructor. | |
localTape (T desiredSymbol, owenTransition< T > &transition) | |
mechanism to facilitate local tape creation for back tracking algorithm | |
localTape (localTape< T > &desiredTape, owenTransition< T > &transition) | |
creates tape that will result in desiredTape after transition is performed | |
bool | simulateTransition (localTape< T > &desiredTape, owenTransition< T > &transition) |
simulates a given transition on "this" local tape | |
bool | allOneValue (T value) |
see if the tape is all one value | |
void | print () |
prints the tape. | |
Public Attributes | |
std::vector< T > | tapeConfig |
int | currentPosition |
Definition at line 233 of file non_halt_data_structures.hpp.
|
default constructor.
Definition at line 240 of file non_halt_data_structures.hpp. |
|
useful constructor.
Definition at line 250 of file non_halt_data_structures.hpp. |
|
mechanism to facilitate local tape creation for back tracking algorithm
Definition at line 264 of file non_halt_data_structures.hpp. References owenTransition< T >::move, and owenTransition< T >::read. |
|
creates tape that will result in desiredTape after transition is performed
Definition at line 293 of file non_halt_data_structures.hpp. References localTape< T >::currentPosition, owenTransition< T >::move, owenTransition< T >::read, and localTape< T >::tapeConfig. |
|
see if the tape is all one value
Definition at line 402 of file non_halt_data_structures.hpp. Referenced by isInfinite(). |
|
prints the tape. used mainly for debugging purposes
Definition at line 415 of file non_halt_data_structures.hpp. |
|
simulates a given transition on "this" local tape
Definition at line 351 of file non_halt_data_structures.hpp. References localTape< T >::currentPosition, owenTransition< T >::move, owenTransition< T >::read, localTape< T >::tapeConfig, and owenTransition< T >::write. |