Searched refs:RegisterDLevelHook (Results 1 – 4 of 4) sorted by relevance
80 void RegisterDLevelHook(void (*f)(void *, int), void *cookie) in RegisterDLevelHook() function81 { _solver->RegisterDLevelHook(f, cookie); } in RegisterDLevelHook()
264 void RegisterDLevelHook(void (*f)(void *, int), void *cookie) in RegisterDLevelHook() function
140 d_mng->RegisterDLevelHook(SATDLevelHook, this); in createManager()
183 virtual void RegisterDLevelHook(void (*f)(void *, int), void *cookie)=0;