Searched refs:applyToUnique (Results 1 – 1 of 1) sorted by relevance
187 bool applyToUnique(const ClauseTy *node);378 bool ConstructDecompositionT<C, H>::applyToUnique(const ClauseTy *node) { in applyToUnique() function455 if (applyToUnique(node)) in applyClause()