diff options
| author | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
|---|---|---|
| committer | Richard Qin <richard.qin.x@gmail.com> | 2026-04-08 03:23:16 +0800 |
| commit | a26a9311ed6cc34860092252d1750428b741b116 (patch) | |
| tree | 83eb5ccd5e94100a8e0368e8f25c977a2e2e6c03 /proofsearch/src/infer/substitution.cc | |
| parent | 598f364de0a809747714294326a0193788e0bdfb (diff) | |
| download | rcc-project-a26a9311ed6cc34860092252d1750428b741b116.tar.gz rcc-project-a26a9311ed6cc34860092252d1750428b741b116.tar.xz | |
feat: enhance clang-tidy configuration and improve code quality across multiple files
Diffstat (limited to 'proofsearch/src/infer/substitution.cc')
| -rw-r--r-- | proofsearch/src/infer/substitution.cc | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/proofsearch/src/infer/substitution.cc b/proofsearch/src/infer/substitution.cc index 8710fb0..584008b 100644 --- a/proofsearch/src/infer/substitution.cc +++ b/proofsearch/src/infer/substitution.cc @@ -22,6 +22,7 @@ #include "atp/core/term_bank.h" #include "atp/core/types.h" +#include <algorithm> #include <vector> namespace atp { @@ -107,12 +108,8 @@ bool Substitution::occursIn(TermId var, TermId term, const TermBank& bank) const } const Term& t = bank.getTerm(term); - for (TermId const arg : t.args_) { - if (occursIn(var, arg, bank)) { - return true; - } - } - return false; + return std::any_of(t.args_.begin(), t.args_.end(), + [&](TermId arg) { return occursIn(var, arg, bank); }); } void Substitution::clear() { |