[Diese Dokumentation ist noch nicht fertig und kann sich bis zur entgültigen Version noch ändern.]

Overload List

	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.

See Also