alphabet.H

Go to the documentation of this file.

#ifndef _ALPHABET_H_
#define _ALPHABET_H_

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

class Alphabet {
public:
  virtual string nameof(long var_num) const = 0; //pure virtual
  virtual ~Alphabet(){}
};

class AutoAlphabet : public Alphabet {
public:
  virtual string nameof(long var_num) const;
};


class SimpleAlphabet : public Alphabet {
protected:
  map< long, string > names;

  long var_in_use;
public:
  SimpleAlphabet();
  virtual string nameof(long var_num) const;
  long new_variable(const string& thename);
  long variables_in_use() const;
};













#endif

---