public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) { WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Subset(var1, var2)); } return(WS1SZ3); }
public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) { WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Not(new WS1SZ3Exists(MSOConsts.defaultVar, new WS1SZ3Succ(MSOConsts.defaultVar, var1)))); } return(WS1SZ3); }
public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) { WS1SZ3 = new WS1SZ3And(left.ToWS1SZ3(), right.ToWS1SZ3()); } return(WS1SZ3); }
public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Subset(var1, var2)); return WS1SZ3; }
public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) WS1SZ3 = new WS1SZ3And(new WS1SZ3Singleton(var1), new WS1SZ3Not(new WS1SZ3Exists(MSOConsts.defaultVar, new WS1SZ3Succ(MSOConsts.defaultVar, var1)))); return WS1SZ3; }
public override WS1SZ3Formula ToWS1SZ3() { if (WS1SZ3 == null) WS1SZ3 = new WS1SZ3And(left.ToWS1SZ3(), right.ToWS1SZ3()); return WS1SZ3; }