/* (non-Javadoc)
* @see JSHOP2.CompileTimeObject#toCode()
*/
public String toCode() {
return "new LTLNegation(" + operand.toCode() + ")";
}
/* (non-Javadoc)
* @see JSHOP2.LTLExpression#applySubstitution(JSHOP2.Term[])
*/
public LTLExpression applySubstitution(Term[] binding) {
return new LTLNegation(operand.applySubstitution(binding));
}
/** @param operandIn the expression for this operator to negate. */
public LTLNegation(LTLExpression operandIn) {
operand = operandIn;
hasTemporalOps = operand.hasTemporalOperators();
}