Infoset duplizieren / löschen

Infoset duplizieren

Um ein bereits bestehendes Infoset zu duplizieren beim gewünschten Datensatz das Punkte-Icon anklicken (1) und "Infoset duplizieren" wählen (2):

Es wird eine Kopie des Datensatzes erstellt. In der Folge können die Register "Infoset" (3) und "Positionen" (4) bearbeitet bzw. ergänzt werden.

Infoset löschen

Um ein bestehendes Infoset zu löschen beim gewünschten Datensatz das Punkte-Icon anklicken (1) und "Infoset löschen" wählen (2):

Es erscheint folgende Systemmeldung:

Mit "Weiter" die Löschung bestätigen oder abbrechen.