VarMap.h

/*
 * VarMap.h
 *
 *  Created on: Sep 1, 2008
 *      Author: tdillig
 */

#ifndef VARMAP_H_
#define VARMAP_H_

#include <map>
#include <unordered_map>
#include <string>
#include <set>
using namespace std;


#define NUM_BITS_RESERVED 5


namespace il{
	class type;
}
namespace sail{
	class Variable;
}

class Term;
class CNode;

/*
 * Since string's can take too much space, we associate every
 * variable or function with a unique identifier. VarMap is needed
 * for pretty printing.
 */
class VarMap {
private:
	unordered_map<string, int> name_to_id_map;
	unordered_map<int, string> id_to_name_map;
	int cur_id;
public:
	VarMap();
	int get_id(string name, bool invertible=false);
	int get_attrib(int id);
	string get_name(int id);
	bool contains_name(string name);
	void get_all_vars(set<string>& var_names);
	virtual ~VarMap();
	void clear();

};

#endif /* VARMAP_H_ */