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