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