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