Example #1
0
 public virtual object Visit(CogniPy.CNL.DL.InstanceOf e)
 {
     using (isKindOf.set("C"))
     {
         e.C.accept(this);
     }
     e.I.accept(this);
     return(e);
 }
Example #2
0
        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());
        }