/** * register an axiom * * @param ax axiom */ private void registerAx(AxiomWrapper ax) { ax.signature().forEach(a -> base.computeIfAbsent(a, x -> new HashSet<>()).add(ax)); // check whether the axiom is non-local checkNonLocal(ax, false); checkNonLocal(ax, true); ++nRegistered; }
/** * register an axiom * * @param ax axiom */ private void registerAx(AxiomWrapper ax) { ax.signature().forEach(a -> base.computeIfAbsent(a, x -> new HashSet<>()).add(ax)); // check whether the axiom is non-local checkNonLocal(ax, false); checkNonLocal(ax, true); ++nRegistered; }
/** * register an axiom * * @param ax axiom */ private void registerAx(AxiomWrapper ax) { ax.signature().forEach(a -> base.computeIfAbsent(a, x -> new HashSet<>()).add(ax)); // check whether the axiom is non-local checkNonLocal(ax, false); checkNonLocal(ax, true); ++nRegistered; }
/** * register an axiom * * @param ax axiom */ private void registerAx(AxiomWrapper ax) { ax.signature().forEach(a -> base.computeIfAbsent(a, x -> new HashSet<>()).add(ax)); // check whether the axiom is non-local checkNonLocal(ax, false); checkNonLocal(ax, true); ++nRegistered; }