Searched refs:getFlattenedIterator (Results 1 – 7 of 7) sorted by relevance
229 auto it3 = getFlattenedIterator(it2); in generateClauses()433 auto it3 = getFlattenedIterator(it2); in generateClauses()575 auto it3 = getFlattenedIterator(it2); in generateClauses()
172 return pvi( getFlattenedIterator( in generateClauses()
339 auto it2 = getFlattenedIterator(it1); in generateClauses()
156 return getFlattenedIterator( in operator ()()
815 FlatteningIterator<T> getFlattenedIterator(T it) in getFlattenedIterator() function
186 return pvi( getFlattenedIterator(GenIteratorIterator(lit, *this)) ); in getGeneraingInferenceIterator()
396 …auto it1 = getFlattenedIterator(getMappingIterator(vi( new LeafIterator(this) ), LeafToLDIteratorF… in getAllUnifyingIterator()