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