Ejemplo n.º 1
0
 public IsEmptyQueryDef(FastToken isempty, BuiltinExp expr, bool isTrans)
     : base(isempty)
 {
     this.expr = expr;
     this.isTrans = isTrans;
 }
Ejemplo n.º 2
0
 public EquivQueryDef(FastToken equiv, BuiltinExp expr1, BuiltinExp expr2, bool isTransEquiv)
     : base(equiv)
 {
     this.expr1 = expr1;
     this.expr2 = expr2;
     this.isTransEquiv = isTransEquiv;
 }