summaryrefslogtreecommitdiff
path: root/impl
diff options
context:
space:
mode:
Diffstat (limited to 'impl')
-rw-r--r--impl/Variable.hpp35
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