Exemplo n.º 1
0
 public MSOExistsFO(String variable, MSOFormula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }
Exemplo n.º 2
0
 public MSOIff(MSOFormula left, MSOFormula right)
 {
     this.left  = left;
     this.right = right;
 }
Exemplo n.º 3
0
 public MSONot(MSOFormula phi)
 {
     this.phi = phi;
 }
Exemplo n.º 4
0
 public MSOForallSO(String variable, MSOFormula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }
Exemplo n.º 5
0
 public MSOExistsFO(String variable, MSOFormula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }
Exemplo n.º 6
0
 public MSONot(MSOFormula phi)
 {
     this.phi = phi;
 }
Exemplo n.º 7
0
 public MSOIff(MSOFormula left, MSOFormula right)
 {
     this.left = left;
     this.right = right;
 }
Exemplo n.º 8
0
 public MSOForallSO(String variable, MSOFormula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }