setState          782 dmtcp_coordinator.cpp       client->setState ( msg.state );
setState           46 dmtcp_coordinator.h       void setState ( WorkerState value ) { _state = value; }