Searched refs:d_hasShutDown (Results 1 – 2 of 2) sorted by relevance
370 bool d_hasShutDown; variable
306 d_hasShutDown(false), in TheoryEngine()347 Assert(d_hasShutDown); in ~TheoryEngine()1015 d_hasShutDown = true; in shutdown()