@Override public Collection<? extends IndexedContextRoot> getPositivelyIndexed() { final Collection<IndexedContextRoot> result = new ArrayList<IndexedContextRoot>( premises_.size()); for (final P subsumption : premises_) { result.addAll(subsumption.getPositivelyIndexed()); } return result; }
@Override public Collection<? extends IndexedContextRoot> getPositivelyIndexed() { final Collection<IndexedContextRoot> result = new ArrayList<IndexedContextRoot>( premises_.size()); for (final P subsumption : premises_) { result.addAll(subsumption.getPositivelyIndexed()); } return result; }
@Override public Collection<? extends IndexedContextRoot> getPositivelyIndexed() { final Collection<IndexedContextRoot> result = new ArrayList<IndexedContextRoot>( premises_.size()); for (final P subsumption : premises_) { result.addAll(subsumption.getPositivelyIndexed()); } return result; }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }