コード例 #1
0
 public Negation(Expression exp)
     : base()
 {
     this.exp = exp;
 }
コード例 #2
0
 public PierceArrow(Expression exp1, Expression exp2)
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #3
0
 public ShefferStroke(Expression exp1, Expression exp2)
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #4
0
 public Implication(Expression exp1, Expression exp2)
     : base()
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #5
0
 public Equivalence(Expression exp1, Expression exp2)
     : base()
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #6
0
 public Intersection(Expression exp1, Expression exp2)
     : base()
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #7
0
 public Modulo2(Expression exp1, Expression exp2)
     : base()
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }
コード例 #8
0
 public Union(Expression exp1, Expression exp2)
     : base()
 {
     this.exp1 = exp1;
     this.exp2 = exp2;
 }