コード例 #1
0
 public WS1SExists(String variable, WS1SFormula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }
コード例 #2
0
 public WS1SNot(WS1SFormula phi)
 {
     this.phi = phi;
 }
コード例 #3
0
 public WS1SOr(WS1SFormula left, WS1SFormula right)
 {
     this.left  = left;
     this.right = right;
 }
コード例 #4
0
 public WS1SExists(String variable, WS1SFormula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }
コード例 #5
0
 public WS1SNot(WS1SFormula phi)
 {
     this.phi = phi;
 }
コード例 #6
0
 public WS1SOr(WS1SFormula left, WS1SFormula right)
 {
     this.left = left;
     this.right = right;
 }