On Thu, Aug 14, 2025 at 05:08:02PM +0200, Gabriele Monaco wrote:
> +import re
Oh no..
> +from typing import Iterator
>
> class Automata:
> """Automata class: Reads a dot file and part it as an automata.
>
> + It supports both deterministic and hybrid automata.
> +
> Attributes:
> dot_file: A dot file with an state_automaton definition.
> """
>
> invalid_state_str = "INVALID_STATE"
> + # val can be numerical, uppercase (constant or macro), lowercase
> (parameter or function)
> + # only numerical values should have units
> + constraint_rule = re.compile(r"""
> + ^
> + (?P<env>[a-zA-Z_][a-zA-Z0-9_]+) # C-like identifier for the env var
^
My regex knowledge is not that great, but I think this is not
standard regex syntax, right?
I'm guessing this is Python's feature to store this group into
"env"?
I think my brain's battery just run out, I will continue with the review
another day.
Nam
