Exemplos de MSOZ3 WS1SLessOrEqual em C# (CSharp)

Exemplo n.º 1

Arquivo: MSO.cs Projeto: johnyenter-briars/AutomataTutorUpdates

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
     {
         WS1S = new WS1SLessOrEqual(var1, var2);
     }
     return(WS1S);
 }

Exemplo n.º 2

Arquivo: MSO.cs Projeto: AutomataTutor/automatatutor-backend

 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
         WS1S = new WS1SLessOrEqual(var1,var2);
     return WS1S;
 }