specless.automaton.utils

Utils

This module provides utility functions and classes for various operations.

Functions

logx	Calculates the logarithm of a number with a specified base.
xlogx	Calculates the product of a number and its logarithm with a specified base.
xlogy	Calculates the product of two numbers, one of which is multiplied by the logarithm of the other.
ylogx	Calculates the product of two numbers, one of which is multiplied by the logarithm of the other.

Classes

MaxHeap	A nice class-based interface to create a max heap, using the heapq library.
MaxHeapObj	Overrides the comparison, so you can create a max heap easily.
MinHeap	A nice class-based interface to the heapq library.