#include <non_halt_data_structures.hpp>
Public Member Functions | |
void | fill (tapeChunk< T > myU, tapeChunk< T > myV, tapeChunk< T > myX, tapeChunk< T > myXp, tapeChunk< T > myY, tapeChunk< T > myYp, tapeChunk< T > myZ, tapeChunk< T > myVp, tapeChunk< T > myVpp, tapeChunk< T > myUp, typename std::vector< state< T > >::size_type myq, typename std::vector< state< T > >::size_type myr, typename std::vector< state< T > >::size_type myt) |
void | populate (tapeChunk< T > &myU, tapeChunk< T > &myV, tapeChunk< T > &myX, tapeChunk< T > &myXp, tapeChunk< T > &myY, tapeChunk< T > &myYp, tapeChunk< T > &myZ, tapeChunk< T > &myVp, tapeChunk< T > &myVpp, tapeChunk< T > &myUp, typename std::vector< state< T > >::size_type &myq, typename std::vector< state< T > >::size_type &myr, typename std::vector< state< T > >::size_type &myt) |
Public Attributes | |
tapeChunk< T > | U |
tapeChunk< T > | V |
tapeChunk< T > | X |
tapeChunk< T > | Xp |
tapeChunk< T > | Y |
tapeChunk< T > | Yp |
tapeChunk< T > | Z |
tapeChunk< T > | Vp |
tapeChunk< T > | Vpp |
tapeChunk< T > | Up |
std::vector< state< T > >::size_type | q |
std::vector< state< T > >::size_type | r |
std::vector< state< T > >::size_type | t |
Definition at line 638 of file non_halt_data_structures.hpp.