public String nodeLabel(){
  StringBuilder sb=new StringBuilder();
  sb.append("{a: ");
  sb.append(Formatter.convert(alpha));
  sb.append("|b: ");
  sb.append(Formatter.convert(beta));
  if (set) {
    sb.append("| ");
    sb.append(Formatter.convert(value));
  }
  sb.append("}");
  return sb.toString();
}

public String nodeLabel ( ) { StringBuilder sb = new StringBuilder ( ) ; sb . append ( "{a: " ) ; sb . append ( Formatter . convert ( alpha ) ) ; sb . append ( "|b: " ) ; sb . append ( Formatter . convert ( beta ) ) ; if ( set ) { sb . append ( "| " ) ; sb . append ( Formatter . convert ( value ) ) ; } sb . append ( "}" ) ; return sb . toString ( ) ; }
compute label for dotty output . to try to maximize utility , we want to show alpha beta in symbol font . however , once score has been set , we can ' t since then " score
