Searched refs:PushSentinel (Results 1 – 2 of 2) sorted by relevance
1465 PushSentinel(SOLVER_CTOR_SENTINEL); in Init()1929 PushSentinel(INITIAL_SEARCH_SENTINEL); in NewSearch()1978 void Solver::PushSentinel(int magic_code) { in PushSentinel() function in operations_research::Solver1999 PushSentinel(ROOT_NODE_SENTINEL); in RestartSearch()2007 PushSentinel(INITIAL_SEARCH_SENTINEL); in RestartSearch()2130 PushSentinel(ROOT_NODE_SENTINEL); in NextSolution()2250 PushSentinel(top_level ? ROOT_NODE_SENTINEL : INITIAL_SEARCH_SENTINEL); in NextSolution()2317 PushSentinel(INITIAL_SEARCH_SENTINEL); in CheckAssignment()
3013 void PushSentinel(int magic_code);