Beispiel #1
0
 private void ObjectInvariant()
 {
     Contract.Invariant(Connected.TrueForAll(x => Connected.FindAll(y => x == y).Count <= 1));
 }