#ifndef VARIABLE_HPP
#define VARIABLE_HPP

#include "Operator.hpp"

template<typename T>
struct Variable : public Operator<T> {
  Variable(unsigned int id)
    : _id(id) { }
  Variable(const Variable& other)
    : _id(other._id) { }
  unsigned int id() const {
    return _id;
  }
  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;
};

#endif