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)
{
}
