Searched refs:d_masterEENotify (Results 1 – 2 of 2) sorted by relevance
188 NotifyClass d_masterEENotify; variable
225 …d_masterEqualityEngine = new eq::EqualityEngine(d_masterEENotify,getSatContext(), "theory::master"… in finishInit()293 d_masterEENotify(*this), in TheoryEngine()