Searched refs:getInstantiationNotify (Results 1 – 2 of 2) sorted by relevance
187 InstantiationNotify* getInstantiationNotify() { return &d_notify; } in getInstantiationNotify() function
133 d_instantiate->addNotify(d_inst_prop->getInstantiationNotify()); in QuantifiersEngine()