protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }
protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }
protected MultiValueMap<ATermAppl, ATermAppl> getSubsumptions(final Graph graph) { final MultiValueMap<ATermAppl, ATermAppl> subsumers = new MultiValueMap<>(); final ExtendedIterator<?> it = graph.find(Node.ANY, PRED_SUB, Node.ANY); while (it.hasNext()) { final Triple tri = (Triple) it.next(); final Node sub = tri.getSubject(); final Node sup = tri.getObject(); if (NameStore.isAnon(sub) || NameStore.isAnon(sup)) continue; subsumers.add(toATermAppl(sub), toATermAppl(sup)); } it.close(); return subsumers; }