minimumState      610 dmtcp_coordinator.cpp                     s.minimumState==WorkerState::RUNNING);
minimumState      659 dmtcp_coordinator.cpp   WorkerState newState = minimumState();
minimumState      784 dmtcp_coordinator.cpp       WorkerState newState = s.minimumState;
minimumState     1129 dmtcp_coordinator.cpp     JASSERT ( minimumState() == WorkerState::UNKNOWN )
minimumState     1140 dmtcp_coordinator.cpp   } else if (minimumState() != WorkerState::RESTARTING &&
minimumState     1141 dmtcp_coordinator.cpp              minimumState() != WorkerState::CHECKPOINTED) {
minimumState     1144 dmtcp_coordinator.cpp       (compId) (hello_remote.compGroup) (minimumState());
minimumState     1163 dmtcp_coordinator.cpp     ( compId ) ( hello_remote.compGroup ) ( minimumState() );
minimumState     1215 dmtcp_coordinator.cpp     JASSERT(s.minimumState != WorkerState::SUSPENDED) (s.minimumState);
minimumState     1227 dmtcp_coordinator.cpp   } else if (s.numPeers > 0 && s.minimumState != WorkerState::RUNNING &&
minimumState     1228 dmtcp_coordinator.cpp              s.minimumState != WorkerState::UNKNOWN) {
minimumState     1233 dmtcp_coordinator.cpp       (s.numPeers) (s.minimumState);
minimumState     1285 dmtcp_coordinator.cpp   if ( s.minimumState == WorkerState::RUNNING && s.minimumStateUnanimous
minimumState     1304 dmtcp_coordinator.cpp       JTRACE ( "delaying checkpoint, workers not ready" ) ( s.minimumState )
minimumState     1351 dmtcp_coordinator.cpp   status.minimumState = ( min==INITIAL_MIN ? WorkerState::UNKNOWN
minimumState     1353 dmtcp_coordinator.cpp   if( status.minimumState == WorkerState::CHECKPOINTED &&
minimumState     1357 dmtcp_coordinator.cpp     status.minimumState = WorkerState::RESTARTING;
minimumState       76 dmtcp_coordinator.h         WorkerState minimumState;
minimumState      110 dmtcp_coordinator.h       WorkerState minimumState() const { return getStatus().minimumState; }