specless.automaton.utils.MaxHeapObj

class specless.automaton.utils.MaxHeapObj(val)[source]

Bases: object

Overrides the comparison, so you can create a max heap easily.

Parameters:

val (Any) – The value to be stored in the heap object.

val

The value stored in the heap object.

Type:

Any

__lt__(self, other)[source]

Overrides the less than comparison operator.

__eq__(self, other)[source]

Overrides the equality comparison operator.

__str__(self)[source]

Returns a string representation of the heap object.

Methods