Math.SetCover.Exact.Priority

data Assign label set

label

labeledSet

assign

partitions

search

step

data State queue label set

initState

updateState

data SetId

queueMap

queueSet

queueBit

queueBitPQ