Searched refs:applyIf (Results 1 – 1 of 1) sorted by relevance
203 bool applyIf(const ClauseTy *node, Predicate shouldApply);424 bool ConstructDecompositionT<C, H>::applyIf(const ClauseTy *node, in applyIf() function441 return applyIf(node, [](auto) { return true; }); in applyToAll()798 bool applied = applyIf(node, [&](const auto &leaf) { in applyClause()