project.hpp

Go to the documentation of this file.

 
#ifndef PROJECT_HPP
#define PROJECT_HPP
 
#include "tm.hpp"
 
#include <filesystem>
#include <memory>
#include <string>
#include <toml++/toml.hpp>
#include <unordered_map>
#include <unordered_set>
 
#define TOML_HEADER_ONLY 1
 
class Project
{
  public:
    Project() noexcept : name_("Untitled TM") {}
 
    bool load_project(const std::filesystem::path &filepath) noexcept(false);
 
    [[nodiscard]] bool save_project(const std::filesystem::path &filepath) const noexcept(false);
 
    [[nodiscard]] bool has_active_machine() const noexcept { return this->machine_ != nullptr; }
 
    [[nodiscard]] std::shared_ptr<TuringMachine> get_machine() noexcept { return this->machine_; }
 
    [[nodiscard]] std::string_view get_name() const noexcept { return this->name_; }
 
  private:
    std::shared_ptr<TuringMachine> machine_; 
    std::string name_;        
    std::string description_; 
 
    bool parse_metadata(const toml::table &config) noexcept;
 
    static bool parse_states(
        const toml::table &config,
        std::set<State> &parsed_states,
        State &initial_state,
        std::unordered_map<std::string, State> &state_map
    ) noexcept(false);
 
    static bool parse_alphabets(
        const toml::table &config,
        Alphabet &input_alpha,
        Alphabet &tape_alpha
    ) noexcept(false);
 
    static bool parse_transitions(
        const toml::table &config,
        std::size_t tape_count,
        const std::unordered_map<std::string, State> &state_map,
        const std::shared_ptr<TuringMachine> &machine,
        std::unordered_map<std::string, std::vector<std::string>> &graph
    ) noexcept(false);
 
    static std::unordered_set<std::string> compute_reachability(
        const std::string &start_state,
        const std::unordered_map<std::string, std::vector<std::string>> &graph
    ) noexcept(false);
 
    static bool validate_machine_structure(
        const std::set<State> &parsed_states,
        const std::unordered_set<std::string> &reachable,
        const std::unordered_map<std::string, std::vector<std::string>> &graph
    ) noexcept(false);
};
 
#endif // PROJECT_HPP