specless.automaton.utils.MinHeap

class specless.automaton.utils.MinHeap[source]

Bases: object

A nice class-based interface to the heapq library.

Methods

heappop

Pops the smallest element from the heap.

heappush

Pushes an element onto the heap.
heappop()[source]

Pops the smallest element from the heap.

Returns:

The smallest element from the heap.

Return type:

Any

heappush(x)[source]

Pushes an element onto the heap.

Parameters:

x (Any) – The element to be pushed onto the heap.