Method.h

Go to the documentation of this file.

#pragma once

#include <set>
#include <string>
#include <memory>
#include <chrono>
#include <atomic>

#include "gsjj/DFA.h"

namespace gsjj {
    namespace passive {
        const std::array<const std::string, 8> allMethods = {
            "biermann",
            "unary",
            "binary",
            "heule",
            "neider",
            "unaryNonCNF",
            "binaryNonCNF",
            "heuleNonCNF"
        };

        class Method {
        public:

        public:
            Method() = delete;
            virtual ~Method();

            virtual bool solve() = 0;

            bool hasSolution() const {
                return m_hasSolution;
            }

            unsigned int numberOfStates() const;

            virtual std::unique_ptr<DFA<char>> constructDFA() = 0;

            double timeToSolve() const;

            virtual void setStopTrigger(const std::chrono::seconds &timeLimit, std::atomic_bool &stopTrigger, const bool *stopPointer) = 0;

        protected:
            const std::set<std::string> m_Sp;
            const std::set<std::string> m_Sm;
            const unsigned int m_numberStates;
            const std::set<std::string> m_S;
            const std::set<std::string> m_prefixes;
            const std::set<char> m_alphabet;

            bool m_triedSolve;
            bool m_hasSolution;

            double m_cpuTimeStart;
            double m_cpuTimeEnd;

        protected:
            Method(const std::set<std::string> &SpSet, const std::set<std::string> &SmSet, const std::set<std::string> &SSet, const std::set<std::string> &prefixesSet, const std::set<char> &alphabetSet, unsigned int n);
        };
    }
}