ExplicitStateDfaAdd.h

#ifndef EXPLICIT_STATE_DFA_ADD_H
#define EXPLICIT_STATE_DFA_ADD_H
 
#include <exception>
#include <istream>
#include <memory>
#include <unordered_map>
#include <vector>
 
#include "VarMgr.h"
#include "ExplicitStateDfa.h"
 
namespace Syft {
 
    class ExplicitStateDfaAdd {
    private:
        std::shared_ptr<VarMgr> var_mgr_;
 
        size_t initial_state_;
        size_t state_count_;
        std::vector<size_t> final_states_;
        std::vector<CUDD::ADD> transition_function_;
 
        ExplicitStateDfaAdd(std::shared_ptr<VarMgr> var_mgr);
 
        static CUDD::ADD build_add(
                std::size_t node_index,
                const std::shared_ptr<VarMgr> &var_mgr,
                const std::vector<std::string> &variable_names,
                const std::vector<std::vector<int>> &node_table,
                std::unordered_map<std::size_t, CUDD::ADD> &add_table);
 
        static CUDD::ADD build_add_from_dfa(
                unsigned node_index,
                const std::shared_ptr<VarMgr> &var_mgr,
                const std::vector<std::string> &variable_names,
                const ExplicitStateDfa &explicit_dfa,
                std::unordered_map<std::size_t, CUDD::ADD> &add_table);
 
    public:
 
        static ExplicitStateDfaAdd from_dfa_mona(std::shared_ptr<VarMgr> var_mgr,
                                                 const ExplicitStateDfa &explicit_dfa);
 
        std::shared_ptr<VarMgr> var_mgr() const;
 
        std::size_t initial_state() const;
 
        std::size_t state_count() const;
 
        std::vector<std::size_t> final_states() const;
 
        std::vector<CUDD::ADD> transition_function() const;
 
        void dump_dot(const std::string &filename) const;
    };
 
}
 
#endif // EXPLICIT_STATE_DFA_ADD_H