Searched refs:branching_priority_ (Results 1 – 2 of 2) sorted by relevance
1157 int branching_priority() const { return branching_priority_; } in branching_priority()1202 int branching_priority_ = 0; variable
323 if (priority == branching_priority_) return; in SetBranchingPriority()324 branching_priority_ = priority; in SetBranchingPriority()