D120.de/forum

Zur 1) Wenn man den BSP-Baum aufgestellt hat funktioniert die Traversierung wiefolgt: Im Folgenden ist vorne immer in Richtung der Normalen und hinten eben entgegengesetzt. Ziel ist es die hinteren Flächen zuerst zu malen, damit sie beim Zeichnen der Restlichen nur von solchen übermalt werden, die a...

Warum willst Du nicht über die Kinder iterieren? Gerade die sind doch der ausschlaggebende Anteil einer Composite-Struktur, von daher macht es schon Sinn, wenn der Iterator auch über die Leafs läuft. [...] Ja natürlich muss man über die Kinder iterieren. Aber ich wollte etwas umgehen wie: abstract ...

Salut! Ich habe auch noch eine Frage zum Composite- bzw. Iterator-Pattern. Ein externer Iterator soll ja wahrscheinlich keine Leafs durchlaufen. Das ist ja auch relativ sinnlos, wenn diese nicht gerade zufällig irgendwelche Baumstrukturen aufweisen. Also beschränkt sich die Iteration auf die Composi...

Ach so!

Vielen Dank. Ich erinner mich wieder. Das war, glaube ich, noch FGI I.
Das hat mir sehr geholfen!

Salut! Ich frage mich was in Definition 3/17 Seite 27 Doppelschlange ist Teilmenge von A x A bedeuten soll? Ist die Kongruenzrelation ein Tupel? Meiner Meinung müsste es heißen: Doppelschlange : A x A -> "bool" (Wenn man in diesem Sinne etwas wie boolean oder Wahrheitswerte hat?) Wo liegt mein Denkf...

Es sind inzwischen noch ein Paar Dinge dazugekommen:

Unterstützung für:
lastpid,
typedef,...

Kommentare funktionieren wie gewollt.

Sprachenname ist natürlich Promela und nicht Spin...

Mit wie vielen Prozessen rechnet ihr denn? Evtl. habt ihr ja noch einen Bug in der Prozesserzeugung. Wie man P() und V() geschickt modelliert kam ja auch in der Hörsaalübung dran. Vielleicht hilft es Euch, wenn ihr Euch daran orientiert? Wir haben einmal die 3 (bzw N) vorgegebenen Prozesse, die von...

Inspiriert von Notepad++ Highlighting für SPIM habe ich schnell sowas für Spin gemacht, da xspin ja mehr als gewöhnungsbedürftig ist. Wie im Link oben beschrieben einbinden! <NotepadPlus> <UserLang name="Promela" ext="pml"> <Settings> <Global caseIgnored="no" /> <TreatAsSymbol comment="no" commentLi...

Salut! Wir haben unsere P(...) und V(...) als Prozesse ausgelagert. Jetzt bekommen wir beim verifizieren die Ausgabe "pan: error: too many processes -- current max is 6 procs (-DNFAIR=2) recompile with -DNFAIR=3". Mit welchem -DNFAIR man compiliert scheint aber egal zu sein, weil er dann immer einen...