80 vector<OptionValue*> values;
85 if (
typeid(*option) ==
typeid(other)) {
86 values.push_back(option);
88 options_.insert(pair<
string, vector<OptionValue*> >(name, values));
90 string procName =
"Options::addOptionValue";
92 "Type of new OptionValue differs from the type of old values";
93 throw TypeMismatch(__FILE__, __LINE__, procName, errorMsg);
96 vector<OptionValue*> values;
97 values.push_back(option);
98 options_.insert(pair<
string, vector<OptionValue*> >(name, values));