public Until(TlaExpr left, TlaExpr right) : base(left, right)
{
}
public BinaryExpression(TlaExpr left, TlaExpr right)
{
this.Left = left;
this.Right = right;
}
public Globally(TlaExpr proposition) : base(proposition)
{
}
public Release(TlaExpr left, TlaExpr right) : base(left, right)
{
}
public Future(TlaExpr proposition) : base(proposition)
{
}
public Next(TlaExpr proposition) : base(proposition)
{
}
public And(TlaExpr left, TlaExpr right) : base(left, right)
{
}
public Impl(TlaExpr left, TlaExpr right) : base(left, right)
{
}
public Or(TlaExpr left, TlaExpr right) : base(left, right)
{
}
public UnaryExpression(TlaExpr child)
{
this.Child = child;
}
public TlaExprFormula(TlaExpr expr)
{
this.Expression = expr;
}