25 #ifndef _VALUE_MAP_HPP
26 #define _VALUE_MAP_HPP
49 for (
size_t i =
_values.size();
i <= varIndex;
i++)
Contains a Value-object for every variable.
std::vector< Value > _values
Represents the result of the addition of a certain IR-variable with a certain constant.
Value & operator[](size_t varIndex)
static Value newAddition(s4 variable, s4 constant)