Searched refs:parent_it_end (Results 1 – 1 of 1) sorted by relevance
209 vector<Node>::const_iterator parent_it_end = parents.end(); in propagateForward() local210 for(; parent_it != parent_it_end && !d_conflict; ++ parent_it) { in propagateForward()