Searched refs:applyToAll (Results 1 – 1 of 1) sorted by relevance
205 bool applyToAll(const ClauseTy *node);440 bool ConstructDecompositionT<C, H>::applyToAll(const ClauseTy *node) { in applyToAll() function655 applied = applyToAll(node); in applyClause()733 return applyToAll(node); in applyClause()748 return applyToAll(node); in applyClause()763 return applyToAll(node); in applyClause()778 return applyToAll(node); in applyClause()1018 return applyToAll(node); in applyClause()1103 return applyToAll(node); in applyClause()