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