C# (CSharp) MSOZ3 WS1SOrの例

コード例 #1

ファイル: MSO.cs プロジェクト: johnyenter-briars/AutomataTutorUpdates

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
     {
         WS1S = new WS1SOr(new WS1SNot(left.ToWS1S(solver)), right.ToWS1S(solver));
     }
     return(WS1S);
 }

コード例 #2

ファイル: MSO.cs プロジェクト: AutomataTutor/automatatutor-backend

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
         WS1S = new WS1SOr(new WS1SNot(left.ToWS1S(solver)),right.ToWS1S(solver));
     return WS1S;
 }