public WS1SNot(WS1SFormula phi) { this.phi = phi; }
public WS1SOr(WS1SFormula phi1, WS1SFormula phi2) { this.phi1 = phi1; this.phi2 = phi2; }
public WS1SAnd(WS1SFormula <T> phi1, WS1SFormula <T> phi2) { this.phi1 = phi1; this.phi2 = phi2; }
public WS1SExists(string var, WS1SFormula phi) { this.X = var; this.phi = phi; }
public WS1SExists(Variable var, WS1SFormula <T> phi) { this.var = var; this.phi = phi; }