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