Searched refs:fail_decision (Results 1 – 2 of 2) sorted by relevance
1935 bool Solver::BacktrackOneLevel(Decision** const fail_decision) { in BacktrackOneLevel() argument1955 (*fail_decision) = reinterpret_cast<Decision*>(info.ptr_info); in BacktrackOneLevel()
3016 bool BacktrackOneLevel(Decision** fail_decision);