Skip to content

rename hoa_reachable, dotty_reachable, ...

The _reachable part of these function does not make sense anymore, as we print the entire automaton, not only the reachable part.

Let's rename those function to print_hoa and print_dot. Also print_never_claim.