public override void DecRef() { lock (this) { base.DecRef(); System.Collections.IEnumerator it = norms.Values.GetEnumerator(); while (it.MoveNext()) { Norm norm = (Norm)it.Current; norm.DecRef(); } } }