VarMgr.h

#ifndef VAR_MGR_H
#define VAR_MGR_H
 
#include <memory>
#include <unordered_map>
#include <vector>
 
#include "cuddObj.hh"
 
namespace Syft {
 
    class VarMgr {
    private:
 
        std::shared_ptr<CUDD::Cudd> mgr_;
        std::unordered_map<int, std::string> index_to_name_;
        std::unordered_map<std::string, CUDD::BDD> name_to_variable_;
        std::size_t state_variable_count_ = 0;
        std::vector<std::vector<CUDD::BDD>> state_variables_;
        std::vector<CUDD::BDD> input_variables_;
        std::vector<CUDD::BDD> output_variables_;
        std::size_t total_variable_count_ = 0;
 
    public:
 
        VarMgr();
 
        void create_named_variables(const std::vector<std::string> &variable_names);
 
        std::size_t create_state_variables(std::size_t variable_count);
 
        std::size_t create_product_state_space(
                const std::vector<std::size_t> &automaton_ids);
 
 
        CUDD::BDD state_variable(std::size_t automaton_id, std::size_t i) const;
 
        CUDD::BDD state_vector_to_bdd(std::size_t automaton_id,
                                      const std::vector<int> &state_vector) const;
 
        void partition_variables(const std::vector<std::string> &input_names,
                                 const std::vector<std::string> &output_names);
 
        std::shared_ptr<CUDD::Cudd> cudd_mgr() const;
 
        CUDD::BDD name_to_variable(const std::string &name) const;
 
        std::string index_to_name(int index) const;
 
        std::size_t total_variable_count() const;
 
        std::size_t total_state_variable_count() const;
 
        std::size_t state_variable_count(std::size_t automaton_id) const;
 
        std::size_t input_variable_count() const;
 
        std::size_t output_variable_count() const;
 
        CUDD::BDD input_cube() const;
 
        CUDD::BDD output_cube() const;
 
        CUDD::BDD state_variables_cube(std::size_t automaton_id) const;
 
        std::vector<int> make_eval_vector(std::size_t automaton_id,
                                          const std::vector<int> &state_vector) const;
 
        std::vector<int> make_state_eval_vector(std::size_t automaton_id,
                                                const std::vector<int> &state_vector) const;
 
        std::vector<CUDD::BDD> make_compose_vector(
                std::size_t automaton_id,
                const std::vector<CUDD::BDD> &state_bdds) const;
 
        std::vector<std::string> variable_labels() const;
 
        std::vector<std::string> input_variable_labels() const;
 
        std::vector<std::string> output_variable_labels() const;
 
        std::vector<std::string> state_variable_labels(
                std::size_t automaton_id) const;
 
        void dump_dot(const CUDD::ADD &add, const std::string &filename) const;
 
        void dump_dot(const std::vector<CUDD::ADD> &adds,
                      const std::vector<std::string> &function_labels,
                      const std::string &filename) const;
 
        std::size_t automaton_num() const;
 
        std::string bdd_to_string(const CUDD::BDD &bdd) const;
 
        std::size_t create_complement_state_space(
                const std::size_t automaton_id);
    };
 
}
 
#endif // VAR_MGR_H