Searched refs:subterm (Results 1 – 1 of 1) sorted by relevance
793 for (const auto& subterm : terms_) { local794 if (subterm.empty()) {