Beispiel #1
0
 public String getOperatorName() {
   return TreeNodeSlideParser.TREE_NODE_REHEIGHT
       + "("
       + multree.getId()
       + ","
       + species.getId()
       + ")";
 }