#ifndef EXPRESSION_HPP
#define EXPRESSION_HPP

#include <iostream>
#include "VariableAssignment.hpp"
#include "Operator.hpp"

template<typename T>
struct Variable;

int ExpressionCount;

template<typename T>
struct Expression {
  Expression(Operator<T>* op, const std::vector< Expression<T>* >& args)
    : _operator(op), _arguments(args) { }
  virtual ~Expression() {
    if (!dynamic_cast<Variable<T>*>(_operator)) {
      delete _operator;
    }
  }
  virtual T operator() (const VariableAssignment<T>& assignment) const {
    return (*_operator)(_arguments, assignment);
  }
  virtual T operator() (const VariableAssignment<T>& assignment, VariableSet<T>* visited) const {
    return (*_operator)(_arguments, assignment, visited);
  }
  protected:
  Operator<T>* _operator;
  std::vector< Expression<T>* > _arguments;
};

template<typename T>
struct MaxExpression : public Expression<T> {
  MaxExpression(const std::vector< Expression<T>* >& args)
    : Expression<T>(new Maximum<T>, args) { }
  unsigned int id() const {
    return _id;
  }
  unsigned int id(unsigned int id) {
    return (_id = id);
  }
  Expression<T>* argument(unsigned int i) const {
    if (i >= Expression<T>::_arguments.size()) {
      throw "Error";
    }
    return Expression<T>::_arguments[i];
  }
  std::pair<T, unsigned int> bestStrategy(const VariableAssignment<T>& rho) const {
    std::pair<T, unsigned int> best = std::pair<T, unsigned int>(-infinity<T>(), 0);
    for (unsigned int i = 0, size = Expression<T>::_arguments.size(); i < size; ++i) {
      T value = (*Expression<T>::_arguments[i])(rho);
      if (value > best.first)
        best = std::pair<T, unsigned int>(value, i);
    }
    std::cerr << "Best strategy: (" << best.first << ", " << best.second << ")" << std::endl;
    return best;
  }
  private:
  unsigned int _id;
};

#include "Variable.hpp"

#endif