private void DenyArc(DynamicArc arc) { arc.UpdateWeight(); if (!modifiedArcs.Contains(arc)) { modifiedArcs.Add(arc); } }