Searched refs:_dlevel_hook_cookie (Results 1 – 2 of 2) sorted by relevance
174 void *_dlevel_hook_cookie; variable265 { _dlevel_hook = f; _dlevel_hook_cookie = cookie; } in RegisterDLevelHook()
696 (*_dlevel_hook)(_dlevel_hook_cookie, 1); in decide_next_branch()813 (*_dlevel_hook)(_dlevel_hook_cookie, 1); in solve()843 (*_dlevel_hook)(_dlevel_hook_cookie, -1); in back_track()