MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / registerClient

Method registerClient

src/common/SignalHandler.cpp:33–36  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

31}
32
33void SignalHandler::registerClient( Signalable *client )
34{
35 _clients.append( client );
36}
37
38void SignalHandler::initialize()
39{

Callers 1

solveMethod · 0.80

Calls 1

appendMethod · 0.45

Tested by

no test coverage detected