* @param ds
* @param doExplanation
* @return
*/
public DependencySet union(DependencySet ds, boolean doExplanation) {
IntSet newDepends = depends.union( ds.depends );
Set<ATermAppl> newExplain;
if( doExplanation ) {
newExplain = SetUtils.union( explain, ds.explain );
}