summaryrefslogtreecommitdiff
path: root/impl/VariableAssignment.hpp
blob: 9d8137a5bc6a7f5627ce6204c07419dd4c84976e (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#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