eWorkerState     1352 dmtcp_coordinator.cpp 			  : (WorkerState::eWorkerState)min );
eWorkerState     1362 dmtcp_coordinator.cpp 			  : (WorkerState::eWorkerState)max );
eWorkerState       90 dmtcpmessagetypes.cpp WorkerState::eWorkerState WorkerState::value() const
eWorkerState       93 dmtcpmessagetypes.cpp   return (eWorkerState) _state;
eWorkerState      115 dmtcpmessagetypes.h       WorkerState ( eWorkerState s = UNKNOWN ) : _state ( s ) {}
eWorkerState      120 dmtcpmessagetypes.h       eWorkerState value() const;