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