Searched refs:applyToOutermost (Results 1 – 1 of 1) sorted by relevance
200 bool applyToOutermost(const ClauseTy *node);418 bool ConstructDecompositionT<C, H>::applyToOutermost(const ClauseTy *node) { in applyToOutermost() function1089 return applyToOutermost(node); in applyClause()1096 return applyToOutermost(node); in applyClause()