Math.SetCover.Queue

Documentation

newtype SetId

Constructors

SetId Int

Instances

Enum SetId

Defined in Math.SetCover.Queue

Methods

succ :: SetId -> SetId

pred :: SetId -> SetId

toEnum :: Int -> SetId

fromEnum :: SetId -> Int

enumFrom :: SetId -> [SetId]

enumFromThen :: SetId -> SetId -> [SetId]

enumFromTo :: SetId -> SetId -> [SetId]

enumFromThenTo :: SetId -> SetId -> SetId -> [SetId]

data Methods queue set

Constructors

Methods

Fields

• fromEnumMap :: EnumMap SetId set -> queue
• partition :: queue -> set -> (EnumSet SetId, queue)
• difference :: queue -> EnumMap SetId set -> queue
• findMinValue :: queue -> Maybe (set, EnumSet SetId)
• null :: queue -> Bool

findMin :: Methods queue set -> queue -> Maybe (EnumSet SetId)