Exemplo n.º 1
0
 /** Set the value of the final flag for this state */
 public void setFinal(bool final)
 {
     _isFinal = final;
     _graph.getFinalStates().set(_graph.getIndexForState(this), final);
 }