Searched refs:sentinel_pushed_ (Results 1 – 1 of 1) sorted by relevance
971 sentinel_pushed_(0), in Search()990 sentinel_pushed_(0), in Search()1086 int sentinel_pushed_; member in operations_research::Search1946 searches_.back()->sentinel_pushed_--; in BacktrackOneLevel()1983 searches_.back()->sentinel_pushed_++; in PushSentinel()1993 CHECK_NE(0, search->sentinel_pushed_); in RestartSearch()1995 if (search->sentinel_pushed_ > 1) { in RestartSearch()1998 CHECK_EQ(1, search->sentinel_pushed_); in RestartSearch()2003 if (search->sentinel_pushed_ > 0) { in RestartSearch()2006 CHECK_EQ(0, search->sentinel_pushed_); in RestartSearch()[all …]