public Equivalence(Expression exp1, Expression exp2) : base(exp1.getList()) { this.exp1 = exp1; this.exp2 = exp2; }
public Union(Expression exp1, Expression exp2) : base(exp1.getList()) { this.exp1 = exp1; this.exp2 = exp2; }
public Modulo2(Expression exp1, Expression exp2) : base(exp1.getList()) { this.exp1 = exp1; this.exp2 = exp2; }
public Negation(Expression exp) : base(exp.getList()) { this.exp = exp; }