Ejemplo n.º 1
0
 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);
 }
Ejemplo n.º 2
0
        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());
        }