Ejemplos de MSOZ3 MSOFormula.CheckUseOfVars en C# (CSharp)

Ejemplo n.º 1

Archivo: MSO.cs Proyecto: johnyenter-briars/AutomataTutorUpdates

 internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar)
 {
     if (!sovar.Contains(variable))
     {
         var fov1 = fovar.ToArray().ToList();
         fov1.Add(variable);
         if (phi.CheckUseOfVars(fov1, sovar))
         {
             return(true);
         }
     }
     return(false);
 }

Ejemplo n.º 2

Archivo: MSO.cs Proyecto: johnyenter-briars/AutomataTutorUpdates

 internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar)
 {
     return(phi.CheckUseOfVars(fovar, sovar));
 }

Ejemplo n.º 3

Archivo: MSO.cs Proyecto: johnyenter-briars/AutomataTutorUpdates

 internal override bool CheckUseOfVars(List <string> fovar, List <string> sovar)
 {
     return(left.CheckUseOfVars(fovar, sovar) && right.CheckUseOfVars(fovar, sovar));
 }