Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func IsPublicWorkToken ¶
func IsPublicWorkToken(token *interfaces.Token) bool
IsPublicWorkToken reports whether a token should appear in work list/show materialization. Resource and system-time tokens are excluded.
Types ¶
type PublicWorkTokens ¶
type PublicWorkTokens struct {
Tokens []*interfaces.Token
InFlightOnlyByID map[string]struct{}
}
PublicWorkTokens is the deduplicated public work token set from marking and active dispatch consumed inputs.
func CollectPublicWorkTokens ¶
func CollectPublicWorkTokens( marking *petri.MarkingSnapshot, dispatches map[string]*interfaces.DispatchEntry, ) PublicWorkTokens
CollectPublicWorkTokens returns public work tokens from marking plus active dispatch ConsumedTokens. Tokens with the same non-empty Color.WorkID dedupe with marking precedence. InFlightOnlyByID lists token IDs present only on an active dispatch and not in the marking snapshot.
Source Files
Click to show internal directories.
Click to hide internal directories.