#ifndef VARIABLE_ASSIGNMENT_HPP
#define VARIABLE_ASSIGNMENT_HPP

#include "Variable.hpp"
#include "IdMap.hpp"

template<typename T>
struct VariableAssignment : public IdMap<Variable<T>,T> {
  VariableAssignment(unsigned int length)
    : IdMap<Variable<T>,T>(length, -infinity<T>()) { }
  VariableAssignment(unsigned int length, const T& initial)
    : IdMap<Variable<T>,T>(length, initial) { }
  VariableAssignment(const VariableAssignment& other)
    : IdMap<Variable<T>,T>(other) { }
};

#endif