Die Suche ergab 99 Treffer

von marluwie
28. Feb 2007 11:44
Forum: Archiv
Thema: BSP - traversierung - augpunkt/konvexer bereich
Antworten: 4
Zugriffe: 1728

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...
von marluwie
18. Feb 2007 21:09
Forum: Archiv
Thema: Composite
Antworten: 10
Zugriffe: 2049

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 ...
von marluwie
18. Feb 2007 14:33
Forum: Archiv
Thema: Composite
Antworten: 10
Zugriffe: 2049

Composite Iterator Dilemma

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...
von marluwie
2. Feb 2007 11:41
Forum: Archiv
Thema: Foliensätze für zweiten Vorlesungsteil
Antworten: 10
Zugriffe: 1638

Ach so!

Vielen Dank. Ich erinner mich wieder. Das war, glaube ich, noch FGI I.
Das hat mir sehr geholfen!
von marluwie
1. Feb 2007 23:35
Forum: Archiv
Thema: Foliensätze für zweiten Vorlesungsteil
Antworten: 10
Zugriffe: 1638

Kongruenzrelation ein Tupel?

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...
von marluwie
12. Nov 2006 22:37
Forum: Archiv
Thema: Notepad++ für Spin
Antworten: 2
Zugriffe: 1647

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...
von marluwie
12. Nov 2006 20:34
Forum: Archiv
Thema: Praktikum 1.2
Antworten: 12
Zugriffe: 1478

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...
von marluwie
12. Nov 2006 20:24
Forum: Archiv
Thema: Notepad++ für Spin
Antworten: 2
Zugriffe: 1647

Notepad++ für Spin

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...
von marluwie
10. Nov 2006 15:20
Forum: Archiv
Thema: Praktikum 1.2
Antworten: 12
Zugriffe: 1478

Praktikum 1.2

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...

Zur erweiterten Suche