as2fm.jani_generator.jani_entries.jani_automaton

An automaton for jani.

Classes

JaniAutomaton(*[, automaton_dict])