Method getGlobalVarNames

ir/function.cpp:267–273

}

vector<string_view> Function::getGlobalVarNames() const {
  vector<string_view> gvnames;
  ranges::transform(
    getGlobalVars(), back_inserter(gvnames),
    [](auto &itm) { return string_view(itm->getName()).substr(1); });
  return gvnames;
}

void Function::addPredicate(unique_ptr<Predicate> &&p) {
  predicates.emplace_back(std::move(p));