public DotExpression(Expression expr, Identifier count) : base("dot", ExpressionKind.Query, expr) { int k; if (!int.TryParse(count.Name, out k)) throw new Bek.Query.QueryParseException(count.Line, count.Pos, "Invalid element count"); NrOfElements = k; }
public EliminateEpsilonsExpression(Expression automaton) : base("eliminateEpsilons", ExpressionKind.Automaton, automaton) { }
public JoinExpression(Expression transducer1, Expression transducer2) : base("join", ExpressionKind.Transducer, transducer1, transducer2) { }
public MembershipExpression(Expression member, Expression automaton) : base("member", ExpressionKind.Query, member, automaton) { }
public IntersectExpression(Expression automaton1, Expression automaton2) : base("intersect", ExpressionKind.Automaton, automaton1, automaton2) { }
public IsEmptyExpression(Expression automaton) : base("isempty", ExpressionKind.Query, automaton) { }
public SubsetExpression(Expression automaton1, Expression automaton2) : base("subset", ExpressionKind.Query, automaton1, automaton2) { }
public FullEquivalenceExpression(Expression transducer1, Expression transducer2) : base("eq", ExpressionKind.Query, transducer1, transducer2) { }
public RegexExpression(Expression pat) : base("re", ExpressionKind.Automaton, pat) { }
public RestrictExpression(Expression transducer, Expression automaton) : base("restrict", ExpressionKind.Transducer, transducer, automaton) { }
public PartialEquivalenceExpression(Expression transducer1, Expression transducer2) : base("eq1", ExpressionKind.Query, transducer1, transducer2) { }
public MinusExpression(Expression automaton1, Expression automaton2) : base("minus", ExpressionKind.Automaton, automaton1, automaton2) { }
public MinimizeExpression(Expression automaton) : base("minimize", ExpressionKind.Automaton, automaton) { }
public ExploreExpression(Expression transducer) : base("explore", ExpressionKind.Transducer, transducer) { }
public DeterminizeExpression(Expression automaton) : base("determinize", ExpressionKind.Automaton, automaton) { }
public BoundedEquivalenceExpression(string bound, Expression transducer1, Expression transducer2) : base("eqB", ExpressionKind.Query, new Expression(bound, ExpressionKind.Integer), transducer1, transducer2) { }
public DisplayExpression(Expression expr) : base("display", ExpressionKind.Query, expr) { }
public ImageExpression(Expression transducer, Expression input) : base("image", ExpressionKind.Automaton, transducer, input) { }
public DomainEquivalenceExpression(Expression transducer1, Expression transducer2) : base("eqD", ExpressionKind.Query, transducer1, transducer2) { }
public InvimageExpression(Expression transducer, Expression automaton) : base("invimage", ExpressionKind.Automaton, transducer, automaton) { }
public DomainExpression(Expression transducer) : base("dom", ExpressionKind.Automaton, transducer) { }
public ComplementExpression(Expression automaton) : base("~", ExpressionKind.Automaton, automaton) { }
public DotExpression(Expression expr) : base("dot", ExpressionKind.Query, expr) { }
public JsExpression(Expression transducer) : base("js", ExpressionKind.Query, transducer) { }
public LetExpression(string variable, Expression expr) : base(variable, ExpressionKind.Query, expr) { }