#ifndef VARIABLE_HPP
#define VARIABLE_HPP

#include <string>
#include "Operator.hpp"

template<typename T>
struct Variable : public Operator<T> {
  Variable(unsigned int id, const std::string& name)
    : _id(id), _name(name) { }
  Variable(const Variable& other)
    : _id(other._id) { }
  unsigned int id() const {
    return _id;
  }
  std::string name() const {
    return _name;
  }
  T operator() (const std::vector< Expression<T>* >& args, const VariableAssignment<T>& ass) const {
    //assert(args.size() == 0)
    return ass[*this];
  }
  private:
  const unsigned int _id;
  const std::string _name;
};

#endif