C# (CSharp) MSOZ3 WS1SZ3Notの例

コード例 #1

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3Not(phi.ToWS1SZ3());
     }
     return(WS1SZ3);
 }

コード例 #2

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3Not(new WS1SZ3And(left.ToWS1SZ3(), new WS1SZ3Not(right.ToWS1SZ3())));
     }
     return(WS1SZ3);
 }

コード例 #3

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3Not(new WS1SZ3Exists(variable, new WS1SZ3Not(phi.ToWS1SZ3())));
     }
     return(WS1SZ3);
 }

コード例 #4

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3Not(phi.ToWS1SZ3());
     return WS1SZ3;
 }

コード例 #5

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3Not(new WS1SZ3And(left.ToWS1SZ3(), new WS1SZ3Not(right.ToWS1SZ3())));
     return WS1SZ3;
 }

コード例 #6

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

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3Not(new WS1SZ3Exists(variable, new WS1SZ3Not(phi.ToWS1SZ3())));
     return WS1SZ3;
 }