Exemple #1
0
 private void SetIDFree()
 {
     do
     {
         id_set = id_set_zähler;
         id_set_zähler++;
     } while (!Dart.IsSetIDFree(id_set));
 }