Ejemplos de Microsoft.Automata.MSO WS1SFormula.ToString en C# (CSharp)

Ejemplo n.º 1

 public override string ToString()
 {
     return("~" + phi.ToString());
 }

Ejemplo n.º 2

 public override string ToString()
 {
     return("Exists(" + var + "," + phi.ToString() + ")");
 }

Ejemplo n.º 3

 public override string ToString()
 {
     return("(" + phi1.ToString() + "|" + phi2.ToString() + ")");
 }