Overload of `print_to_mata` and `print_to_dot`

VeriFIT / mata

A fast and simple automata library

MIT License

23 stars 13 forks source link

Overload of `print_to_mata` and `print_to_dot` #462

Closed koniksedy closed 3 days ago

koniksedy commented 3 days ago

This PR overloads Nfa methods print_to_dot and print_to_mata to enable them to print the automaton to a file specified by the filename. This change will simplify the debugging.