/* Returns a string representation of this action. */
public final String toString() {
return "<Action " + pred.toString() + ">";
}
public final String getLocation() {
return "<Action " + pred.getLocation() + ">";
}
public static Value getValue(SemanticNode expr) {
return (Value) expr.getToolObject(TLCGlobals.ToolId);
}