Example #1
0
 /// <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;
 }
Example #2
0
 /// <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;
 }