C# (CSharp) MSOZ3 WS1SZ3Succ示例

示例#1

文件： MSOZ3.cs 项目： johnyenter-briars/AutomataTutorUpdates

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3Succ(set1, set2);
     }
     return(WS1SZ3);
 }

示例#2

文件： MSOZ3.cs 项目： AutomataTutor/automatatutor-backend

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3Succ(set1, set2);
     return WS1SZ3;
 }