* TODO: * WlList sollte besser ein Interface definieren/implementieren. * Dann können wir hinterher evtl. besser auf go-Routinen umstellen. [stolz] */ WlList represents a simple implementation of a worklist. An element can only be added once and the list is a FiFo list.
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected