1 files changed, 0 insertions, 35 deletions
diff --git a/impl/Variable.hpp b/impl/Variable.hpp
deleted file mode 100644
index a174ea8..0000000
--- a/impl/Variable.hpp
+++ /dev/null
@@ -1,35 +0,0 @@
-#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 {
-  virtual T operator() (const std::vector< Expression<T>* >& args, const VariableAssignment<T>& assignment) const {
-    //assert(args.size() == 0)
-    return assignment[*this];
-  }
-  private:
-  const unsigned int _id;
-  const std::string _name;
-};
-
-template<typename T>
-std::ostream& operator<<(std::ostream& cout, const Variable<T>& v) {
-  cout << v.name() << "(" << v.id() << ")";
-  return cout;
-}
-
-#endif