as2fm.jani_visualizer.visualizer.PlantUMLAutomata

class as2fm.jani_visualizer.visualizer.PlantUMLAutomata(jani_dict: dict)

Bases: object

This represents jani automata in plantuml format.

Methods

`__init__`(jani_dict)
`to_plantuml`([with_assignments, with_guards, ...])