VariableIndex.hpp

/*
 
Copyright © 2023-24 Sean Holden. All rights reserved.
 
*/
/*
 
This file is part of Connect++.
 
Connect++ is free software: you can redistribute it and/or modify it 
under the terms of the GNU General Public License as published by the 
Free Software Foundation, either version 3 of the License, or (at your 
option) any later version.
 
Connect++ is distributed in the hope that it will be useful, but WITHOUT 
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 
more details.
 
You should have received a copy of the GNU General Public License along 
with Connect++. If not, see <https://www.gnu.org/licenses/>. 
 
*/
 
#ifndef VARIABLEINDEX_HPP
#define VARIABLEINDEX_HPP
 
#include<iostream>
#include<iomanip>
#include<string>
#include<sstream>
#include<vector>
#include<unordered_map>
 
#include "Variable.hpp"
 
using std::string;
using std::pair;
using std::vector;
using std::iostream;
using std::endl;
using std::cerr;
using std::unordered_map;
using std::istringstream;
using std::to_string;
 
using MapType = pair<string, Variable*>;
 
class VariableIndex {
private:
    vector<Variable*> vars;
    unordered_map<string, Variable*> name_index;
    ID next_index;
    ID next_unique_index;
    ID first_anon_variable;
    ID highest_anon_variable;
    bool all_names_added;
    vector<ID> backtrack_points;
public:
    VariableIndex();
    ~VariableIndex();
    VariableIndex(const VariableIndex&) = delete;
    VariableIndex(const VariableIndex&&) = delete;
    VariableIndex& operator=(const VariableIndex&) = delete;
    VariableIndex& operator=(const VariableIndex&&) = delete;
    inline ID get_next_index() const { return next_index; }
    inline ID get_first_anon_variable() const { return first_anon_variable; }
    inline ID get_highest_anon_variable() const { return highest_anon_variable; }
    inline bool get_all_names_added() const { return all_names_added; }
    inline size_t get_num_backtracks() const { return backtrack_points.size(); }
    Variable* add_named_var(const string&);
    Variable* add_anon_var();
    Variable* add_unique_var();
    Variable* find_variable(const string&);
    void set_all_names_added();
    void clear_substitutions();
    void add_backtrack_point();
    ID add_named_backtrack_point();
    void backtrack();
    void backtrack_to_named_point(ID);
    void reset();
 
    friend ostream& operator<<(ostream&, const VariableIndex&);
};
 
#endif