turingMachineTransition.h

#pragma once
 
#include <memory/tapeLike.h>
#include <symbol/symbolPattern.h>
#include <transition/transition.h>
 
namespace TuringSim::Transition::Turing {
 
    template<
            typename StateType_,
            typename SymbolType_,
            typename ApplyHelperType_,
            bool hasHalfTape = false
    >
    class TuringMachineTransition :
            public Transition<StateType_, Memory::TapeLike<hasHalfTape, SymbolType_>, ApplyHelperType_> {
        typedef Memory::TapeLike<hasHalfTape, SymbolType_> StorageType_;
        typedef Transition<StateType_, StorageType_, ApplyHelperType_> Transition_;
    public:
        using typename Transition_::StateType;
        using typename Transition_::StorageType;
        using typename Transition_::ApplyHelperType;
 
        typedef SymbolType_ SymbolType;
 
        typedef typename StorageType_::Movement Movement;
 
        typedef typename std::integral_constant<bool, hasHalfTape> HasHalfTape;
 
        static_assert(std::is_same_v<StateType, StateType_>);
        static_assert(std::is_same_v<StorageType, Memory::TapeLike<hasHalfTape, SymbolType>>);
        static_assert(std::is_same_v<ApplyHelperType, ApplyHelperType_>);
        static_assert(std::is_same_v<typename Memory::TapeLike<hasHalfTape, SymbolType>::Movement, Movement>);
 
        TuringMachineTransition() = default;
 
        TuringMachineTransition(const TuringMachineTransition&) = default;
 
        TuringMachineTransition(TuringMachineTransition&&) = default;
 
        TuringMachineTransition& operator=(const TuringMachineTransition&) = default;
 
        TuringMachineTransition& operator=(TuringMachineTransition&&) = default;
 
        virtual ~TuringMachineTransition() override = default;
    };
}