Logikgatter

Logikgatter sind per Kabel verbundene Einheiten, die ein Ausgangssignal berechnen, basierend darauf, ob ihre Eingänge als wahr gelten. Die meisten Logic Gates geben immer entweder 1 oder 0 aus, was jeweils wahr bzw. nicht-wahr repräsentiert. Der Transistor Gate ist eine Ausnahme: Er kann beliebige Signaltypen weiterleiten und ausgeben und liefert null (nicht 0), wenn sein Freigabe-Eingang nicht als wahr gilt.

Signale haben ihre Wahrhaftigkeit abhängig vom Typ. Null, Conflict und Integer = 0 gelten nicht als wahr. Integer ≠ 0, Shape und Color gelten als wahr. Logikgatter werten ihre Eingänge anhand dieser Wahrhaftigkeit aus, nicht durch eine implizite numerische Umwandlung über die oben genannten Integer-Regeln hinaus.

Die grundlegenden Gates verhalten sich wie folgt. Der AND Gate gibt nur dann 1 aus, wenn beide Eingänge als wahr gelten; andernfalls gibt er 0 aus. Der OR Gate gibt 1 aus, wenn mindestens ein Eingang als wahr gilt; wenn kein Eingang als wahr gilt, gibt er 0 aus. Der XOR Gate gibt 1 aus, wenn genau ein Eingang als wahr gilt; wenn beide oder keiner als wahr gelten, gibt er 0 aus. Der NOT Gate gibt 1 aus, wenn sein Eingang nicht als wahr gilt, und 0, wenn der Eingang wahr ist. Der Comparison Gate vergleicht seine beiden Eingangssignale entsprechend einem gewählten Vergleichsmodus (Equal, NotEqual, Greater, GreaterEqual, Less, LessEqual). In den Modi Equal und NotEqual arbeitet er mit allen Signaltypen und prüft strikte Gleichheit/Ungleichheit und gibt 0 oder 1 aus. In den numerischen Vergleichsmodi (Greater, GreaterEqual, Less, LessEqual) liefert er nur dann ein von null verschiedenes Ergebnis, wenn beide Signale Integer sind; ist einer der Eingänge kein Integer, ist die Ausgabe 0. Der Transistor Gate leitet das vom Rear empfangene Signal nur weiter, wenn der Seiten-Eingang als wahr gilt; wenn der Seiten-Eingang nicht als wahr gilt, ist seine Ausgabe null. Der Transistor Gate kann jeden Signaltyp weitergeben, den sein Rear-Eingang trägt, und ist damit das einzige Gate, das Shape, Color, Integer-Werte ungleich 0 oder andere nicht-boolesche Signale weiterleiten kann.

Logiksignale steuern andere Einheiten auf bestimmte Weise. Der Belt Filter benutzt das Wire-Eingangssignal, um zu entscheiden, welcher Ausgangsgurt Formen erhält: Null oder Conflict blockieren den Gurt vollständig; Integer = 0 sendet alle Formen zum Seiten-Ausgang; Integer ≠ 0 sendet alle Formen geradeaus; Shape-Signale erlauben passenden Formen, geradeaus zu passieren, während nicht-passende Formen zum Seiten-Ausgang geschickt werden; Color-Signale veranlassen den Filter, alle Formen zum Seiten-Ausgang zu schicken. Der Pipe Gate steuert den Fluiddurchsatz: Null, Conflict und Integer = 0 blockieren Fluide; Integer ≠ 0 erlauben Durchsatz; Color erlaubt Durchsatz nur, wenn das Fluid zur Color-Signal übereinstimmt. Der Belt Reader zeigt die Rate der pro Minute hindurchlaufenden Formen an und gibt das Shape Signal für die Formen an seinem Wire-Ausgang aus.

• Logic Gate-Ausgaben hängen ausschließlich von der Eingangs-Wahrhaftigkeit ab, nicht von impliziter Typumwandlung über die angegebenen Regeln hinaus.
• Verwende Transistor Gate, um beliebige Signaltypen zu schalten; denk daran, dass es bei deaktiviertem Zustand null statt 0 ausgibt.
• Verwende Comparison Gate in den Modi Equal/NotEqual für nicht-numerische Typen; benutze numerische Vergleichsmodi nur, wenn beide Eingänge Integer sind.
• Beim Verkabeln von Filtern oder Pipes überprüfe den erwarteten Signaltyp (Shape, Color, Integer), weil sich das Verhalten je nach Ziel-Einheit unterscheidet.