sophia_reasoner 0.10.0

A Rust toolkit for RDF and Linked Data - reasoner over Simple, RDF and RDF-Schema entailments
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

pub trait UsizeIteratorDedup: Iterator<Item = usize> + Sized {
    fn dedup(self) -> Dedup<Self> {
        Dedup {
            inner: self,
            last: None,
        }
    }
}
impl<I: Iterator<Item = usize>> UsizeIteratorDedup for I {}

pub struct Dedup<I> {
    inner: I,
    last: Option<usize>,
}

impl<I: Iterator<Item = usize>> Iterator for Dedup<I> {
    type Item = usize;

    fn next(&mut self) -> Option<Self::Item> {
        let cand = self.inner.next();
        if cand.is_none() || cand != self.last {
            self.last = cand;
            cand
        } else {
            self.next()
        }
    }
}