/** * @param ds * @param doExplanation * @return a new DependencySet and all the elements of <code>this</code> and <code>ds</code>. */ public DependencySet union(final DependencySet ds, final boolean doExplanation) { final IntSet newDepends = _depends.union(ds._depends); final Set<ATermAppl> newExplain = doExplanation ? // SetUtils.union(_explain, ds._explain) : // Collections.emptySet(); return new DependencySet(_branch, newDepends, newExplain); }
/** * @param ds * @param doExplanation * @return a new DependencySet and all the elements of <code>this</code> and <code>ds</code>. */ public DependencySet union(final DependencySet ds, final boolean doExplanation) { final IntSet newDepends = _depends.union(ds._depends); final Set<ATermAppl> newExplain = doExplanation ? // SetUtils.union(_explain, ds._explain) : // Collections.emptySet(); return new DependencySet(_branch, newDepends, newExplain); }