var classzypp_1_1SignalSaver = [ [ "SignalSaver", "classzypp_1_1SignalSaver.html#a1db507c6f864572da91b2adf5a8040be", null ], [ "~SignalSaver", "classzypp_1_1SignalSaver.html#ac44fa6a307eb31209ab258076a55f272", null ], [ "_signum", "classzypp_1_1SignalSaver.html#ae761110ece01a85a39d3b6df2de86b46", null ], [ "_orighandler", "classzypp_1_1SignalSaver.html#a0e38755c373ca92d13c050ad66cbb534", null ] ];