Esempi in C# (CSharp) per PAT.Common.Classes.LTL2DRA APSet.getAP

Esempio n. 1

File: APElement.cs Progetto: vu111293/pat-design

        public string toString(APSet ap_set, bool spaces)
        {
            if (ap_set.size() == 0)
            {
                return("\u03A3");
            }
            StringBuilder r = new StringBuilder();

            for (int i = 0; i < ap_set.size(); i++)
            {
                if (i >= 1)
                {
                    r.Append("&");
                }
                if (!this.get(i))
                {
                    r.Append("!");
                }
                else
                {
                    if (spaces)
                    {
                        r.Append(" ");
                    }
                }
                r.Append(ap_set.getAP(i));
            }
            return(r.ToString());
        }

Esempio n. 2

File: APElement.cs Progetto: nhannhan159/PAT

 public string toString(APSet ap_set, bool spaces)
 {
     if (ap_set.size() == 0)
     {
         return "\u03A3";
     }
     StringBuilder r = new StringBuilder();
     for (int i = 0; i < ap_set.size(); i++)
     {
         if (i >= 1)
         {
             r.Append("&");
         }
         if (!this.get(i))
         {
             r.Append("!");
         }
         else
         {
             if (spaces)
             {
                 r.Append(" ");
             }
         }
         r.Append(ap_set.getAP(i));
     }
     return r.ToString();
 }