public void selectState(EE_State val) { state_ = val; state_selected = true; undefined_selected = false; }