Exemplo n.º 1
0
 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
     {
         WS1S = new WS1SSuccN(set1, set2, n);
     }
     return(WS1S);
 }
Exemplo n.º 2
0
 public override WS1SFormula ToWS1S(CharSetSolver solver)
 {
     if (WS1S == null)
         WS1S = new WS1SSuccN(set1, set2,n);
     return WS1S;
 }