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