Elemente
← Elemente: Strukturfenster ↑ Eine kurze Einführung in die Alegebra WorkBench ↑ Elemente: Neu-Fenster →
Einstellungen
Die AWB bietet in verschiedenen Bereichen mehrere Möglichkeiten der Darstellung, Berechnung usw. Über das Menü Einstellungen lassen sich die meisten verstellbaren Parameter Ihren persönlichen Vorlieben anpassen.
Ein Überblick:
- Strukturfenster-Menü: Es kann gewählt werden, in welcher Form das Menü des Strukturfensters angeboten werden soll.
- Strategie beim Autozeichnen: Im Strukturfenster besteht die Möglichkeit, das Poset auf kanonische Art zeichnen zu lassen (siehe Button 13:
). Die Methodik dieses Prozesses kann hier bestimmt werden.
Es ist allerdings zu beachten, dass nicht unbedingt die optimale Lösung gefunden wird, da diese Routinen aufgrund der Zeitkomplexität nur Annäherungen an die gewünschte Eigenschaft liefern. - Struktur-Information: Es kann gewählt werden, ob bei den Strukturinformationen (siehe Button 23:
) ein Antikettenbeispiel berechnet werden soll oder nicht. Zudem wird dort die Farbe der Markierungen (Kanten und Punkte) festgelegt. - Elementnamen anzeigen: Einstellung, ob im Strukurfenster die Elemente angeschrieben sein sollen oder nicht.
- Relations-Linien gerichtet: Einstellung, ob im Strukturfenster die Kanten, welche die Teilordnung auf der Struktur angeben, gerichtet gezeichnet sein sollen oder nicht.
- Automatisches Speichern (zeitintensiv)
- Berechnungsunterbrechung möglich bei...: Es kann gewählt werden, dass spezifische Berechnungsvorgänge unterbrochen werden können. Das kann nützlich sein, falls die Berechnungskomplexität eines Beispiels falsch eingeschätzt wurde und der Computer für lange Zeit mit Rechnen beschäftigt ist. Über den Windows-Task-Manager besteht dann immer noch die etwas weniger elegante Variante des Abbrechens.
- Darstellung: In dem sich öffnenden Fenster können etliche Notationen für Ordnungsrelationen, Halbverbands-Operationen, logische Symbole und anderes festgelegt werden, die dann in der gesamten AWB gelten.
- Sprache: Die Sprache der Hilfstexte und Beschriftungen kann gewählt werden (momentan Deutsch und Englisch). (Siehe auch FAQ.)
- Struktur-Dateiformat: Es kann zwischen zwei nicht-kompatiblen Dateiformaten gewählt werden, in denen die Strukturen abgespeichert werden sollen. Wird nicht explizit das alte Format benötigt, ist die neuere Methode empfohlen, weil dabei mehr Informationen über die Struktur gespeichert werden als beim alten Format.