int State::index

Definition at line 11 of file State.h.

Referenced by Compare(), RemoteConsole::GetUpdatePrompt(), RemoteShell::GetUpdatePrompt(), StateMachineDimControl::HandleStateChange(), FactGui::handleStateChanged(), StateMachineDimControl::HandleStates(), RemoteControl< Shell >::JsWait(), operator<<(), and SplitStates().