public virtual object Visit(CogniPy.CNL.DL.InstanceOf e) { using (isKindOf.set("C")) { e.C.accept(this); } e.I.accept(this); return(e); }
public object Visit(CogniPy.CNL.DL.InstanceOf e) { StringBuilder sb = new StringBuilder(); sb.Append(e.C.accept(this)); sb.Append(Modality(e.modality)); sb.Append("("); sb.Append(e.I.accept(this)); if (e.I is NamedInstance) { signature.Add(Tuple.Create(EntityKind.Instance, (e.I as NamedInstance).name)); } sb.Append(")"); return(sb.ToString()); }