Searched refs:applyToInnermost (Results 1 – 1 of 1) sorted by relevance
196 bool applyToInnermost(const ClauseTy *node);411 bool ConstructDecompositionT<C, H>::applyToInnermost(const ClauseTy *node) { in applyToInnermost() function498 return applyToInnermost(node); in applyClause()1043 if (!applyToInnermost(node)) in applyClause()