/// <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; }