public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1SSuccN(set1, set2, n); } return(WS1S); }
public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) WS1S = new WS1SSuccN(set1, set2,n); return WS1S; }