public override WS1SZ3Formula ToWS1SZ3()
{
if (WS1SZ3 == null)
{
WS1SZ3 = new WS1SZ3Exists(variable, phi.ToWS1SZ3());
}
return(WS1SZ3);
}
public override WS1SZ3Formula ToWS1SZ3()
{
if (WS1SZ3 == null)
{
WS1SZ3 = new WS1SZ3Not(phi.ToWS1SZ3());
}
return(WS1SZ3);
}
public override WS1SZ3Formula ToWS1SZ3()
{
if (WS1SZ3 == null)
{
WS1SZ3 = new WS1SZ3Not(new WS1SZ3And(left.ToWS1SZ3(), new WS1SZ3Not(right.ToWS1SZ3())));
}
return(WS1SZ3);
}
public override WS1SZ3Formula ToWS1SZ3()
{
return(new WS1SZ3Not(new WS1SZ3And(new WS1SZ3Not(left.ToWS1SZ3()), new WS1SZ3Not(right.ToWS1SZ3()))));
}
public override WS1SZ3Formula ToWS1SZ3()
{
if (WS1SZ3 == null)
{
WS1SZ3 = new WS1SZ3Not(new WS1SZ3Exists(variable, new WS1SZ3And(new WS1SZ3Singleton(variable), new WS1SZ3Not(phi.ToWS1SZ3()))));
}
return(WS1SZ3);
}