Searched refs:marker_stack_ (Results 1 – 1 of 1) sorted by relevance
961 marker_stack_(), in Search()980 marker_stack_(), in Search()994 ~Search() { gtl::STLDeleteElements(&marker_stack_); } in ~Search()1074 std::vector<StateMarker*> marker_stack_; member in operations_research::Search1591 searches_.back()->marker_stack_.push_back(m); in PushState()1601 CHECK(!searches_.back()->marker_stack_.empty()) in PopState()1610 searches_.back()->marker_stack_.pop_back(); in PopState()2052 while (!c->marker_stack_.empty()) { in JumpToSentinelWhenNested()2053 StateMarker* const m = c->marker_stack_.back(); in JumpToSentinelWhenNested()2055 p->marker_stack_.push_back(m); in JumpToSentinelWhenNested()[all …]