specless.automaton.utils.MaxHeapObj =================================== .. currentmodule:: specless.automaton.utils .. autoclass:: MaxHeapObj :members: :show-inheritance: :inherited-members: :special-members: __call__, __add__, __mul__ .. rubric:: Methods .. autosummary:: :nosignatures: