Method getTCNames

lib/tcanalysis/TCExtractor.cpp:18–24

}

const std::vector<std::string> TCExtractor::getTCNames() const {
  std::vector<std::string> TCNames;
  for (auto const &TC : TCs) {
    TCNames.emplace_back(TC.first);
  }
  return TCNames;
}