Searched refs:_decision_hook (Results 1 – 3 of 3) sorted by relevance
19 Lit (*_decision_hook)(void *, bool *); variable86 Lit lit = b->_decision_hook(b->_decision_hook_cookie, done); in TranslateDecisionHook()91 { _decision_hook = f; _decision_hook_cookie = cookie; in RegisterDecisionHook()
171 int (*_decision_hook)(void *, bool *); variable267 { _decision_hook = f; _decision_hook_cookie = cookie; } in RegisterDecisionHook()
96 _decision_hook = NULL; in CSolver()665 if (_decision_hook) { in decide_next_branch()667 s_var2 = (*_decision_hook)(_decision_hook_cookie, &done); in decide_next_branch()