Searched refs:start_unanchored (Results 1 – 4 of 4) sorted by relevance
579 if (i->index() != start_unanchored() && i->index() != start()) in Flatten()618 if (start_unanchored() == 0) { in Flatten()620 } else if (start_unanchored() == start()) { in Flatten()652 if (!rootmap->has_index(start_unanchored())) in MarkSuccessors()653 rootmap->set_new(start_unanchored(), rootmap->size()); in MarkSuccessors()659 stk->push_back(start_unanchored()); in MarkSuccessors()
202 int start_unanchored() { return start_unanchored_; } in start_unanchored() function
877 id == prog_->start_unanchored() && id != prog_->start()) in AddToQueue()1727 params->anchored ? prog_->start() : prog_->start_unanchored(), in AnalyzeSearchHelper()
1177 if (prog_->start() == 0 && prog_->start_unanchored() == 0) { in Finish()