From 3e3cc16699b2cf4d24629ba24c6d72ff912f0d96 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au>
Date: Fri, 15 Jun 2012 11:29:07 +1000
Subject: Remove a file that really should already be gone.

---
 impl/Variable.hpp | 35 -----------------------------------
 1 file changed, 35 deletions(-)
 delete mode 100644 impl/Variable.hpp

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
-- 
cgit v1.2.3