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);
}
