public WS1SZ3Exists(String variable, WS1SZ3Formula phi)
{
this.phi = phi;
this.variable = variable;
}
public WS1SZ3Not(WS1SZ3Formula phi)
{
this.phi = phi;
}
public WS1SZ3And(WS1SZ3Formula left, WS1SZ3Formula right)
{
this.left = left;
this.right = right;
}
public WS1SZ3Exists(String variable, WS1SZ3Formula phi)
{
this.phi = phi;
this.variable = variable;
}
public WS1SZ3Not(WS1SZ3Formula phi)
{
this.phi = phi;
}
public WS1SZ3And(WS1SZ3Formula left, WS1SZ3Formula right)
{
this.left = left;
this.right = right;
}