From c4783062ff14bb8f402b09bbaca96aacb612a98c Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Tue, 27 Dec 2022 21:29:29 -0700 Subject: [PATCH] delete ChunkedTerm, chunked iteration --- src/iterators.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/iterators.rs b/src/iterators.rs index 8750fe87..eac1b185 100644 --- a/src/iterators.rs +++ b/src/iterators.rs @@ -424,6 +424,7 @@ pub(crate) fn breadth_first_iter<'a>(term: &'a Term, iterable_root: bool) -> Fac FactIterator::new(term, iterable_root) } +/* #[derive(Debug)] pub(crate) enum ChunkedTerm<'a> { HeadClause(Atom, &'a Vec), @@ -563,3 +564,4 @@ impl<'a> Iterator for ChunkedIterator<'a> { self.iter.next().map(|term| self.take_chunk(term)) } } +*/ -- 2.54.0