Math.SetCover.Exact.Priority
data Assign label set
label
labeledSet
assign
partitions
search
step
data State queue label set
initState
updateState
data Tree label set
decisionTree
completeTree
data SetId
queueMap
queueSet
queueBit
queueBitPQ
queueIntSet