public MSOExistsFO(String variable, MSOFormula phi)
{
this.phi = phi;
this.variable = variable;
}
public MSOIff(MSOFormula left, MSOFormula right)
{
this.left = left;
this.right = right;
}
public MSONot(MSOFormula phi)
{
this.phi = phi;
}
public MSOForallSO(String variable, MSOFormula phi)
{
this.phi = phi;
this.variable = variable;
}
public MSOExistsFO(String variable, MSOFormula phi)
{
this.phi = phi;
this.variable = variable;
}
public MSONot(MSOFormula phi)
{
this.phi = phi;
}
public MSOIff(MSOFormula left, MSOFormula right)
{
this.left = left;
this.right = right;
}
public MSOForallSO(String variable, MSOFormula phi)
{
this.phi = phi;
this.variable = variable;
}