Searched refs:applyToFirst (Results 1 – 1 of 1) sorted by relevance
192 bool applyToFirst(const ClauseTy *node, llvm::iterator_range<Iterator> range);389 bool ConstructDecompositionT<C, H>::applyToFirst( in applyToFirst() function407 return applyToFirst(node, llvm::reverse(leafs)); in applyToInnermost()414 return applyToFirst(node, llvm::iterator_range(leafs)); in applyToOutermost()