C# (CSharp) Microsoft.Automata.MSO WS1SFormula.ToString Beispiele

Beispiel #1

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

Beispiel #2

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

Beispiel #3

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