Function NetworKit::GlobalState::setReceivedSIGINT

Function Documentation

void NetworKit::GlobalState::setReceivedSIGINT(bool isReceivedSIGINT)