stringTuringStyleMConfigurationTuringMachineTransition.h

#pragma once
 
#include <state/mConfiguration/mConfigurationParser.h>
#include <transition/Turing/turingStyleInstructionListParser.h>
#include <symbol/turingStyleMixedSymbolPatternParser.h>
#include <transition/Turing/turingStyleMConfigurationTuringMachineTransition.h>
 
namespace TuringSim::Transition::Turing {
 
    template <bool isHalfTape = false>
    class StringTuringStyleMConfigurationTuringMachineTransition
            : public TuringStyleMConfigurationTuringMachineTransition<std::string, isHalfTape> {
        typedef TuringStyleMConfigurationTuringMachineTransition<std::string, isHalfTape> TuringStyleMConfigurationTuringMachineTransition_;
    public:
        using typename TuringStyleMConfigurationTuringMachineTransition_::Movement;
        using typename TuringStyleMConfigurationTuringMachineTransition_::StateType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::SymbolType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::HasHalfTape;
        using typename TuringStyleMConfigurationTuringMachineTransition_::Instruction;
        using typename TuringStyleMConfigurationTuringMachineTransition_::StorageType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::DynamicWrite;
        using typename TuringStyleMConfigurationTuringMachineTransition_::NodeStateType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::SymbolPattern;
        using typename TuringStyleMConfigurationTuringMachineTransition_::ApplyHelperType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::SubstitutionType;
        using typename TuringStyleMConfigurationTuringMachineTransition_::ConstantInstruction;
 
        static_assert(std::is_same_v<NodeStateType, std::string>);
        static_assert(std::is_same_v<ApplyHelperType, std::map<std::string, std::shared_ptr<const State::MConfiguration::MConfiguration<std::string>>>>);
 
        StringTuringStyleMConfigurationTuringMachineTransition() = delete;
 
        StringTuringStyleMConfigurationTuringMachineTransition(
                const State::MConfiguration::MConfiguration<NodeStateType>& preStatePattern,
                const SymbolPattern& preSymbolPattern,
                const std::vector<Instruction>& instructions,
                const NodeStateType& symbolPlaceHolder,
                const State::MConfiguration::MConfiguration<NodeStateType>& postStatePattern
        ) :
                TuringStyleMConfigurationTuringMachineTransition_::TuringStyleMConfigurationTuringMachineTransition(
                        preStatePattern,
                        preSymbolPattern,
                        instructions,
                        symbolPlaceHolder,
                        postStatePattern
                )
        {}
 
        StringTuringStyleMConfigurationTuringMachineTransition(
                const std::string& preStatePatternString,
                const std::string& preSymbolPatternString,
                const std::string& instructionsString,
                const std::string& symbolPlaceHolder,
                const std::string& postStatePatternString
        ) :
                TuringStyleMConfigurationTuringMachineTransition_::TuringStyleMConfigurationTuringMachineTransition(
                        State::MConfiguration::MConfigurationParser{}.parse(preStatePatternString),
                        Symbol::TuringStyleMixedSymbolPatternParser{}.parse(preSymbolPatternString),
                        TuringStyleInstructionListParser<isHalfTape>{}.parse(instructionsString),
                        symbolPlaceHolder,
                        State::MConfiguration::MConfigurationParser{}.parse(postStatePatternString)
                )
        {}
 
        StringTuringStyleMConfigurationTuringMachineTransition(const std::array<std::string, 5>& t) :
                TuringStyleMConfigurationTuringMachineTransition_::TuringStyleMConfigurationTuringMachineTransition(
                        State::MConfiguration::MConfigurationParser{}.parse(t[0]),
                        Symbol::TuringStyleMixedSymbolPatternParser{}.parse(t[1]),
                        TuringStyleInstructionListParser<isHalfTape>{}.parse(t[2]),
                        t[3],
                        State::MConfiguration::MConfigurationParser{}.parse(t[4])
                )
        {}
 
        StringTuringStyleMConfigurationTuringMachineTransition(const StringTuringStyleMConfigurationTuringMachineTransition&) = default;
 
        StringTuringStyleMConfigurationTuringMachineTransition(StringTuringStyleMConfigurationTuringMachineTransition&&) = default;
 
        StringTuringStyleMConfigurationTuringMachineTransition& operator=(const StringTuringStyleMConfigurationTuringMachineTransition&) = default;
 
        StringTuringStyleMConfigurationTuringMachineTransition& operator=(StringTuringStyleMConfigurationTuringMachineTransition&&) = default;
 
        virtual ~StringTuringStyleMConfigurationTuringMachineTransition() override = default;
    };
}