C# (CSharp) MSOZ3 WS1SZ3And Examples

Example #1

File: MSOZ3.cs Project: johnyenter-briars/AutomataTutorUpdates

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Subset(var1, var2));
     }
     return(WS1SZ3);
 }

Example #2

File: MSOZ3.cs Project: johnyenter-briars/AutomataTutorUpdates

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
     {
         WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Not(new WS1SZ3Exists(MSOConsts.defaultVar, new WS1SZ3Succ(MSOConsts.defaultVar, var1))));
     }
     return(WS1SZ3);
 }

Example #3

File: MSOZ3.cs Project: johnyenter-briars/AutomataTutorUpdates

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

Example #4

File: MSOZ3.cs Project: AutomataTutor/automatatutor-backend

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Subset(var1, var2));
     return WS1SZ3;
 }

Example #5

File: MSOZ3.cs Project: AutomataTutor/automatatutor-backend

 public override WS1SZ3Formula ToWS1SZ3()
 {
     if (WS1SZ3 == null)
         WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Not(new WS1SZ3Exists(MSOConsts.defaultVar, new WS1SZ3Succ(MSOConsts.defaultVar, var1))));
     return WS1SZ3;
 }

Example #6

File: MSOZ3.cs Project: AutomataTutor/automatatutor-backend

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