[Diese Dokumentation ist noch nicht fertig und kann sich bis zur entgültigen Version noch ändern.]
The TokenSet type exposes the following members.
Constructors
| Name | Description | |
|---|---|---|
| TokenSet()()()() |
Initialisiert ein leeres TokenSet.
| |
| TokenSet(Int32) |
Initialisiert ein leeres TokenSet
mit einer vorgegebenen Größe.
| |
| TokenSet(INode) |
Initialisiert ein TokenSet mit
den aktuellen Tokens von den Eingängen eines Knotens.
| |
| TokenSet(INode, array<String>[]()[][]) |
Initialisiert ein TokenSet mit
den aktuellen Tokens von den Eingängen eines Knotens.
Die Eingänge, identifiziert durch ihre IDs in excludeInPorts,
werden nicht berücksichtigt.
|
Methods
| Name | Description | |
|---|---|---|
| Add(KeyValuePair<(Of <<'(String, Token>)>>)) |
Fügt der TokenSet ein Element hinzu.
| |
| Add(String, Token) |
Fügt dem TokenSet ein Token mit der angegebenen PortId hinzu.
| |
| Add(String, Token, Boolean) |
Fügt dem TokenSet ein Token mit der angegebenen PortId hinzu.
| |
| Clear |
Entfernt alle Elemente aus TokenSet.
| |
| Contains |
Bestimmt, ob TokenSet einen bestimmtes PortId-Token-Paar enthält.
| |
| ContainsKey |
Ermittelt, ob TokenSet ein Token mit der angegebenen PortId enthält.
| |
| CopyTo | ||
| ExcludeFromMinMaxCalculation |
Schließt die Ports, idfentifiziert durch die übergebenen PortIds
von der Berechnung des schlechtesten und besten Token-Status aus.
| |
| GetEnumerator |
Gibt einen Enumerator zurück, der die Auflistung durchläuft.
| |
| MinInPortTokenState | ||
| Remove(KeyValuePair<(Of <<'(String, Token>)>>)) |
Entfernt das erste Vorkommen eines bestimmten Tokens aus TokenSet.
| |
| Remove(String) |
Entfernt ein Token mit der angegebenen PortId aus dem TokenSet.
| |
| TryGetValue |
Ruft das der angegebenen PortId zugeordnete Token ab.
|
Properties
| Name | Description | |
|---|---|---|
| Count |
Ruft die Anzahl der Elemente ab, die in TokenSet enthalten sind.
| |
| HasNewToken |
Gibt true zurück, wenn bei der automatischen Initialisierung
mit einem Knoten neue Tokens gefunden wurden, oder wenn keine
automatische Initialsierung stattgefunden hat, sonst false.
| |
| IndexOfSet |
Gibt den Index des Tokens zurück, welches als letztes
dem Set hinzugefügt wurde.
| |
| IsReadOnly |
Ruft einen Wert ab, der angibt, ob TokenSet schreibgeschützt ist.
| |
| Item[([( String])]) |
Gibt das Token für eine PortId zurück.
| |
| Item[([( Port])]) |
Gibt das Token für den angegebenen Port zurück.
| |
| Keys |
Ruft eine ICollection<(Of <(<'T>)>)>-Schnittstelle ab, die die PortIds von TokenSet enthält.
| |
| MaxTokenState |
Gibt den besten Token-Status der Tokens im TokenSet zurück.
| |
| MinTokenState |
Gibt den schlechtesten Token-Status der Tokens im TokenSet zurück.
| |
| StreamOfSet |
Gibt den Stream des Tokens zurück, welches als letztes
dem Set hinzugefügt wurde.
| |
| Values |
Ruft eine ICollection<(Of <(<'T>)>)> ab, die die Token aus TokenSet enthält.
|