Searched refs:d_inPreregister (Results 1 – 2 of 2) sorted by relevance
320 d_inPreregister(false), in TheoryEngine()380 if (!d_inPreregister) { in preRegister()382 d_inPreregister = true; in preRegister()431 d_inPreregister = false; in preRegister()
563 bool d_inPreregister; variable