specless.automaton.base.edge_weight_to_string

specless.automaton.base.edge_weight_to_string(weight: {<class 'int'>, <class 'float'>}) str[source]

returns a numeric edge weight as an appropriately formatted string

Parameters:

weight (int or float) – The edge weight to convert to string.

Returns:

properly formatted weight string

Return type:

string