Searched refs:generate_DFA_dot (Results 1 – 1 of 1) sorted by relevance
49 private boolean generate_DFA_dot = false; field in Tool1080 return generate_DFA_dot;1272 public void setGenerate_DFA_dot(boolean generate_DFA_dot) {1273 this.generate_DFA_dot = generate_DFA_dot;