/* 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); }