C# (CSharp) Microsoft.Automata.MSO WS1SFormula.ToString примеры использования

Пример #1

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

Пример #2

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

Пример #3

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