Searched refs:start_unanchored (Results 1 – 4 of 4) sorted by relevance
581 if (i->index() != start_unanchored() && i->index() != start()) in Flatten()620 if (start_unanchored() == 0) { in Flatten()622 } else if (start_unanchored() == start()) { in Flatten()654 if (!rootmap->has_index(start_unanchored())) in MarkSuccessors()655 rootmap->set_new(start_unanchored(), rootmap->size()); in MarkSuccessors()661 stk->push_back(start_unanchored()); in MarkSuccessors()
201 int start_unanchored() { return start_unanchored_; } in start_unanchored() function
894 id == prog_->start_unanchored() && id != prog_->start()) in AddToQueue()1729 params->anchored ? prog_->start() : prog_->start_unanchored(), in AnalyzeSearchHelper()
1188 if (prog_->start() == 0 && prog_->start_unanchored() == 0) { in Finish()