as2fm.jani_visualizer.visualizer

Classes

PlantUMLAutomata(jani_dict)

This represents jani automata in plantuml format.