Searched refs:generate_DFA_dot (Results 1 – 1 of 1) sorted by relevance
54 private boolean generate_DFA_dot = false; field in Tool1097 return generate_DFA_dot;1289 public void setGenerate_DFA_dot(boolean generate_DFA_dot) {1290 this.generate_DFA_dot = generate_DFA_dot;