init

DefaultPriorityMap

isDefinedAt

DefaultPriorityMap

iterator

DefaultPriorityMap