private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }
private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }
private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }
private void buildIndices() { reset(); AxiomMapBuilder builder = new AxiomMapBuilder(); currentExplanation.forEach(ax -> ax.accept(builder)); currentExplanation.forEach( ax -> ax.signature().forEach(c -> axioms.computeIfAbsent(c, x -> new HashSet<>()))); }