Searched refs:vInt (Results 1 – 2 of 2) sorted by relevance
63 void RecordOption::SetOption(const std::string &name, const std::vector<int> &vInt) in SetOption() argument66 if (vInt.empty()) { in SetOption()77 for (auto n : vInt) { in SetOption()
252 void SetOption(const std::string &name, const std::vector<int> &vInt);