[][src]Function reasonable::reasoner::get_unique

pub fn get_unique(src: &Vec<(u32, (u32, u32))>, rv: &mut Vec<(u32, (u32, u32))>)

removes from rv the triples that are in src. src is sorted