DOTGenerator.java | 44 protected String arrowhead="normal"; field in class:DOTGenerator 149 st.add("arrowhead", arrowhead); 221 edgeST.add("arrowhead", arrowhead); 238 edgeST.add("arrowhead", arrowhead); 390 return arrowhead; 393 public void setArrowheadType(String arrowhead) { 394 this.arrowhead = arrowhead [all...] |