Searched defs:target_vector (Results 1 – 1 of 1) sorted by relevance
723 std::vector<const Target*> target_vector(targets.begin(), targets.end()); in FilterAndPrintTargetSet() local728 std::vector<const Target*> target_vector(targets.begin(), targets.end()); in FilterAndPrintTargetSet() local