setCurrentState   764 dmtcp_restart.cpp   WorkerState::setCurrentState(WorkerState::RESTARTING);
setCurrentState   117 dmtcpmessagetypes.h       static void setCurrentState ( const WorkerState& theValue );
setCurrentState   310 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::UNKNOWN);
setCurrentState   345 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::RUNNING);
setCurrentState   381 dmtcpworker.cpp   WorkerState::setCurrentState ( WorkerState::RUNNING );
setCurrentState   388 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::UNKNOWN);
setCurrentState   511 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::RUNNING);
setCurrentState   523 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::SUSPENDED);
setCurrentState   540 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::FD_LEADER_ELECTION);
setCurrentState   544 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::DRAINED);
setCurrentState   562 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::CHECKPOINTED);
setCurrentState   570 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::NAME_SERVICE_DATA_REGISTERED);
setCurrentState   575 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::DONE_QUERYING);
setCurrentState   587 dmtcpworker.cpp   WorkerState::setCurrentState (WorkerState::REFILLED);
setCurrentState    88 mtcpinterface.cpp     WorkerState::setCurrentState(WorkerState::RESTARTING);
setCurrentState   101 mtcpinterface.cpp   WorkerState::setCurrentState( WorkerState::RUNNING );