Searched refs:impacted_potential_arcs_ (Results 1 – 2 of 2) sorted by relevance
236 impacted_potential_arcs_.resize(index + 1); in AdjustSizeFor()307 impacted_potential_arcs_[tail].push_back(arc_index); in AddArc()308 impacted_potential_arcs_[NegationOf(head)].push_back(arc_index); in AddArc()310 impacted_potential_arcs_[offset_var].push_back(arc_index); in AddArc()392 if (var >= impacted_potential_arcs_.size()) continue; in PropagateOptionalArcs()396 for (const OptionalArcIndex arc_index : impacted_potential_arcs_[var]) { in PropagateOptionalArcs()
247 impacted_potential_arcs_; variable