public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1SNot(phi.ToWS1S(solver)); } return(WS1S); }
public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1SOr(new WS1SNot(left.ToWS1S(solver)), right.ToWS1S(solver)); } return(WS1S); }
public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1SExists(variable, phi.ToWS1S(solver)); } return(WS1S); }
public override WS1SFormula ToWS1S(CharSetSolver solver) { if (WS1S == null) { WS1S = new WS1SNot(new WS1SExists(variable, new WS1SAnd(new WS1SSingleton(variable), new WS1SNot(phi.ToWS1S(solver))))); } return(WS1S); }