Exemple #1
0
 /** @param operandIn the expression for this operator to negate. */
 public LTLNegation(LTLExpression operandIn) {
   operand = operandIn;
   hasTemporalOps = operand.hasTemporalOperators();
 }