public virtual object Visit(CogniPy.CNL.DL.DisjointUnion e) { for (int i = 0; i < e.Union.Count; i++) { e.Union[i].accept(this); } return(e); }
public object Visit(CogniPy.CNL.DL.DisjointUnion e) { StringBuilder sb = new StringBuilder(); sb.Append(e.name); sb.Append("¬≡("); bool first = true; foreach (var x in e.Union) { if (first) { first = false; } else { sb.Append(","); } sb.Append(x.accept(this)); } sb.Append(")"); return(sb.ToString()); }