Esempio n. 1
0
 public MSOZ3ExistsFO(String variable, MSOZ3Formula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }
Esempio n. 2
0
 public MSOZ3If(MSOZ3Formula left, MSOZ3Formula right)
 {
     this.left = left;
     this.right = right;
 }
Esempio n. 3
0
 public MSOZ3Not(MSOZ3Formula phi)
 {
     this.phi = phi;
 }
Esempio n. 4
0
 public MSOZ3ForallSO(String variable, MSOZ3Formula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }
Esempio n. 5
0
 public MSOZ3ExistsFO(String variable, MSOZ3Formula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }
Esempio n. 6
0
 public MSOZ3Not(MSOZ3Formula phi)
 {
     this.phi = phi;
 }
Esempio n. 7
0
 public MSOZ3If(MSOZ3Formula left, MSOZ3Formula right)
 {
     this.left  = left;
     this.right = right;
 }
Esempio n. 8
0
 public MSOZ3ForallSO(String variable, MSOZ3Formula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }