/// <summary>
/// Constructor for Ltl expression for unary operators
/// </summary>
/// <param name="operator">Unary operator</param>
/// <param name="inner"></param>
/// <exception cref="TargetParameterCountException">Operator provided was not unary</exception>
public LtlExpression(Operators @operator, LtlExpression inner)
{
if ((int)@operator > 31)
{
throw new TargetParameterCountException("Unary operators take only 1 expression as parameter");
}
Operator = @operator;
InnerLeft = inner;
}
/// <summary>
/// Constructor for Ltl expression for binary operators
/// </summary>
/// <param name="operator">Binary operator</param>
/// <param name="innerLeft"></param>
/// <param name="innerRight"></param>
public LtlExpression(Operators @operator, LtlExpression innerLeft, LtlExpression innerRight)
{
Operator = @operator;
InnerLeft = innerLeft;
InnerRight = innerRight;
}