Searched refs:setPropEngine (Results 1 – 2 of 2) sorted by relevance
501 inline void setPropEngine(prop::PropEngine* propEngine) { in setPropEngine() function
963 d_theoryEngine->setPropEngine(d_propEngine); in finishInit()