Method header

src/main/java/org/sfj/DrawDot.java:383–386

()

    }

    public String header() {
      String w = (directed ? "digraph " : "graph ");
      return w + name + " {";
    }

    @Override
    public String id() {