C# (CSharp) MSOZ3 MSOIf示例

示例#1

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

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
     {
         var l = new MSOIf(left, right).ToWS1S(solver);
         var r = new MSOIf(right, left).ToWS1S(solver);
         WS1S = new WS1SAnd(l, r);
     }
     return(WS1S);
 }

示例#2

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

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
     {
         var l = new MSOIf(left, right).ToWS1S(solver);
         var r = new MSOIf(right, left).ToWS1S(solver);
         WS1S = new WS1SAnd(l,r);
     }
     return WS1S;
 }