/* (non-Javadoc)
* @see JSHOP2.CompileTimeObject#toCode()
*/
public String toCode() {
return "new LTLNegation(" + operand.toCode() + ")";
}
/* (non-Javadoc)
* @see JSHOP2.CompileTimeObject#toCode()
*/
public String toCode() {
return "new LTLNegation(" + operand.toCode() + ")";
}