internal void UpdateStateVariable(StateVariable stateVariable) { event_server.QueueUpdate(stateVariable); }