/** * @param explain * @param doExplanation * @return the union as dependencySet */ public DependencySet union(final Set<ATermAppl> explain, final boolean doExplanation) { if (!doExplanation || explain.isEmpty()) return this; return new DependencySet(_branch, _depends.copy(), SetUtils.union(_explain, explain)); }
/** * @param explain * @param doExplanation * @return the union as dependencySet */ public DependencySet union(final Set<ATermAppl> explain, final boolean doExplanation) { if (!doExplanation || explain.isEmpty()) return this; return new DependencySet(_branch, _depends.copy(), SetUtils.union(_explain, explain)); }